/**
*
* <!-- 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 -->
*
* @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 -->
*
* @param encounterEntry The receiving '<em><b>Encounter Entry</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 validateEncounterEntryText(
EncounterEntry encounterEntry, DiagnosticChain diagnostics, Map<Object, Object> context) {
if (VALIDATE_ENCOUNTER_ENTRY_TEXT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(IHEPackage.Literals.ENCOUNTER_ENTRY);
try {
VALIDATE_ENCOUNTER_ENTRY_TEXT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(VALIDATE_ENCOUNTER_ENTRY_TEXT__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_ENCOUNTER_ENTRY_TEXT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(encounterEntry)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
IHEValidator.DIAGNOSTIC_SOURCE,
IHEValidator.ENCOUNTER_ENTRY__ENCOUNTER_ENTRY_TEXT,
IHEPlugin.INSTANCE.getString("EncounterEntryText"),
new Object[] {encounterEntry}));
}
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 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 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
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 -->
* <!-- begin-model-doc -->
* self.templateId->exists(id : datatypes::II | id.root = '1.3.6.1.4.1.19376.1.5.3.1.4.5.2')
*
* @param problemConcernEntry The receiving '<em><b>Problem Concern Entry</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 validateProblemConcernEntryTemplateId(
ProblemConcernEntry problemConcernEntry,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_PROBLEM_CONCERN_ENTRY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(IHEPackage.Literals.PROBLEM_CONCERN_ENTRY);
try {
VALIDATE_PROBLEM_CONCERN_ENTRY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_PROBLEM_CONCERN_ENTRY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_PROBLEM_CONCERN_ENTRY_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(problemConcernEntry)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
IHEValidator.DIAGNOSTIC_SOURCE,
IHEValidator.PROBLEM_CONCERN_ENTRY__PROBLEM_CONCERN_ENTRY_TEMPLATE_ID,
IHEPlugin.INSTANCE.getString("ProblemConcernEntryTemplateId"),
new Object[] {problemConcernEntry}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
*
* @param languageSpoken The receiving '<em><b>Language Spoken</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 validateLanguageSpokenModeCode(
LanguageSpoken languageSpoken, DiagnosticChain diagnostics, Map<Object, Object> context) {
if (VALIDATE_LANGUAGE_SPOKEN_MODE_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(HITSPPackage.Literals.LANGUAGE_SPOKEN);
try {
VALIDATE_LANGUAGE_SPOKEN_MODE_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_LANGUAGE_SPOKEN_MODE_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_LANGUAGE_SPOKEN_MODE_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(languageSpoken)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
HITSPValidator.DIAGNOSTIC_SOURCE,
HITSPValidator.LANGUAGE_SPOKEN__LANGUAGE_SPOKEN_MODE_CODE,
HITSPPlugin.INSTANCE.getString("LanguageSpokenModeCode"),
new Object[] {languageSpoken}));
}
return false;
}
return true;
}
/**
* Validates the MemberTypes constraint of '<em>Length</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @generated
*/
public boolean validateLength_MemberTypes(
Object length, DiagnosticChain diagnostics, Map<Object, Object> context) {
if (diagnostics != null) {
BasicDiagnostic tempDiagnostics = new BasicDiagnostic();
if (XMLTypePackage.Literals.NON_NEGATIVE_INTEGER.isInstance(length)) {
if (xmlTypeValidator.validateNonNegativeInteger(
(BigInteger) length, tempDiagnostics, context)) return true;
}
if (DatatypesPackage.Literals.LENGTH_MEMBER1.isInstance(length)) {
if (validateLengthMember1((String) length, tempDiagnostics, context)) return true;
}
for (Diagnostic diagnostic : tempDiagnostics.getChildren()) {
diagnostics.add(diagnostic);
}
} else {
if (XMLTypePackage.Literals.NON_NEGATIVE_INTEGER.isInstance(length)) {
if (xmlTypeValidator.validateNonNegativeInteger((BigInteger) length, null, context))
return true;
}
if (DatatypesPackage.Literals.LENGTH_MEMBER1.isInstance(length)) {
if (validateLengthMember1((String) length, null, context)) return true;
}
}
return false;
}
/**
*
* <!-- 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;
}
/**
* Validates the MemberTypes constraint of '<em>Frame Target</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @generated
*/
public boolean validateFrameTarget_MemberTypes(
Object frameTarget, DiagnosticChain diagnostics, Map<Object, Object> context) {
if (diagnostics != null) {
BasicDiagnostic tempDiagnostics = new BasicDiagnostic();
if (DatatypesPackage.Literals.FRAME_TARGET_MEMBER0.isInstance(frameTarget)) {
if (validateFrameTargetMember0((FrameTargetMember0) frameTarget, tempDiagnostics, context))
return true;
}
if (DatatypesPackage.Literals.FRAME_TARGET_MEMBER1.isInstance(frameTarget)) {
if (validateFrameTargetMember1((String) frameTarget, tempDiagnostics, context)) return true;
}
for (Diagnostic diagnostic : tempDiagnostics.getChildren()) {
diagnostics.add(diagnostic);
}
} else {
if (DatatypesPackage.Literals.FRAME_TARGET_MEMBER0.isInstance(frameTarget)) {
if (validateFrameTargetMember0((FrameTargetMember0) frameTarget, null, context))
return true;
}
if (DatatypesPackage.Literals.FRAME_TARGET_MEMBER1.isInstance(frameTarget)) {
if (validateFrameTargetMember1((String) frameTarget, null, context)) return true;
}
}
return false;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* self.templateId->exists(id : datatypes::II | id.root = '2.16.840.1.113883.3.88.11.83.107')
*
* @param historyOfPresentIllness The receiving '<em><b>History Of Present Illness</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 validateHITSPHistoryOfPresentIllnessTemplateId(
HistoryOfPresentIllness historyOfPresentIllness,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_HITSP_HISTORY_OF_PRESENT_ILLNESS_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
== null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(HITSPPackage.Literals.HISTORY_OF_PRESENT_ILLNESS);
try {
VALIDATE_HITSP_HISTORY_OF_PRESENT_ILLNESS_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_HITSP_HISTORY_OF_PRESENT_ILLNESS_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(
VALIDATE_HITSP_HISTORY_OF_PRESENT_ILLNESS_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(historyOfPresentIllness)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
HITSPValidator.DIAGNOSTIC_SOURCE,
HITSPValidator
.HISTORY_OF_PRESENT_ILLNESS__HITSP_HISTORY_OF_PRESENT_ILLNESS_TEMPLATE_ID,
HITSPPlugin.INSTANCE.getString("HITSPHistoryOfPresentIllnessTemplateId"),
new Object[] {historyOfPresentIllness}));
}
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 -->
* <!-- begin-model-doc -->
*
* @param patientOnAnticoagulants The receiving '<em><b>Patient On Anticoagulants</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 validatePatientOnAnticoagulantsValue(
PatientOnAnticoagulants patientOnAnticoagulants,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_PATIENT_ON_ANTICOAGULANTS_VALUE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(EmspcrPackage.Literals.PATIENT_ON_ANTICOAGULANTS);
try {
VALIDATE_PATIENT_ON_ANTICOAGULANTS_VALUE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_PATIENT_ON_ANTICOAGULANTS_VALUE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_PATIENT_ON_ANTICOAGULANTS_VALUE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(patientOnAnticoagulants)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
EmspcrValidator.DIAGNOSTIC_SOURCE,
EmspcrValidator.PATIENT_ON_ANTICOAGULANTS__PATIENT_ON_ANTICOAGULANTS_VALUE,
EmspcrPlugin.INSTANCE.getString("PatientOnAnticoagulantsValue"),
new Object[] {patientOnAnticoagulants}));
}
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.3.35')
*
* @param codedAdvanceDirectivesSection The receiving '<em><b>Coded Advance Directives
* 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 validateCodedAdvanceDirectivesSectionTemplateId(
CodedAdvanceDirectivesSection codedAdvanceDirectivesSection,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_CODED_ADVANCE_DIRECTIVES_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
== null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(IHEPackage.Literals.CODED_ADVANCE_DIRECTIVES_SECTION);
try {
VALIDATE_CODED_ADVANCE_DIRECTIVES_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_CODED_ADVANCE_DIRECTIVES_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(
VALIDATE_CODED_ADVANCE_DIRECTIVES_SECTION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(codedAdvanceDirectivesSection)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
IHEValidator.DIAGNOSTIC_SOURCE,
IHEValidator
.CODED_ADVANCE_DIRECTIVES_SECTION__CODED_ADVANCE_DIRECTIVES_SECTION_TEMPLATE_ID,
IHEPlugin.INSTANCE.getString("CodedAdvanceDirectivesSectionTemplateId"),
new Object[] {codedAdvanceDirectivesSection}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
*
* @param eyesSection The receiving '<em><b>Eyes 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 validateEyesSectionProblemEntry(
EyesSection eyesSection, DiagnosticChain diagnostics, Map<Object, Object> context) {
if (VALIDATE_EYES_SECTION_PROBLEM_ENTRY__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(IHEPackage.Literals.EYES_SECTION);
try {
VALIDATE_EYES_SECTION_PROBLEM_ENTRY__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_EYES_SECTION_PROBLEM_ENTRY__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_EYES_SECTION_PROBLEM_ENTRY__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(eyesSection)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.INFO,
IHEValidator.DIAGNOSTIC_SOURCE,
IHEValidator.EYES_SECTION__EYES_SECTION_PROBLEM_ENTRY,
IHEPlugin.INSTANCE.getString("EyesSectionProblemEntry"),
new Object[] {eyesSection}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
*
* @param emsProtocolSection The receiving '<em><b>EMS Protocol 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 validateEMSProtocolSectionProtocolObservation(
EMSProtocolSection emsProtocolSection,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_EMS_PROTOCOL_SECTION_PROTOCOL_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
== null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(EmspcrPackage.Literals.EMS_PROTOCOL_SECTION);
try {
VALIDATE_EMS_PROTOCOL_SECTION_PROTOCOL_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_EMS_PROTOCOL_SECTION_PROTOCOL_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(
VALIDATE_EMS_PROTOCOL_SECTION_PROTOCOL_OBSERVATION__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(emsProtocolSection)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
EmspcrValidator.DIAGNOSTIC_SOURCE,
EmspcrValidator.EMS_PROTOCOL_SECTION__EMS_PROTOCOL_SECTION_PROTOCOL_OBSERVATION,
EmspcrPlugin.INSTANCE.getString("EMSProtocolSectionProtocolObservation"),
new Object[] {emsProtocolSection}));
}
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 -->
* <!-- begin-model-doc -->
*
* @param healthStatusObservation2 The receiving '<em><b>Health Status Observation2</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 validateHealthStatusObservationTemplateId(
HealthStatusObservation2 healthStatusObservation2,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_HEALTH_STATUS_OBSERVATION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(ConsolPackage.Literals.HEALTH_STATUS_OBSERVATION2);
try {
VALIDATE_HEALTH_STATUS_OBSERVATION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_HEALTH_STATUS_OBSERVATION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_HEALTH_STATUS_OBSERVATION_TEMPLATE_ID__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(healthStatusObservation2)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
ConsolValidator.DIAGNOSTIC_SOURCE,
ConsolValidator.HEALTH_STATUS_OBSERVATION2__HEALTH_STATUS_OBSERVATION_TEMPLATE_ID,
ConsolPlugin.INSTANCE.getString("HealthStatusObservationTemplateId"),
new Object[] {healthStatusObservation2}));
}
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 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 -->
*
* @param nutritionRecommendations The receiving '<em><b>Nutrition Recommendations</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 validateNutritionRecommendationsEffectiveTime(
NutritionRecommendations nutritionRecommendations,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_NUTRITION_RECOMMENDATIONS_EFFECTIVE_TIME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(ConsolPackage.Literals.NUTRITION_RECOMMENDATIONS);
try {
VALIDATE_NUTRITION_RECOMMENDATIONS_EFFECTIVE_TIME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_NUTRITION_RECOMMENDATIONS_EFFECTIVE_TIME__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(
VALIDATE_NUTRITION_RECOMMENDATIONS_EFFECTIVE_TIME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(nutritionRecommendations)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.WARNING,
ConsolValidator.DIAGNOSTIC_SOURCE,
ConsolValidator.NUTRITION_RECOMMENDATIONS__NUTRITION_RECOMMENDATIONS_EFFECTIVE_TIME,
ConsolPlugin.INSTANCE.getString("NutritionRecommendationsEffectiveTime"),
new Object[] {nutritionRecommendations}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
*
* @param selfCareActivities The receiving '<em><b>Self Care Activities</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 validateSelfCareActivitiesValueP(
SelfCareActivities selfCareActivities,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_SELF_CARE_ACTIVITIES_VALUE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(ConsolPackage.Literals.SELF_CARE_ACTIVITIES);
try {
VALIDATE_SELF_CARE_ACTIVITIES_VALUE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_SELF_CARE_ACTIVITIES_VALUE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_SELF_CARE_ACTIVITIES_VALUE_P__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(selfCareActivities)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
ConsolValidator.DIAGNOSTIC_SOURCE,
ConsolValidator.SELF_CARE_ACTIVITIES__SELF_CARE_ACTIVITIES_VALUE_P,
ConsolPlugin.INSTANCE.getString("SelfCareActivitiesValueP"),
new Object[] {selfCareActivities}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
* not self.statusCode.oclIsUndefined() and self.statusCode.oclIsKindOf(datatypes::CS) and let
* value : datatypes::CS = self.statusCode.oclAsType(datatypes::CS) in ( value.code = 'completed')
*
* @param familyHistoryObservation The receiving '<em><b>Family History Observation</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 validateFamilyHistoryObservationStatusCode(
FamilyHistoryObservation familyHistoryObservation,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_FAMILY_HISTORY_OBSERVATION_STATUS_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(CCDPackage.Literals.FAMILY_HISTORY_OBSERVATION);
try {
VALIDATE_FAMILY_HISTORY_OBSERVATION_STATUS_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_FAMILY_HISTORY_OBSERVATION_STATUS_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(
VALIDATE_FAMILY_HISTORY_OBSERVATION_STATUS_CODE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(familyHistoryObservation)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
CCDValidator.DIAGNOSTIC_SOURCE,
CCDValidator.FAMILY_HISTORY_OBSERVATION__FAMILY_HISTORY_OBSERVATION_STATUS_CODE,
CCDPlugin.INSTANCE.getString("FamilyHistoryObservationStatusCode"),
new Object[] {familyHistoryObservation}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
*
* @param infantTransfer The receiving '<em><b>Infant 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 validateInfantTransferParticipant(
InfantTransfer infantTransfer, DiagnosticChain diagnostics, Map<Object, Object> context) {
if (VALIDATE_INFANT_TRANSFER_PARTICIPANT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(VsbrPackage.Literals.INFANT_TRANSFER);
try {
VALIDATE_INFANT_TRANSFER_PARTICIPANT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_INFANT_TRANSFER_PARTICIPANT__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_INFANT_TRANSFER_PARTICIPANT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(infantTransfer)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.INFO,
VsbrValidator.DIAGNOSTIC_SOURCE,
VsbrValidator.INFANT_TRANSFER__INFANT_TRANSFER_PARTICIPANT,
VsbrPlugin.INSTANCE.getString("InfantTransferParticipant"),
new Object[] {infantTransfer}));
}
return false;
}
return true;
}
/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
*
* @param reasonForVisitSection The receiving '<em><b>Reason For Visit 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 validateReasonForVisitSectionTitle(
ReasonForVisitSection reasonForVisitSection,
DiagnosticChain diagnostics,
Map<Object, Object> context) {
if (VALIDATE_REASON_FOR_VISIT_SECTION_TITLE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV == null) {
OCL.Helper helper = EOCL_ENV.createOCLHelper();
helper.setContext(ConsolPackage.Literals.REASON_FOR_VISIT_SECTION);
try {
VALIDATE_REASON_FOR_VISIT_SECTION_TITLE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV =
helper.createInvariant(
VALIDATE_REASON_FOR_VISIT_SECTION_TITLE__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP);
} catch (ParserException pe) {
throw new UnsupportedOperationException(pe.getLocalizedMessage());
}
}
if (!EOCL_ENV
.createQuery(VALIDATE_REASON_FOR_VISIT_SECTION_TITLE__DIAGNOSTIC_CHAIN_MAP__EOCL_INV)
.check(reasonForVisitSection)) {
if (diagnostics != null) {
diagnostics.add(
new BasicDiagnostic(
Diagnostic.ERROR,
ConsolValidator.DIAGNOSTIC_SOURCE,
ConsolValidator.REASON_FOR_VISIT_SECTION__REASON_FOR_VISIT_SECTION_TITLE,
ConsolPlugin.INSTANCE.getString("ReasonForVisitSectionTitle"),
new Object[] {reasonForVisitSection}));
}
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;
}
