/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}
/**
*
* <!-- 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;
}