/**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean OneAssemblyContextOrOneEventChannelShouldBeReferred(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Allocation_pcValidator.DIAGNOSTIC_SOURCE,
               Allocation_pcValidator
                   .ALLOCATION_CONTEXT__ONE_ASSEMBLY_CONTEXT_OR_ONE_EVENT_CHANNEL_SHOULD_BE_REFERRED,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "OneAssemblyContextOrOneEventChannelShouldBeReferred",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean
     RequiringEntityOfOuterRequiredRoleMustBeTheSameAsTheParentOfTheRequiredDelegationConnector(
         DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Composition_av_avValidator.DIAGNOSTIC_SOURCE,
               Composition_av_avValidator
                   .REQUIRED_DELEGATION_CONNECTOR__REQUIRING_ENTITY_OF_OUTER_REQUIRED_ROLE_MUST_BE_THE_SAME_AS_THE_PARENT_OF_THE_REQUIRED_DELEGATION_CONNECTOR,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "RequiringEntityOfOuterRequiredRoleMustBeTheSameAsTheParentOfTheRequiredDelegationConnector",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean SumOfInternalActionFailureProbabilitiesMustNotExceed1(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Seff_av_pcValidator.DIAGNOSTIC_SOURCE,
               Seff_av_pcValidator
                   .INTERNAL_ACTION__SUM_OF_INTERNAL_ACTION_FAILURE_PROBABILITIES_MUST_NOT_EXCEED1,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "SumOfInternalActionFailureProbabilitiesMustNotExceed1",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean ProvidedRolesMustBeBound(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Entity_pc_pcValidator.DIAGNOSTIC_SOURCE,
               Entity_pc_pcValidator
                   .COMPOSED_PROVIDING_REQUIRING_ENTITY__PROVIDED_ROLES_MUST_BE_BOUND,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "ProvidedRolesMustBeBound", EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Seff_av_pcValidator.DIAGNOSTIC_SOURCE,
               Seff_av_pcValidator
                   .INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "MultipleInternalOccurrenceDescriptionsPerFailureTypeNotAllowed",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean ComponentOfAssemblyContextAndInnerRoleRequiringComponentNeedToBeTheSame(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Composition_av_avValidator.DIAGNOSTIC_SOURCE,
               Composition_av_avValidator
                   .REQUIRED_DELEGATION_CONNECTOR__COMPONENT_OF_ASSEMBLY_CONTEXT_AND_INNER_ROLE_REQUIRING_COMPONENT_NEED_TO_BE_THE_SAME,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "ComponentOfAssemblyContextAndInnerRoleRequiringComponentNeedToBeTheSame",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  * <!-- begin-model-doc -->
  * An ExpansionRegion must have one or more argument ExpansionNodes and zero or more result
  * ExpansionNodes. true
  *
  * @param expansionRegion The receiving '<em><b>Expansion Region</b></em>' model object.
  * @param diagnostics The chain of diagnostics to which problems are to be appended.
  * @param context The cache of context-specific information.
  *     <!-- end-model-doc -->
  * @generated
  */
 public static boolean validateExpansionNodes(
     ExpansionRegion expansionRegion, DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               UMLValidator.DIAGNOSTIC_SOURCE,
               UMLValidator.EXPANSION_REGION__EXPANSION_NODES,
               org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "validateExpansionNodes",
                     org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                         expansionRegion, context)
                   }), //$NON-NLS-1$ //$NON-NLS-2$
               new Object[] {expansionRegion}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean MessageFlowAssociationouterMessageFlowRef(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               BpmnprofValidator.DIAGNOSTIC_SOURCE,
               BpmnprofValidator
                   .MESSAGE_FLOW_ASSOCIATION__MESSAGE_FLOW_ASSOCIATIONOUTER_MESSAGE_FLOW_REF,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "MessageFlowAssociationouterMessageFlowRef",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
Ejemplo n.º 9
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean value_specification_no_side_effects(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               UmlValidator.DIAGNOSTIC_SOURCE,
               UmlValidator.MULTIPLICITY_ELEMENT__VALUE_SPECIFICATION_NO_SIDE_EFFECTS,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "value_specification_no_side_effects",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean ThinkTimeInClosedWorkloadNeedsToBeSpecified(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Usagemodel_av_avValidator.DIAGNOSTIC_SOURCE,
               Usagemodel_av_avValidator
                   .CLOSED_WORKLOAD__THINK_TIME_IN_CLOSED_WORKLOAD_NEEDS_TO_BE_SPECIFIED,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "ThinkTimeInClosedWorkloadNeedsToBeSpecified",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean ProvidedInterfaceHaveToConformToComponentType(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Repository_avValidator.DIAGNOSTIC_SOURCE,
               Repository_avValidator
                   .IMPLEMENTATION_COMPONENT_TYPE__PROVIDED_INTERFACE_HAVE_TO_CONFORM_TO_COMPONENT_TYPE,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "ProvidedInterfaceHaveToConformToComponentType",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
Ejemplo n.º 12
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  * <!-- begin-model-doc -->
  * The multiplicity of the ConnectorEnd may not be more general than the multiplicity of the
  * corresponding end of the Association typing the owning Connector, if any.
  * self.compatibleWith(definingEnd)
  *
  * @param connectorEnd The receiving '<em><b>Connector End</b></em>' model object.
  * @param diagnostics The chain of diagnostics to which problems are to be appended.
  * @param context The cache of context-specific information.
  *     <!-- end-model-doc -->
  * @generated
  */
 public static boolean validateMultiplicity(
     ConnectorEnd connectorEnd, DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               UMLValidator.DIAGNOSTIC_SOURCE,
               UMLValidator.CONNECTOR_END__MULTIPLICITY,
               org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "validateMultiplicity",
                     org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                         connectorEnd, context)
                   }), //$NON-NLS-1$ //$NON-NLS-2$
               new Object[] {connectorEnd}));
     }
     return false;
   }
   return true;
 }
Ejemplo n.º 13
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  * <!-- begin-model-doc -->
  *
  * @param cr The receiving '<em><b>CR</b></em>' model object.
  * @param diagnostics The chain of diagnostics to which problems are to be appended.
  * @param context The cache of context-specific information.
  *     <!-- end-model-doc -->
  * @generated
  */
 public static boolean validateCR(
     CR cr, DiagnosticChain diagnostics, Map<Object, Object> context) {
   if (VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
     OCL.Helper helper = EOCL_ENV.createOCLHelper();
     helper.setContext(DatatypesPackage.Literals.CR);
     try {
       VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
           helper.createInvariant(VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
     } catch (ParserException pe) {
       throw new UnsupportedOperationException(pe.getLocalizedMessage());
     }
   }
   if (!EOCL_ENV.createQuery(VALIDATE_CR__DIAGNOSTIC_CHAIN_MAP__EOCL_INV).check(cr)) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               DatatypesValidator.DIAGNOSTIC_SOURCE,
               DatatypesValidator.CR__CR,
               org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "validateCR",
                     org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(cr, context)
                   }),
               new Object[] {cr}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean
     RequiredDelegationConnectorandtheconnectedComponentmustbepartofthesamecompositestructure(
         DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Composition_av_avValidator.DIAGNOSTIC_SOURCE,
               Composition_av_avValidator
                   .REQUIRED_DELEGATION_CONNECTOR__REQUIRED_DELEGATION_CONNECTORANDTHECONNECTED_COMPONENTMUSTBEPARTOFTHESAMECOMPOSITESTRUCTURE,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "RequiredDelegationConnectorandtheconnectedComponentmustbepartofthesamecompositestructure",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor(
     DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Seff_pcValidator.DIAGNOSTIC_SOURCE,
               Seff_pcValidator
                   .RESOURCE_DEMANDING_BEHAVIOUR__EACH_ACTION_EXCEPT_START_ACTIONAND_STOP_ACTION_MUST_HHAVE_APREDECESSOR_AND_SUCCESSOR,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "EachActionExceptStartActionandStopActionMustHhaveAPredecessorAndSuccessor",
                     EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
  /**
   *
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * <!-- begin-model-doc -->
   * self.templateId->exists(id : datatypes::II | id.root = '2.16.840.1.113883.10.20.15.2.8')
   *
   * @param tuberculosisPHCRTreatmentInformationSection The receiving '<em><b>PHCR Treatment
   *     Information Section</b></em>' model object.
   * @param diagnostics The chain of diagnostics to which problems are to be appended.
   * @param context The cache of context-specific information.
   *     <!-- end-model-doc -->
   * @generated
   */
  public static boolean validatePhcrTreatmentInformationSectionTemplateId(
      TuberculosisPHCRTreatmentInformationSection tuberculosisPHCRTreatmentInformationSection,
      DiagnosticChain diagnostics,
      Map<Object, Object> context) {

    if (VALIDATE_PHCR_TREATMENT_INFORMATION_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
        == null) {
      OCL.Helper helper = EOCL_ENV.createOCLHelper();
      helper.setContext(
          TuberculosisPackage.Literals.TUBERCULOSIS_PHCR_TREATMENT_INFORMATION_SECTION);
      try {
        VALIDATE_PHCR_TREATMENT_INFORMATION_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
            helper.createInvariant(
                VALIDATE_PHCR_TREATMENT_INFORMATION_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
      } catch (ParserException pe) {
        throw new UnsupportedOperationException(pe.getLocalizedMessage());
      }
    }
    if (!EOCL_ENV
        .createQuery(
            VALIDATE_PHCR_TREATMENT_INFORMATION_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
        .check(tuberculosisPHCRTreatmentInformationSection)) {
      if (diagnostics != null) {
        diagnostics.add(
            new BasicDiagnostic(
                Diagnostic.ERROR,
                TuberculosisValidator.DIAGNOSTIC_SOURCE,
                TuberculosisValidator
                    .TUBERCULOSIS_PHCR_TREATMENT_INFORMATION_SECTION__PHCR_TREATMENT_INFORMATION_SECTION_TEMPLATE_ID,
                org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                    "_UI_GenericInvariant_diagnostic",
                    new Object[] {
                      "PhcrTreatmentInformationSectionTemplateId",
                      org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                          tuberculosisPHCRTreatmentInformationSection, context)
                    }),
                new Object[] {tuberculosisPHCRTreatmentInformationSection}));
      }

      return false;
    }
    return true;
  }
  /**
   *
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * <!-- begin-model-doc -->
   *
   * @param smokingStatusMeaningfulUse2 The receiving '<em><b>Smoking Status Meaningful
   *     Use2</b></em>' model object.
   * @param diagnostics The chain of diagnostics to which problems are to be appended.
   * @param context The cache of context-specific information.
   *     <!-- end-model-doc -->
   * @generated
   */
  public static boolean validateSmokingStatusMeaningfulUse2EffectiveTimeLow(
      SmokingStatusMeaningfulUse2 smokingStatusMeaningfulUse2,
      DiagnosticChain diagnostics,
      Map<Object, Object> context) {

    if (VALIDATE_SMOKING_STATUS_MEANINGFUL_USE2_EFFECTIVE_TIME_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
        == null) {
      OCL.Helper helper = EOCL_ENV.createOCLHelper();
      helper.setContext(ConsolPackage.Literals.SMOKING_STATUS_MEANINGFUL_USE2);
      try {
        VALIDATE_SMOKING_STATUS_MEANINGFUL_USE2_EFFECTIVE_TIME_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
            helper.createInvariant(
                VALIDATE_SMOKING_STATUS_MEANINGFUL_USE2_EFFECTIVE_TIME_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
      } catch (ParserException pe) {
        throw new UnsupportedOperationException(pe.getLocalizedMessage());
      }
    }
    if (!EOCL_ENV
        .createQuery(
            VALIDATE_SMOKING_STATUS_MEANINGFUL_USE2_EFFECTIVE_TIME_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
        .check(smokingStatusMeaningfulUse2)) {
      if (diagnostics != null) {
        diagnostics.add(
            new BasicDiagnostic(
                Diagnostic.ERROR,
                ConsolValidator.DIAGNOSTIC_SOURCE,
                ConsolValidator
                    .SMOKING_STATUS_MEANINGFUL_USE2__SMOKING_STATUS_MEANINGFUL_USE2_EFFECTIVE_TIME_LOW,
                org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                    "_UI_GenericInvariant_diagnostic",
                    new Object[] {
                      "SmokingStatusMeaningfulUse2EffectiveTimeLow",
                      org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                          smokingStatusMeaningfulUse2, context)
                    }),
                new Object[] {smokingStatusMeaningfulUse2}));
      }

      return false;
    }
    return true;
  }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  * <!-- begin-model-doc -->
  * self.entry->exists(entry : cda::Entry | not entry.observation.oclIsUndefined() and
  * entry.observation.oclIsKindOf(cocci::CoccidioidesImmunosuppressedMedicalConditionHistoryObservation)
  * and entry.typeCode = vocab::x_ActRelationshipEntry::DRIV)
  *
  * @param coccidioidesPHCRClinicalInformationSection The receiving '<em><b>Coccidioides PHCR
  *     Clinical Information Section</b></em>' model object.
  * @param diagnostics The chain of diagnostics to which problems are to be appended.
  * @param context The cache of context-specific information.
  *     <!-- end-model-doc -->
  * @generated
  */
 public static boolean
     validateCoccidioidesPHCRClinicalInformationSectionCoccidioidesImmunosuppressedMedicalConditionHistoryObservation(
         CoccidioidesPHCRClinicalInformationSection coccidioidesPHCRClinicalInformationSection,
         DiagnosticChain diagnostics,
         Map<Object, Object> context) {
   if (VALIDATE_COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION_COCCIDIOIDES_IMMUNOSUPPRESSED_MEDICAL_CONDITION_HISTORY_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
       == null) {
     OCL.Helper helper = EOCL_ENV.createOCLHelper();
     helper.setContext(CocciPackage.Literals.COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION);
     try {
       VALIDATE_COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION_COCCIDIOIDES_IMMUNOSUPPRESSED_MEDICAL_CONDITION_HISTORY_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
           helper.createInvariant(
               VALIDATE_COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION_COCCIDIOIDES_IMMUNOSUPPRESSED_MEDICAL_CONDITION_HISTORY_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
     } catch (ParserException pe) {
       throw new UnsupportedOperationException(pe.getLocalizedMessage());
     }
   }
   if (!EOCL_ENV
       .createQuery(
           VALIDATE_COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION_COCCIDIOIDES_IMMUNOSUPPRESSED_MEDICAL_CONDITION_HISTORY_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
       .check(coccidioidesPHCRClinicalInformationSection)) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               CocciValidator.DIAGNOSTIC_SOURCE,
               CocciValidator
                   .COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION__COCCIDIOIDES_PHCR_CLINICAL_INFORMATION_SECTION_COCCIDIOIDES_IMMUNOSUPPRESSED_MEDICAL_CONDITION_HISTORY_OBSERVATION,
               org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "validateCoccidioidesPHCRClinicalInformationSectionCoccidioidesImmunosuppressedMedicalConditionHistoryObservation",
                     org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                         coccidioidesPHCRClinicalInformationSection, context)
                   }),
               new Object[] {coccidioidesPHCRClinicalInformationSection}));
     }
     return false;
   }
   return true;
 }
Ejemplo n.º 19
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean aggregation(DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               UmlValidator.DIAGNOSTIC_SOURCE,
               UmlValidator.EXTENSION_END__AGGREGATION,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {"aggregation", EObjectValidator.getObjectLabel(this, context)}),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
  /**
   *
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * <!-- begin-model-doc -->
   * self.templateId->exists(id : datatypes::II | id.root = '2.16.840.1.113883.10.20.15.3.61')
   *
   * @param tuberculosisImmunizationManufacturedProduct The receiving '<em><b>Immunization
   *     Manufactured Product</b></em>' model object.
   * @param diagnostics The chain of diagnostics to which problems are to be appended.
   * @param context The cache of context-specific information.
   *     <!-- end-model-doc -->
   * @generated
   */
  public static boolean validateProductTemplateId(
      TuberculosisImmunizationManufacturedProduct tuberculosisImmunizationManufacturedProduct,
      DiagnosticChain diagnostics,
      Map<Object, Object> context) {

    if (VALIDATE_PRODUCT_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
      OCL.Helper helper = EOCL_ENV.createOCLHelper();
      helper.setContext(
          TuberculosisPackage.Literals.TUBERCULOSIS_IMMUNIZATION_MANUFACTURED_PRODUCT);
      try {
        VALIDATE_PRODUCT_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
            helper.createInvariant(VALIDATE_PRODUCT_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
      } catch (ParserException pe) {
        throw new UnsupportedOperationException(pe.getLocalizedMessage());
      }
    }
    if (!EOCL_ENV
        .createQuery(VALIDATE_PRODUCT_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
        .check(tuberculosisImmunizationManufacturedProduct)) {
      if (diagnostics != null) {
        diagnostics.add(
            new BasicDiagnostic(
                Diagnostic.ERROR,
                TuberculosisValidator.DIAGNOSTIC_SOURCE,
                TuberculosisValidator
                    .TUBERCULOSIS_IMMUNIZATION_MANUFACTURED_PRODUCT__PRODUCT_TEMPLATE_ID,
                org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                    "_UI_GenericInvariant_diagnostic",
                    new Object[] {
                      "ProductTemplateId",
                      org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                          tuberculosisImmunizationManufacturedProduct, context)
                    }),
                new Object[] {tuberculosisImmunizationManufacturedProduct}));
      }

      return false;
    }
    return true;
  }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  * <!-- begin-model-doc -->
  * self.entry->exists(entry : cda::Entry | not entry.organizer.oclIsUndefined() and
  * entry.organizer.oclIsKindOf(cocci::CoccidioidesResultOrganizer) and entry.typeCode =
  * vocab::x_ActRelationshipEntry::DRIV)
  *
  * @param coccidioidesPHCRRelevantDxTestsSection The receiving '<em><b>Coccidioides PHCR Relevant
  *     Dx Tests Section</b></em>' model object.
  * @param diagnostics The chain of diagnostics to which problems are to be appended.
  * @param context The cache of context-specific information.
  *     <!-- end-model-doc -->
  * @generated
  */
 public static boolean validateCoccidioidesPHCRRelevantDxTestsSectionCoccidioidesResultOrganizer(
     CoccidioidesPHCRRelevantDxTestsSection coccidioidesPHCRRelevantDxTestsSection,
     DiagnosticChain diagnostics,
     Map<Object, Object> context) {
   if (VALIDATE_COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION_COCCIDIOIDES_RESULT_ORGANIZER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
       == null) {
     OCL.Helper helper = EOCL_ENV.createOCLHelper();
     helper.setContext(CocciPackage.Literals.COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION);
     try {
       VALIDATE_COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION_COCCIDIOIDES_RESULT_ORGANIZER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
           helper.createInvariant(
               VALIDATE_COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION_COCCIDIOIDES_RESULT_ORGANIZER__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
     } catch (ParserException pe) {
       throw new UnsupportedOperationException(pe.getLocalizedMessage());
     }
   }
   if (!EOCL_ENV
       .createQuery(
           VALIDATE_COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION_COCCIDIOIDES_RESULT_ORGANIZER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
       .check(coccidioidesPHCRRelevantDxTestsSection)) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               CocciValidator.DIAGNOSTIC_SOURCE,
               CocciValidator
                   .COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION__COCCIDIOIDES_PHCR_RELEVANT_DX_TESTS_SECTION_COCCIDIOIDES_RESULT_ORGANIZER,
               org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "validateCoccidioidesPHCRRelevantDxTestsSectionCoccidioidesResultOrganizer",
                     org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                         coccidioidesPHCRRelevantDxTestsSection, context)
                   }),
               new Object[] {coccidioidesPHCRRelevantDxTestsSection}));
     }
     return false;
   }
   return true;
 }
  /**
   *
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * <!-- begin-model-doc -->
   *
   * @param coronerCaseTransfer The receiving '<em><b>Coroner Case Transfer</b></em>' model object.
   * @param diagnostics The chain of diagnostics to which problems are to be appended.
   * @param context The cache of context-specific information.
   *     <!-- end-model-doc -->
   * @generated
   */
  public static boolean validateCoronerCaseTransferMoodCode(
      CoronerCaseTransfer coronerCaseTransfer,
      DiagnosticChain diagnostics,
      Map<Object, Object> context) {

    if (VALIDATE_CORONER_CASE_TRANSFER_MOOD_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
      OCL.Helper helper = EOCL_ENV.createOCLHelper();
      helper.setContext(VsdrPackage.Literals.CORONER_CASE_TRANSFER);
      try {
        VALIDATE_CORONER_CASE_TRANSFER_MOOD_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
            helper.createInvariant(
                VALIDATE_CORONER_CASE_TRANSFER_MOOD_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
      } catch (ParserException pe) {
        throw new UnsupportedOperationException(pe.getLocalizedMessage());
      }
    }
    if (!EOCL_ENV
        .createQuery(VALIDATE_CORONER_CASE_TRANSFER_MOOD_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
        .check(coronerCaseTransfer)) {
      if (diagnostics != null) {
        diagnostics.add(
            new BasicDiagnostic(
                Diagnostic.ERROR,
                VsdrValidator.DIAGNOSTIC_SOURCE,
                VsdrValidator.CORONER_CASE_TRANSFER__CORONER_CASE_TRANSFER_MOOD_CODE,
                org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                    "_UI_GenericInvariant_diagnostic",
                    new Object[] {
                      "CoronerCaseTransferMoodCode",
                      org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                          coronerCaseTransfer, context)
                    }),
                new Object[] {coronerCaseTransfer}));
      }

      return false;
    }
    return true;
  }
Ejemplo n.º 23
0
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean upper_ge_lower(DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               UmlValidator.DIAGNOSTIC_SOURCE,
               UmlValidator.MULTIPLICITY_ELEMENT__UPPER_GE_LOWER,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "upper_ge_lower", EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  *
  * @generated
  */
 public boolean ExactlyOneStartAction(DiagnosticChain diagnostics, Map<Object, Object> context) {
   // TODO: implement this method
   // -> specify the condition that violates the invariant
   // -> verify the details of the diagnostic, including severity and message
   // Ensure that you remove @generated or mark it @generated NOT
   if (false) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               Seff_pcValidator.DIAGNOSTIC_SOURCE,
               Seff_pcValidator.RESOURCE_DEMANDING_BEHAVIOUR__EXACTLY_ONE_START_ACTION,
               EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "ExactlyOneStartAction", EObjectValidator.getObjectLabel(this, context)
                   }),
               new Object[] {this}));
     }
     return false;
   }
   return true;
 }
 /**
  *
  * <!-- begin-user-doc -->
  * <!-- end-user-doc -->
  * <!-- begin-model-doc -->
  * self.templateId->exists(id : datatypes::II | id.root = '1.3.6.1.4.1.19376.1.5.3.1.4.14')
  *
  * @param encounterActivity The receiving '<em><b>Encounter Activity</b></em>' model object.
  * @param diagnostics The chain of diagnostics to which problems are to be appended.
  * @param context The cache of context-specific information.
  *     <!-- end-model-doc -->
  * @generated
  */
 public static boolean validateEncountersActivityTemplateId(
     EncounterActivity encounterActivity,
     DiagnosticChain diagnostics,
     Map<Object, Object> context) {
   if (VALIDATE_ENCOUNTERS_ACTIVITY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
     OCL.Helper helper = EOCL_ENV.createOCLHelper();
     helper.setContext(IHEPackage.Literals.ENCOUNTER_ACTIVITY);
     try {
       VALIDATE_ENCOUNTERS_ACTIVITY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
           helper.createInvariant(
               VALIDATE_ENCOUNTERS_ACTIVITY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
     } catch (ParserException pe) {
       throw new UnsupportedOperationException(pe.getLocalizedMessage());
     }
   }
   if (!EOCL_ENV
       .createQuery(VALIDATE_ENCOUNTERS_ACTIVITY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
       .check(encounterActivity)) {
     if (diagnostics != null) {
       diagnostics.add(
           new BasicDiagnostic(
               Diagnostic.ERROR,
               IHEValidator.DIAGNOSTIC_SOURCE,
               IHEValidator.ENCOUNTER_ACTIVITY__ENCOUNTERS_ACTIVITY_TEMPLATE_ID,
               org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                   "_UI_GenericInvariant_diagnostic",
                   new Object[] {
                     "EncountersActivityTemplateId",
                     org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                         encounterActivity, context)
                   }),
               new Object[] {encounterActivity}));
     }
     return false;
   }
   return true;
 }
  /**
   *
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * <!-- begin-model-doc -->
   *
   * @param locationofDeath The receiving '<em><b>Locationof Death</b></em>' model object.
   * @param diagnostics The chain of diagnostics to which problems are to be appended.
   * @param context The cache of context-specific information.
   *     <!-- end-model-doc -->
   * @generated
   */
  public static boolean validateLocationofDeathCodeP(
      LocationofDeath locationofDeath, DiagnosticChain diagnostics, Map<Object, Object> context) {

    if (VALIDATE_LOCATIONOF_DEATH_CODE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
      OCL.Helper helper = EOCL_ENV.createOCLHelper();
      helper.setContext(VsdrPackage.Literals.LOCATIONOF_DEATH);
      try {
        VALIDATE_LOCATIONOF_DEATH_CODE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
            helper.createInvariant(
                VALIDATE_LOCATIONOF_DEATH_CODE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
      } catch (ParserException pe) {
        throw new UnsupportedOperationException(pe.getLocalizedMessage());
      }
    }
    if (!EOCL_ENV
        .createQuery(VALIDATE_LOCATIONOF_DEATH_CODE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
        .check(locationofDeath)) {
      if (diagnostics != null) {
        diagnostics.add(
            new BasicDiagnostic(
                Diagnostic.ERROR,
                VsdrValidator.DIAGNOSTIC_SOURCE,
                VsdrValidator.LOCATIONOF_DEATH__LOCATIONOF_DEATH_CODE_P,
                org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString(
                    "_UI_GenericInvariant_diagnostic",
                    new Object[] {
                      "LocationofDeathCodeP",
                      org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(
                          locationofDeath, context)
                    }),
                new Object[] {locationofDeath}));
      }

      return false;
    }
    return true;
  }