| /** |
| */ |
| package org.eclipse.mdht.uml.hl7.datatypes.operations; |
| |
| import java.util.Map; |
| |
| import org.eclipse.emf.common.util.BasicDiagnostic; |
| import org.eclipse.emf.common.util.Diagnostic; |
| import org.eclipse.emf.common.util.DiagnosticChain; |
| |
| import org.eclipse.mdht.uml.hl7.datatypes.DatatypesPackage; |
| import org.eclipse.mdht.uml.hl7.datatypes.IVL_REAL; |
| |
| import org.eclipse.mdht.uml.hl7.datatypes.util.DatatypesUtil; |
| import org.eclipse.mdht.uml.hl7.datatypes.util.DatatypesValidator; |
| |
| import org.eclipse.ocl.ParserException; |
| |
| import org.eclipse.ocl.ecore.Constraint; |
| import org.eclipse.ocl.ecore.OCL; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * A static utility class that provides operations related to '<em><b>IVL REAL</b></em>' model objects. |
| * <!-- end-user-doc --> |
| * |
| * <p> |
| * The following operations are supported: |
| * </p> |
| * <ul> |
| * <li>{@link org.eclipse.mdht.uml.hl7.datatypes.IVL_REAL#validateOptionsContainingLow(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Low</em>}</li> |
| * <li>{@link org.eclipse.mdht.uml.hl7.datatypes.IVL_REAL#validateOptionsContainingCenter(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Center</em>}</li> |
| * <li>{@link org.eclipse.mdht.uml.hl7.datatypes.IVL_REAL#validateOptionsContainingHigh(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing High</em>}</li> |
| * <li>{@link org.eclipse.mdht.uml.hl7.datatypes.IVL_REAL#validateOptionsContainingWidth(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Width</em>}</li> |
| * </ul> |
| * |
| * @generated |
| */ |
| public class IVL_REALOperations extends REALOperations { |
| /** |
| * The cached environment for evaluating OCL expressions. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| * @ordered |
| */ |
| protected static final ThreadLocal<OCL> EOCL_ENV = new ThreadLocal<OCL>() { |
| @Override |
| public OCL initialValue() { |
| return OCL.newInstance(); |
| } |
| }; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| protected IVL_REALOperations() { |
| super(); |
| } |
| |
| /** |
| * The cached OCL expression body for the '{@link #validateOptionsContainingLow(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Low</em>}' operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingLow(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static final String VALIDATE_OPTIONS_CONTAINING_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP = "not self.low.oclIsUndefined() implies self.center.oclIsUndefined() and (self.width.oclIsUndefined() or self.high.oclIsUndefined())"; |
| |
| /** |
| * The cached OCL invariant for the '{@link #validateOptionsContainingLow(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Low</em>}' invariant operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingLow(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static ThreadLocal<Constraint> VALIDATE_OPTIONS_CONTAINING_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV = new ThreadLocal<Constraint>(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * @param ivL_REAL The receiving '<em><b>IVL REAL</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 validateOptionsContainingLow(IVL_REAL ivL_REAL, DiagnosticChain diagnostics, |
| Map<Object, Object> context) { |
| |
| DatatypesUtil.increment(context, "IVL_REALOptionsContainingLow", "ERROR"); |
| |
| if (VALIDATE_OPTIONS_CONTAINING_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get() == null) { |
| |
| synchronized (EOCL_ENV) { |
| OCL.Helper helper = EOCL_ENV.get().createOCLHelper(); |
| helper.setContext(DatatypesPackage.Literals.IVL_REAL); |
| try { |
| VALIDATE_OPTIONS_CONTAINING_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.set( |
| helper.createInvariant(VALIDATE_OPTIONS_CONTAINING_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP)); |
| } catch (ParserException pe) { |
| throw new UnsupportedOperationException(pe.getLocalizedMessage()); |
| } |
| } |
| } |
| if (!EOCL_ENV.get().createQuery(VALIDATE_OPTIONS_CONTAINING_LOW__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get()).check( |
| ivL_REAL)) { |
| if (diagnostics != null) { |
| diagnostics.add( |
| new BasicDiagnostic( |
| Diagnostic.ERROR, DatatypesValidator.DIAGNOSTIC_SOURCE, |
| DatatypesValidator.IVL_REAL__OPTIONS_CONTAINING_LOW, |
| org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( |
| "_UI_GenericInvariant_diagnostic", |
| new Object[] { |
| "validateOptionsContainingLow", |
| org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(ivL_REAL, context) }), |
| new Object[] { ivL_REAL })); |
| } |
| return false; |
| } |
| return true; |
| } |
| |
| /** |
| * The cached OCL expression body for the '{@link #validateOptionsContainingCenter(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Center</em>}' operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingCenter(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static final String VALIDATE_OPTIONS_CONTAINING_CENTER__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP = "not self.center.oclIsUndefined() implies self.high.oclIsUndefined() and self.low.oclIsUndefined()"; |
| |
| /** |
| * The cached OCL invariant for the '{@link #validateOptionsContainingCenter(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Center</em>}' invariant operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingCenter(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static ThreadLocal<Constraint> VALIDATE_OPTIONS_CONTAINING_CENTER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV = new ThreadLocal<Constraint>(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * @param ivL_REAL The receiving '<em><b>IVL REAL</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 validateOptionsContainingCenter(IVL_REAL ivL_REAL, DiagnosticChain diagnostics, |
| Map<Object, Object> context) { |
| |
| DatatypesUtil.increment(context, "IVL_REALOptionsContainingCenter", "ERROR"); |
| |
| if (VALIDATE_OPTIONS_CONTAINING_CENTER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get() == null) { |
| |
| synchronized (EOCL_ENV) { |
| OCL.Helper helper = EOCL_ENV.get().createOCLHelper(); |
| helper.setContext(DatatypesPackage.Literals.IVL_REAL); |
| try { |
| VALIDATE_OPTIONS_CONTAINING_CENTER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.set( |
| helper.createInvariant(VALIDATE_OPTIONS_CONTAINING_CENTER__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP)); |
| } catch (ParserException pe) { |
| throw new UnsupportedOperationException(pe.getLocalizedMessage()); |
| } |
| } |
| } |
| if (!EOCL_ENV.get().createQuery(VALIDATE_OPTIONS_CONTAINING_CENTER__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get()).check( |
| ivL_REAL)) { |
| if (diagnostics != null) { |
| diagnostics.add( |
| new BasicDiagnostic( |
| Diagnostic.ERROR, DatatypesValidator.DIAGNOSTIC_SOURCE, |
| DatatypesValidator.IVL_REAL__OPTIONS_CONTAINING_CENTER, |
| org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( |
| "_UI_GenericInvariant_diagnostic", |
| new Object[] { |
| "validateOptionsContainingCenter", |
| org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(ivL_REAL, context) }), |
| new Object[] { ivL_REAL })); |
| } |
| return false; |
| } |
| return true; |
| } |
| |
| /** |
| * The cached OCL expression body for the '{@link #validateOptionsContainingHigh(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing High</em>}' operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingHigh(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static final String VALIDATE_OPTIONS_CONTAINING_HIGH__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP = "not self.high.oclIsUndefined() implies (self.low.oclIsUndefined() and self.center.oclIsUndefined() and self.width.oclIsUndefined()) or ((not self.low.oclIsUndefined()) and self.width.oclIsUndefined() and self.center.oclIsUndefined()) or ((not self.width.oclIsUndefined()) and self.low.oclIsUndefined() and self.center.oclIsUndefined())"; |
| |
| /** |
| * The cached OCL invariant for the '{@link #validateOptionsContainingHigh(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing High</em>}' invariant operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingHigh(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static ThreadLocal<Constraint> VALIDATE_OPTIONS_CONTAINING_HIGH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV = new ThreadLocal<Constraint>(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * @param ivL_REAL The receiving '<em><b>IVL REAL</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 validateOptionsContainingHigh(IVL_REAL ivL_REAL, DiagnosticChain diagnostics, |
| Map<Object, Object> context) { |
| |
| DatatypesUtil.increment(context, "IVL_REALOptionsContainingHigh", "ERROR"); |
| |
| if (VALIDATE_OPTIONS_CONTAINING_HIGH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get() == null) { |
| |
| synchronized (EOCL_ENV) { |
| OCL.Helper helper = EOCL_ENV.get().createOCLHelper(); |
| helper.setContext(DatatypesPackage.Literals.IVL_REAL); |
| try { |
| VALIDATE_OPTIONS_CONTAINING_HIGH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.set( |
| helper.createInvariant(VALIDATE_OPTIONS_CONTAINING_HIGH__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP)); |
| } catch (ParserException pe) { |
| throw new UnsupportedOperationException(pe.getLocalizedMessage()); |
| } |
| } |
| } |
| if (!EOCL_ENV.get().createQuery(VALIDATE_OPTIONS_CONTAINING_HIGH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get()).check( |
| ivL_REAL)) { |
| if (diagnostics != null) { |
| diagnostics.add( |
| new BasicDiagnostic( |
| Diagnostic.ERROR, DatatypesValidator.DIAGNOSTIC_SOURCE, |
| DatatypesValidator.IVL_REAL__OPTIONS_CONTAINING_HIGH, |
| org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( |
| "_UI_GenericInvariant_diagnostic", |
| new Object[] { |
| "validateOptionsContainingHigh", |
| org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(ivL_REAL, context) }), |
| new Object[] { ivL_REAL })); |
| } |
| return false; |
| } |
| return true; |
| } |
| |
| /** |
| * The cached OCL expression body for the '{@link #validateOptionsContainingWidth(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Width</em>}' operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingWidth(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static final String VALIDATE_OPTIONS_CONTAINING_WIDTH__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP = "not self.width.oclIsUndefined() implies ((not self.low.oclIsUndefined()) and self.center.oclIsUndefined() and self.high.oclIsUndefined()) or (self.low.oclIsUndefined() and self.center.oclIsUndefined()) or ((not self.center.oclIsUndefined()) and self.low.oclIsUndefined() and self.high.oclIsUndefined())"; |
| |
| /** |
| * The cached OCL invariant for the '{@link #validateOptionsContainingWidth(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) <em>Validate Options Containing Width</em>}' invariant operation. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @see #validateOptionsContainingWidth(IVL_REAL, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) |
| * @generated |
| * @ordered |
| */ |
| protected static ThreadLocal<Constraint> VALIDATE_OPTIONS_CONTAINING_WIDTH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV = new ThreadLocal<Constraint>(); |
| |
| /** |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * <!-- begin-model-doc --> |
| * @param ivL_REAL The receiving '<em><b>IVL REAL</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 validateOptionsContainingWidth(IVL_REAL ivL_REAL, DiagnosticChain diagnostics, |
| Map<Object, Object> context) { |
| |
| DatatypesUtil.increment(context, "IVL_REALOptionsContainingWidth", "ERROR"); |
| |
| if (VALIDATE_OPTIONS_CONTAINING_WIDTH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get() == null) { |
| |
| synchronized (EOCL_ENV) { |
| OCL.Helper helper = EOCL_ENV.get().createOCLHelper(); |
| helper.setContext(DatatypesPackage.Literals.IVL_REAL); |
| try { |
| VALIDATE_OPTIONS_CONTAINING_WIDTH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.set( |
| helper.createInvariant(VALIDATE_OPTIONS_CONTAINING_WIDTH__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP)); |
| } catch (ParserException pe) { |
| throw new UnsupportedOperationException(pe.getLocalizedMessage()); |
| } |
| } |
| } |
| if (!EOCL_ENV.get().createQuery(VALIDATE_OPTIONS_CONTAINING_WIDTH__DIAGNOSTIC_CHAIN_MAP__EOCL_INV.get()).check( |
| ivL_REAL)) { |
| if (diagnostics != null) { |
| diagnostics.add( |
| new BasicDiagnostic( |
| Diagnostic.ERROR, DatatypesValidator.DIAGNOSTIC_SOURCE, |
| DatatypesValidator.IVL_REAL__OPTIONS_CONTAINING_WIDTH, |
| org.eclipse.emf.ecore.plugin.EcorePlugin.INSTANCE.getString( |
| "_UI_GenericInvariant_diagnostic", |
| new Object[] { |
| "validateOptionsContainingWidth", |
| org.eclipse.emf.ecore.util.EObjectValidator.getObjectLabel(ivL_REAL, context) }), |
| new Object[] { ivL_REAL })); |
| } |
| return false; |
| } |
| return true; |
| } |
| |
| } // IVL_REALOperations |