edu.cmu.sei.aadl.aadl2.operations
Class PrototypeOperations
java.lang.Object
edu.cmu.sei.aadl.aadl2.operations.ElementOperations
edu.cmu.sei.aadl.aadl2.operations.NamedElementOperations
edu.cmu.sei.aadl.aadl2.operations.PrototypeOperations
public class PrototypeOperations
- extends NamedElementOperations
A static utility class that provides operations related to 'Prototype' model objects.
The following operations are supported:
Fields inherited from class edu.cmu.sei.aadl.aadl2.operations.NamedElementOperations |
ALL_NAMESPACES__EOCL_EXP, ALL_NAMESPACES__EOCL_QRY, HAS_NO_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, HAS_NO_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV, HAS_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP, HAS_QUALIFIED_NAME__DIAGNOSTIC_CHAIN_MAP__EOCL_INV, IS_DISTINGUISHABLE_FROM__NAMED_ELEMENT_NAMESPACE__EOCL_EXP, IS_DISTINGUISHABLE_FROM__NAMED_ELEMENT_NAMESPACE__EOCL_QRY, QUALIFIED_NAME__EOCL_EXP, QUALIFIED_NAME__EOCL_QRY, SEPARATOR__EOCL_EXP, SEPARATOR__EOCL_QRY |
Method Summary |
static boolean |
categoryConstraint(Prototype prototype,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
self.constrainingCategory.oclIsUndefined() implies self.constrainingClassifier = self.constrainingCategory |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CATEGORY_CONSTRAINT__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP
protected static final java.lang.String CATEGORY_CONSTRAINT__DIAGNOSTIC_CHAIN_MAP__EOCL_EXP
- The cached OCL expression body for the '
Category Constraint
' operation.
- See Also:
categoryConstraint(Prototype, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map)
,
Constant Field Values
CATEGORY_CONSTRAINT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
protected static org.eclipse.ocl.ecore.Constraint CATEGORY_CONSTRAINT__DIAGNOSTIC_CHAIN_MAP__EOCL_INV
- The cached OCL invariant for the '
Category Constraint
' invariant operation.
- See Also:
categoryConstraint(Prototype, org.eclipse.emf.common.util.DiagnosticChain, java.util.Map)
PrototypeOperations
protected PrototypeOperations()
-
categoryConstraint
public static boolean categoryConstraint(Prototype prototype,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
-
self.constrainingCategory.oclIsUndefined() implies self.constrainingClassifier = self.constrainingCategory
- Parameters:
prototype
- The receiving 'Prototype' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.