Package | Description |
---|---|
org.eclipse.ocl |
Definition of the extensible environment API for OCL parsing and evaluation.
|
org.eclipse.ocl.ecore |
Implementation of an OCL binding for the Ecore metamodel.
|
org.eclipse.ocl.ecore.opposites | |
org.eclipse.ocl.examples.impactanalyzer.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation | |
org.eclipse.ocl.examples.impactanalyzer.util | |
org.eclipse.ocl.parser | |
org.eclipse.ocl.uml |
Implementation of an OCL binding for the UML metamodel.
|
org.eclipse.ocl.util |
Miscellaneous utilities in support of the OCL parser and environment
implementations.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractEnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
Partial implementation of the
EnvironmentFactory interface, useful
for subclassing to define the OCL binding for a metamodel. |
Modifier and Type | Method and Description |
---|---|
EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
Environment.getFactory()
Obtains the factory that created me, or an appropriate default factory
if I was not created using a factory.
|
Modifier and Type | Method and Description |
---|---|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
OCL.newInstance(EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> envFactory)
Creates a new
OCL with an environment factory, which it will
use to create a root environment. |
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
OCL.newInstance(EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> envFactory,
org.eclipse.emf.ecore.resource.Resource resource)
Creates a new
OCL with an environment factory and a resource
in which its environment is to be persisted, or from which it may be
loaded if the resource already has content. |
Constructor and Description |
---|
OCL(EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> envFactory)
Initializes me with an environment factory, which I will use to create a
root environment.
|
OCL(EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> envFactory,
Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> rootEnv)
Initializes me with my environment factory and root environment.
|
OCL(EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> envFactory,
org.eclipse.emf.ecore.resource.Resource resource)
Initializes me with an environment factory and a resource in which my
environment is to be persisted, or from which it may be loaded if the
resource already has content.
|
Modifier and Type | Class and Description |
---|---|
class |
EcoreEnvironmentFactory
Implementation of the
EnvironmentFactory for parsing OCL expressions
on Ecore models. |
Modifier and Type | Method and Description |
---|---|
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> |
EcoreEnvironment.getFactory() |
Modifier and Type | Method and Description |
---|---|
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. |
protected void |
EcoreEnvironment.setFactory(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> factory)
Deprecated.
EcoreEnvironment.factory will become final in future releases; use
one of the constructors taking an
EcoreEnvironmentFactory argument instead |
Constructor and Description |
---|
OCL(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)
Initializes me with an environment factory for the Ecore metamodel.
|
OCL(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)
Initializes me with an environment factory for the Ecore metamodel and
a resource from which to load my root environment.
|
Modifier and Type | Class and Description |
---|---|
class |
EcoreEnvironmentFactoryWithHiddenOpposites
An environment factory which can be used to provide a non-
null
OppositeEndFinder to the OCL environment. |
Modifier and Type | Class and Description |
---|---|
class |
PartialEcoreEnvironmentFactory |
Modifier and Type | Class and Description |
---|---|
class |
PartialEcoreEnvironmentFactoryNoAllInstances
Uses
PartialEvaluationVisitorImplNoAllInstances as evaluation visitor which throws a
NoAllInstancesDuringEvaluationForUnusedCheck exception in case allInstances()
is to be evaluated. |
Modifier and Type | Class and Description |
---|---|
class |
EcoreEnvironmentFactoryWithScopedExtentMap
An OCL environment factory that is parameterizable during construction with an
OppositeEndFinder in addition to the default parameterization of the
package EPackage.Registry . |
Modifier and Type | Field and Description |
---|---|
protected EnvironmentFactory<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
AbstractOCLAnalyzer.environmentFactory |
Modifier and Type | Class and Description |
---|---|
class |
UMLEnvironmentFactory
Implementation of the
EnvironmentFactory for parsing OCL expressions
on UML models. |
Modifier and Type | Method and Description |
---|---|
EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> |
UMLEnvironment.getFactory() |
Modifier and Type | Method and Description |
---|---|
static OCL |
OCL.newInstance(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> envFactory)
Creates a new
OCL using the specified UML environment
factory. |
static OCL |
OCL.newInstance(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> envFactory,
org.eclipse.emf.ecore.resource.Resource resource)
Creates a new
OCL using the specified UML environment
factory and a resource from which to load the initial environment. |
protected void |
UMLEnvironment.setFactory(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> factory)
Sets the factory that created me.
|
Constructor and Description |
---|
OCL(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> envFactory)
Initializes me with an environment factory for the UML metamodel.
|
OCL(EnvironmentFactory<org.eclipse.uml2.uml.Package,org.eclipse.uml2.uml.Classifier,org.eclipse.uml2.uml.Operation,org.eclipse.uml2.uml.Property,org.eclipse.uml2.uml.EnumerationLiteral,org.eclipse.uml2.uml.Parameter,org.eclipse.uml2.uml.State,org.eclipse.uml2.uml.CallOperationAction,org.eclipse.uml2.uml.SendSignalAction,org.eclipse.uml2.uml.Constraint,org.eclipse.uml2.uml.Class,org.eclipse.emf.ecore.EObject> envFactory,
org.eclipse.emf.ecore.resource.Resource resource)
Initializes me with an environment factory for the UML metamodel and
a resource from which to load my root environment.
|
Modifier and Type | Method and Description |
---|---|
static <T> T |
OCLUtil.getAdapter(EnvironmentFactory<?,?,?,?,?,?,?,?,?,?,?,?> factory,
java.lang.Class<T> adapterType)
Obtains an adapter for the specified interface type.
|