Package | Description |
---|---|
org.eclipse.ocl.ecore |
Implementation of an OCL binding for the Ecore metamodel.
|
org.eclipse.ocl.ecore.delegate | |
org.eclipse.ocl.examples.impactanalyzer | |
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.filterSynthesis | |
org.eclipse.ocl.examples.impactanalyzer.impl | |
org.eclipse.ocl.examples.impactanalyzer.util |
Modifier and Type | Method and Description |
---|---|
OCL |
OCL.Helper.getOCL()
Obtains the OCL instance that created me.
|
OCL |
OCL.Query.getOCL()
Obtains the
OCL that created me. |
static OCL |
OCL.newInstance()
Creates a new
OCL using the shared Ecore environment
factory instance. |
static OCL |
OCL.newInstance(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env)
Creates a new
OCL using the specified initial Ecore
environment. |
static OCL |
OCL.newInstance(EnvironmentFactory<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> envFactory)
Creates a new
OCL using the specified Ecore environment
factory. |
static OCL |
OCL.newInstance(EnvironmentFactory<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> envFactory,
org.eclipse.emf.ecore.resource.Resource resource)
Creates a new
OCL using the specified Ecore environment
factory and a resource from which to load the initial environment. |
Modifier and Type | Field and Description |
---|---|
protected OCL |
OCLDelegateDomain.ocl |
Modifier and Type | Method and Description |
---|---|
OCL |
OCLDelegateDomain.getOCL() |
Modifier and Type | Method and Description |
---|---|
OCLExpression |
SettingBehavior.getFeatureBody(OCL ocl,
org.eclipse.emf.ecore.EStructuralFeature structuralFeature)
Return the feature body associated with structuralFeature, if necessary using ocl to
create the relevant parsing environment for a textual definition..
|
OCLExpression |
ValidationBehavior.getInvariant(org.eclipse.emf.ecore.EClassifier cls,
java.lang.String constraintName,
OCL ocl) |
OCLExpression |
InvocationBehavior.getOperationBody(OCL ocl,
org.eclipse.emf.ecore.EOperation operation)
Return the operation body associated with operation, if necessary using
ocl to create the relevant parsing environment for a textual
definition. |
Modifier and Type | Method and Description |
---|---|
OCL |
PartialEvaluator.getOcl() |
Modifier and Type | Method and Description |
---|---|
OCL |
PartialEvaluatorImpl.getOcl() |
Constructor and Description |
---|
FilterSynthesisImpl(OCLExpression expression,
boolean notifyNewContextElements,
OCL ocl) |
Modifier and Type | Method and Description |
---|---|
protected FilterSynthesisImpl |
ImpactAnalyzerImpl.createFilterSynthesis(OCLExpression expression,
boolean notifyOnNewContextElements,
OCL ocl) |
Modifier and Type | Method and Description |
---|---|
OCL |
OCLFactory.createOCL(EcoreEnvironmentFactory environmentFactory)
Creates an OCL instance that uses the environment factory provided.
|
OCL |
OCLFactory.createOCL(OppositeEndFinder oppositeEndFinder)
Create an OCL instance that uses the
OppositeEndFinder specified as parameter. |
static OCL |
OCL.newInstance()
Constructs an OCL instance that uses a
DefaultOppositeEndFinder and the default package
registry, yet uses the non-default ExtentMap which defines allInstances
results consistently with the opposite end finder being used. |
static OCL |
OCL.newInstance(EcoreEnvironmentFactoryWithScopedExtentMap factory)
Constructs an OCL instance that uses the provided factory's opposite end
finder and registry, yet uses the non-default
ExtentMap which
defines allInstances results consistently with the opposite
end finder being used. |
static OCL |
OCL.newInstance(org.eclipse.emf.ecore.EPackage.Registry registry)
Constructs the OCL instance so that metamodel lookups are performed with the
registry
provided. |
static OCL |
OCL.newInstance(org.eclipse.emf.ecore.EPackage.Registry registry,
OppositeEndFinder oppositeEndFinder)
Uses the specific opposite end finder to parameterize the OCL environment returned.
|
static OCL |
OCL.newInstance(OppositeEndFinder oppositeEndFinder)
Uses the specific opposite end finder to parameterize the OCL environment returned.
|