|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use OCLExpression | |
|---|---|
| org.eclipse.ocl.ecore | Implementation of an OCL binding for the Ecore metamodel. |
| org.eclipse.ocl.ecore.delegate | |
| org.eclipse.ocl.ecore.impl | Implementation of the Ecore binding of the the Types package of the OCL Abstract Syntax. |
| org.eclipse.ocl.ecore.util | Generated utilities for working with instances the Ecore binding of the Types package of the OCL Abstract Syntax. |
| org.eclipse.ocl.examples.impactanalyzer | |
| org.eclipse.ocl.examples.impactanalyzer.deltaPropagation | |
| org.eclipse.ocl.examples.impactanalyzer.editor | |
| org.eclipse.ocl.examples.impactanalyzer.filterSynthesis | |
| org.eclipse.ocl.examples.impactanalyzer.impl | |
| org.eclipse.ocl.examples.impactanalyzer.instanceScope | |
| org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback | |
| org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation | |
| org.eclipse.ocl.examples.impactanalyzer.util | |
| Uses of OCLExpression in org.eclipse.ocl.ecore |
|---|
| Subinterfaces of OCLExpression in org.eclipse.ocl.ecore | |
|---|---|
interface |
AssociationClassCallExp
A representation of the model object 'Association Class Call Exp'. |
interface |
BooleanLiteralExp
A representation of the model object 'Boolean Literal Exp'. |
interface |
CallExp
A representation of the model object 'Call Exp'. |
interface |
CollectionLiteralExp
A representation of the model object 'Collection Literal Exp'. |
interface |
EnumLiteralExp
A representation of the model object 'Enum Literal Exp'. |
interface |
FeatureCallExp
A representation of the model object 'Feature Call Exp'. |
interface |
IfExp
A representation of the model object 'If Exp'. |
interface |
IntegerLiteralExp
A representation of the model object 'Integer Literal Exp'. |
interface |
InvalidLiteralExp
A representation of the model object 'Invalid Literal Exp'. |
interface |
IterateExp
A representation of the model object 'Iterate Exp'. |
interface |
IteratorExp
A representation of the model object 'Iterator Exp'. |
interface |
LetExp
A representation of the model object 'Let Exp'. |
interface |
LiteralExp
A representation of the model object 'Literal Exp'. |
interface |
LoopExp
A representation of the model object 'Loop Exp'. |
interface |
MessageExp
A representation of the model object 'Message Exp'. |
interface |
NavigationCallExp
A representation of the model object 'Navigation Call Exp'. |
interface |
NullLiteralExp
A representation of the model object 'Null Literal Exp'. |
interface |
NumericLiteralExp
A representation of the model object 'Numeric Literal Exp'. |
interface |
OperationCallExp
A representation of the model object 'Operation Call Exp'. |
interface |
OppositePropertyCallExp
A representation of the model object 'Opposite Property Call Exp'. |
interface |
PrimitiveLiteralExp
A representation of the model object 'Primitive Literal Exp'. |
interface |
PropertyCallExp
A representation of the model object 'Property Call Exp'. |
interface |
RealLiteralExp
A representation of the model object 'Real Literal Exp'. |
interface |
StateExp
A representation of the model object 'State Exp'. |
interface |
StringLiteralExp
A representation of the model object 'String Literal Exp'. |
interface |
TupleLiteralExp
A representation of the model object 'Tuple Literal Exp'. |
interface |
TypeExp
A representation of the model object 'Type Exp'. |
interface |
UnlimitedNaturalLiteralExp
A representation of the model object 'Unlimited Natural Literal Exp'. |
interface |
UnspecifiedValueExp
A representation of the model object 'Unspecified Value Exp'. |
interface |
VariableExp
A representation of the model object 'Variable Exp'. |
| Methods in org.eclipse.ocl.ecore that return OCLExpression | |
|---|---|
OCLExpression |
OCL.Helper.createQuery(java.lang.String expression)
Creates a query expression in the current classifier context. |
OCLExpression |
OCL.Query.getExpression()
Obtains the expression that I evaluate (or check as a boolean constraint). |
| Uses of OCLExpression in org.eclipse.ocl.ecore.delegate |
|---|
| Fields in org.eclipse.ocl.ecore.delegate declared as OCLExpression | |
|---|---|
static OCLExpression |
AbstractDelegatedBehavior.NO_OCL_DEFINITION
An "identifying" instance that helps distinguish between the case where an OCL expression isn't found in the expression cache and hasn't been looked up elsewhere yet from the case where we looked around for a definition but couldn't find one |
| Methods in org.eclipse.ocl.ecore.delegate that return OCLExpression | |
|---|---|
protected OCLExpression |
OCLValidationDelegate.createQuery(java.lang.String expression)
|
OCLExpression |
ValidationBehavior.InvariantCacheAdapter.get(java.lang.String constraintName)
Returns the OCLExpression representing the abstract syntax of the constraint named
constraintName if previously cached using ValidationBehavior.InvariantCacheAdapter.put(String, OCLExpression);
null otherwise. |
OCLExpression |
ValidationBehavior.getCachedOCLExpression(org.eclipse.emf.ecore.EClassifier cls,
java.lang.String constraintName)
Looks for an ValidationBehavior.InvariantCacheAdapter attached to cls. |
static OCLExpression |
AbstractDelegatedBehavior.ExpressionCacheAdapter.getCachedOCLExpression(org.eclipse.emf.ecore.EModelElement modelElement)
Looks for an ExpressionCacheAdapter attached to modelElement. |
OCLExpression |
InvocationBehavior.getCachedOCLExpression(org.eclipse.emf.ecore.EOperation operation)
Looks for an ExpressionCacheAdapter attached to operation. |
OCLExpression |
SettingBehavior.getCachedOCLExpression(org.eclipse.emf.ecore.EStructuralFeature property)
Looks for an ExpressionCacheAdapter attached to property. |
OCLExpression |
AbstractDelegatedBehavior.ExpressionCacheAdapter.getExpression()
|
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. |
OCLExpression |
ValidationBehavior.InvariantCacheAdapter.remove(java.lang.String constraintName)
Removes any cache entry for the constraint named constraintName and
returns any expression previously cached under that constraint name if any, or
null otherwise. |
| Methods in org.eclipse.ocl.ecore.delegate with parameters of type OCLExpression | |
|---|---|
void |
ValidationBehavior.cacheOCLExpression(org.eclipse.emf.ecore.EClassifier cls,
java.lang.String constraintName,
OCLExpression e)
Creates an ValidationBehavior.InvariantCacheAdapter for expression e and adds
it to n's adapter list so that ValidationBehavior.getCachedOCLExpression(EClassifier, String)
will return e when called for n. |
static void |
AbstractDelegatedBehavior.ExpressionCacheAdapter.cacheOCLExpression(org.eclipse.emf.ecore.EModelElement modelElement,
OCLExpression e)
Creates an ExpressionCacheAdapter for expression e and adds
it to modelElement's adapter list so that AbstractDelegatedBehavior.ExpressionCacheAdapter.getCachedOCLExpression(EModelElement)
will return e when called for modelElement. |
void |
InvocationBehavior.cacheOCLExpression(org.eclipse.emf.ecore.EOperation operation,
OCLExpression e)
Creates an ExpressionCacheAdapter for expression e and adds
it to operation's adapter list so that InvocationBehavior.getCachedOCLExpression(EOperation)
will return e when called for operation. |
void |
SettingBehavior.cacheOCLExpression(org.eclipse.emf.ecore.EStructuralFeature property,
OCLExpression e)
Creates an ExpressionCacheAdapter for expression e and adds
it to property's adapter list so that SettingBehavior.getCachedOCLExpression(EStructuralFeature)
will return e when called for property. |
protected boolean |
OCLValidationDelegate.check(java.lang.Object object,
java.lang.String constraint,
OCLExpression query)
|
static boolean |
AbstractDelegatedBehavior.isNoOCLDefinition(OCLExpression e)
Return true if e is a reserved expression used to cache a miss and so
avoid repeating the miss processing on subsequent accesses. |
void |
ValidationBehavior.InvariantCacheAdapter.put(java.lang.String constraintName,
OCLExpression expression)
|
| Constructors in org.eclipse.ocl.ecore.delegate with parameters of type OCLExpression | |
|---|---|
AbstractDelegatedBehavior.ExpressionCacheAdapter(OCLExpression expression)
|
|
| Uses of OCLExpression in org.eclipse.ocl.ecore.impl |
|---|
| Classes in org.eclipse.ocl.ecore.impl that implement OCLExpression | |
|---|---|
class |
OppositePropertyCallExpImpl
An implementation of the model object 'Opposite Property Call Exp'. |
| Uses of OCLExpression in org.eclipse.ocl.ecore.util |
|---|
| Methods in org.eclipse.ocl.ecore.util with parameters of type OCLExpression | |
|---|---|
T |
EcoreSwitch.caseOCLExpression(OCLExpression object)
Returns the result of interpreting the object as an instance of 'OCL Expression'. |
boolean |
EcoreValidator.validateOCLExpression_WellFormedName(OCLExpression oclExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the WellFormedName constraint of 'OCL Expression'. |
boolean |
EcoreValidator.validateOCLExpression(OCLExpression oclExpression,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer with parameters of type OCLExpression | |
|---|---|
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
ActivationOption configuration,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
ActivationOption configuration,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified with an explicit context type specification. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified with an explicit context type specification. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified with an explicit context type specification. |
ImpactAnalyzer |
ImpactAnalyzerFactory.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
Constructs an impact analyzer for the expression specified with an explicit context type specification. |
java.lang.Object |
PartialEvaluator.evaluate(java.lang.Object context,
OCLExpression e)
Performs a normal OCL evaluation of expression c. |
protected abstract org.eclipse.emf.common.notify.Adapter |
Revalidator.getAdapter(java.lang.String constraintName,
OCLExpression invariant,
ImpactAnalyzer impactAnalyzer)
Returns an adapter that will be notified when the constraint
whose name is given by the constraintName parameter may have
changed its value due to the change Notification delivered to the
adapter. |
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return OCLExpression | |
|---|---|
protected OCLExpression |
DeltaPropagationStrategyWithTargetExpression.getPropagatesTo()
|
protected OCLExpression |
PartialEcoreEnvironmentFactory.getSourceExpression()
|
protected OCLExpression |
PartialEvaluationVisitorImpl.getSourceExpression()
|
| Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that return types with arguments of type OCLExpression | |
|---|---|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
DeltaPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
Maps a delta of e's value to the delta of one or more other expressions, typically such expressions that contain or use e, as in the case where e is the body of a collect expression or the source of a CallExp expression. |
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
IdentityPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
IteratorSourcePropagationStrategy.mapDelta(OCLExpression sourceOfIterator,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
OperationBodyPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
PartialEvaluatorImpl.transitivelyPropagateDelta(OCLExpression e,
java.util.Collection<java.lang.Object> deltaForEValue,
OperationBodyToCallMapper mapper)
Tries to find a propagation strategy for the combination of the OCL expression e
and a given delta for its evaluation result. |
| Methods in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type OCLExpression | |
|---|---|
java.lang.Object |
PartialEvaluatorImpl.evaluate(java.lang.Object context,
OCLExpression e)
|
boolean |
PartialEvaluatorImpl.hasNoEffectOnOverallExpression(OCLExpression e,
java.lang.Object oldValue,
java.lang.Object newValue,
OperationBodyToCallMapper mapper)
Determines if a change of e's value from oldValue to newValue may or may not have an effect on the overall expression by which e is used. |
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
DeltaPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
Maps a delta of e's value to the delta of one or more other expressions, typically such expressions that contain or use e, as in the case where e is the body of a collect expression or the source of a CallExp expression. |
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
IdentityPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
IteratorSourcePropagationStrategy.mapDelta(OCLExpression sourceOfIterator,
java.util.Collection<java.lang.Object> delta)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
OperationBodyPropagationStrategy.mapDelta(OCLExpression e,
java.util.Collection<java.lang.Object> delta)
|
void |
PartialEcoreEnvironmentFactory.setExpressionValue(OCLExpression sourceExpression,
java.lang.Object valueOfSourceExpression)
|
protected void |
PartialEcoreEnvironmentFactory.setSourceExpression(OCLExpression sourceExpression)
|
protected void |
PartialEvaluationVisitorImpl.setSourceExpression(OCLExpression sourceExpression)
|
java.util.Collection<Tuple.Pair<OCLExpression,java.util.Collection<java.lang.Object>>> |
PartialEvaluatorImpl.transitivelyPropagateDelta(OCLExpression e,
java.util.Collection<java.lang.Object> deltaForEValue,
OperationBodyToCallMapper mapper)
Tries to find a propagation strategy for the combination of the OCL expression e
and a given delta for its evaluation result. |
| Constructors in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation with parameters of type OCLExpression | |
|---|---|
DeltaPropagationStrategyWithTargetExpression(OCLExpression propagatesTo)
|
|
DeltaPropagationStrategyWithTargetExpressionAndPartialEvaluator(OCLExpression propagatesTo,
PartialEvaluatorImpl evaluator)
|
|
IdentityPropagationStrategy(OCLExpression propagatesTo)
|
|
PartialEvaluationVisitorImpl(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,
EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv,
java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap,
OCLExpression sourceExpression,
java.lang.Object valueOfSourceExpression,
org.eclipse.emf.common.notify.Notification atPre)
|
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.editor |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.editor with parameters of type OCLExpression | |
|---|---|
protected org.eclipse.emf.common.notify.Adapter |
Revalidator.getAdapter(java.lang.String constraintName,
OCLExpression invariant,
ImpactAnalyzer impactAnalyzer)
Returns an adapter that will be notified when the constraint
whose name is given by the constraintName parameter may have
changed its value due to the change Notification delivered to the
adapter. |
| Constructors in org.eclipse.ocl.examples.impactanalyzer.editor with parameters of type OCLExpression | |
|---|---|
RevalidateAction(java.lang.String constraintName,
java.util.Collection<org.eclipse.emf.ecore.EObject> contextObjects,
OCLExpression invariant,
OCLFactory oclFactory,
OppositeEndFinder oppositeEndFinder)
|
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis that return OCLExpression | |
|---|---|
OCLExpression |
FilterSynthesisImpl.getBodyForCall(OperationCallExp call)
Looks up if the OCLExpression that is called by the given OperationCallExp has already been visited. |
OCLExpression |
FilterSynthesisImpl.getOperationBody(org.eclipse.emf.ecore.EOperation operation)
|
| Methods in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis that return types with arguments of type OCLExpression | |
|---|---|
java.util.Map<OCLExpression,java.util.Set<PropertyCallExp>> |
FilterSynthesisImpl.getDerivedProperties()
|
| Methods in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis with parameters of type OCLExpression | |
|---|---|
java.util.Set<OperationCallExp> |
FilterSynthesisImpl.getCallsOf(OCLExpression operationBodyExpression)
Returns all the calls to the operation whose body is operationBodyExpression that are reachable from the root expression analyzed by this FilterSynthesisImpl. |
java.util.Set<Variable> |
FilterSynthesisImpl.getParameterVariablesUsedInBody(OCLExpression body)
|
java.util.Set<Variable> |
FilterSynthesisImpl.getSelfVariablesUsedInBody(OCLExpression body)
|
| Constructors in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis with parameters of type OCLExpression | |
|---|---|
FilterSynthesisImpl(OCLExpression expression,
boolean notifyNewContextElements,
OCL ocl)
|
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.impl |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.impl that return OCLExpression | |
|---|---|
protected OCLExpression |
ImpactAnalyzerImpl.getExpression()
|
OCLExpression |
OperationBodyToCallMapper.getOperationBody(org.eclipse.emf.ecore.EOperation operation)
Determines the body expression of an operation |
| Methods in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type OCLExpression | |
|---|---|
protected FilterSynthesisImpl |
ImpactAnalyzerImpl.createFilterSynthesis(OCLExpression expression,
boolean notifyOnNewContextElements,
OCL ocl)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
ActivationOption configuration,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
ActivationOption configuration,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
|
ImpactAnalyzer |
ImpactAnalyzerFactoryImpl.createImpactAnalyzer(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
OCLFactory oclFactory)
|
java.util.Set<OperationCallExp> |
OperationBodyToCallMapper.getCallsOf(OCLExpression operationBodyExpression)
Returns all the calls to the operation whose body is operationBodyExpression that are reachable from some scope. |
java.util.Set<Variable> |
OperationBodyToCallMapper.getParameterVariablesUsedInBody(OCLExpression body)
Determines the self variable as used by the operation body body. |
java.util.Set<Variable> |
OperationBodyToCallMapper.getSelfVariablesUsedInBody(OCLExpression body)
Determines the self variables as used by the operation body or top-level non-operation-body (e.g., invariant)
expression body. |
| Constructors in org.eclipse.ocl.examples.impactanalyzer.impl with parameters of type OCLExpression | |
|---|---|
ImpactAnalyzerImpl(OCLExpression expression,
boolean notifyOnNewContextElements,
ActivationOption configuration,
OCLFactory oclFactory)
Creates a new impact analyzer for the OCL expression given. |
|
ImpactAnalyzerImpl(OCLExpression expression,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
|
|
ImpactAnalyzerImpl(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
ActivationOption configuration,
OCLFactory oclFactory)
|
|
ImpactAnalyzerImpl(OCLExpression expression,
org.eclipse.emf.ecore.EClass context,
boolean notifyOnNewContextElements,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
|
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.instanceScope |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return OCLExpression | |
|---|---|
protected OCLExpression |
AbstractTracer.commonCompositionParent(OCLExpression second)
This method is a shortcut for AbstractTracer.commonCompositionParent(OCLExpression, OCLExpression) that uses AbstractTracer.getExpression() as the origin. |
protected static OCLExpression |
AbstractTracer.commonCompositionParent(OCLExpression first,
OCLExpression second)
This method finds the common composition parent of the two given OCLExpressions. |
protected OCLExpression |
AbstractTracer.getRootExpression()
There are a few known idiosyncrasies in the OCL "composition" hierarchy. |
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope that return types with arguments of type OCLExpression | |
|---|---|
java.util.Set<OCLExpression> |
AbstractNavigationStep.getDebugInfo()
|
java.util.Set<OCLExpression> |
NavigationStep.getDebugInfo()
Optionally, a navigation step may tell for which OCL expression it was mainly created. |
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type OCLExpression | |
|---|---|
void |
AbstractNavigationStep.addExpressionForWhichThisIsNavigationStep(OCLExpression oclExpression)
|
void |
NavigationStep.addExpressionForWhichThisIsNavigationStep(OCLExpression oclExpression)
Adds oclExpression as an expression for which this is the computed
navigation step. |
protected OCLExpression |
AbstractTracer.commonCompositionParent(OCLExpression second)
This method is a shortcut for AbstractTracer.commonCompositionParent(OCLExpression, OCLExpression) that uses AbstractTracer.getExpression() as the origin. |
protected static OCLExpression |
AbstractTracer.commonCompositionParent(OCLExpression first,
OCLExpression second)
This method finds the common composition parent of the two given OCLExpressions. |
IndirectingStep |
PathCache.createIndirectingStepFor(OCLExpression expr,
java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor)
Creates a navigation step of type IndirectingStep which can be filled in later by the cliend and enters the
placeholder step into this cache for expr. |
protected abstract StepType |
AbstractPathCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
protected NavigationStep |
PathCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
protected Tracer |
InstanceScopeAnalysis.createTracer(OCLExpression expression,
java.util.Stack<java.lang.String> tuplePartNames,
OCLFactory oclFactory)
Factory method that creates an instance of some Tracer-implementing class specific to the type of the OCL
expression. |
protected static java.util.Set<Variable> |
AbstractTracer.getAllVariablesInScope(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper)
|
StepType |
AbstractPathCache.getOrCreateNavigationPath(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
StepType |
AbstractPathCache.getPathForNode(OCLExpression subexpression,
java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor)
|
protected java.util.Set<Variable> |
AbstractTracer.getVariablesIntroducedBetweenHereAnd(OCLExpression parent,
OperationBodyToCallMapper operationBodyToCallMapper)
This method is a shortcut for AbstractTracer.variablesIntroducedBetween(OCLExpression, OCLExpression, OperationBodyToCallMapper) that uses AbstractTracer.getExpression() as the origin. |
protected static java.util.Set<Variable> |
AbstractTracer.getVariablesScopedByExpression(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper)
|
protected NavigationStep |
PathCache.navigationStepForBranch(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression expression,
java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor,
boolean requireExactMatchForSourceType,
NavigationStep... steps)
A non-caching, no-cache-lookup factory operation for a branching step for steps. |
protected NavigationStep |
PathCache.navigationStepFromSequence(OCLExpression expression,
java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor,
NavigationStep... steps)
A factory method for NavigationSteps that combines a sequence of navigation steps into a single new one. |
void |
PathCache.put(OCLExpression subexpression,
java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor,
NavigationStep path)
Also adds path to PathCache.allNavigationSteps. |
void |
AbstractPathCache.put(OCLExpression subexpression,
java.util.Stack<java.lang.String> tupleLiteralPartNamesToLookFor,
StepType path)
Also adds path to #allSteps. |
protected java.util.Set<Variable> |
AbstractTracer.variablesIntroducedBetween(OCLExpression origin,
OCLExpression parent,
OperationBodyToCallMapper operationBodyToCallMapper)
This method returns all variables introduced by parent or any contained expression along the containment
hierarchy, down to origin. |
| Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope with parameters of type OCLExpression | |
|---|---|
AbsoluteNavigationStep(org.eclipse.emf.ecore.EClass targetType,
OCLExpression debugInfo)
|
|
AbstractNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression debugInfo)
|
|
AllInstancesNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression debugInfo,
OppositeEndFinder oppositeEndFinder)
Constructs a non- absolute navigation step that computes all instances of
targetType and all its direct and indirect subtypes, if the fromObject passed to
AbstractNavigationStep.navigate(Set, TracebackCache, Notification) conforms to the sourceType. |
|
AssociationNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
org.eclipse.emf.ecore.EReference toEnd,
OCLExpression debugInfo)
|
|
BranchingNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression debugInfo,
boolean requireExactMatchForSourceType,
NavigationStep... parallelSteps)
|
|
CompositeNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression debugInfo,
NavigationStep... steps)
|
|
EmptyResultNavigationStep(OCLExpression debugInfo)
|
|
IdentityNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression oclExpression)
|
|
IndirectingStep(OCLExpression debugInfo)
|
|
InstanceScopeAnalysis(OCLExpression expression,
org.eclipse.emf.ecore.EClass exprContext,
FilterSynthesisImpl filterSynthesizer,
OppositeEndFinder oppositeEndFinder,
ActivationOption configuration,
OCLFactory oclFactory)
|
|
InstanceScopeAnalysis(OCLExpression expression,
org.eclipse.emf.ecore.EClass exprContext,
FilterSynthesisImpl filterSynthesizer,
OppositeEndFinder oppositeEndFinder,
PartialEvaluatorImpl partialEvaluator,
ActivationOption configuration,
OCLFactory oclFactory,
PathCache pathCache,
TracebackStepCache tracebackStepCache)
|
|
NavigationStepSequence(OCLExpression debugInfo,
NavigationStep... steps)
Because some NavigationSteps such as IndirectingStep may change
their source/target type as they get lazily initialized, this constructor passes
on null as source/target type. |
|
OppositePropertyNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
org.eclipse.emf.ecore.EStructuralFeature property,
OCLExpression debugInfo,
OppositeEndFinder oppositeEndFinder)
|
|
RefImmediateCompositeNavigationStep(org.eclipse.emf.ecore.EClass sourceType,
org.eclipse.emf.ecore.EClass targetType,
OCLExpression debugInfo)
|
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback |
|---|
| Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with type parameters of type OCLExpression | |
|---|---|
class |
AbstractTracebackStep<E extends OCLExpression>
|
class |
BranchingTracebackStep<E extends OCLExpression>
|
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback that return OCLExpression | |
|---|---|
protected OCLExpression |
VariableTracebackStep.getRootExpression(OCLExpression e)
There are a few known idiosyncrasies in the OCL "composition" hierarchy. |
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type OCLExpression | |
|---|---|
protected TracebackStep |
TracebackStepCache.createStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
OCLFactory oclFactory)
|
protected AbstractTracebackStep.TracebackStepAndScopeChange |
AbstractTracebackStep.createTracebackStepAndScopeChange(OCLExpression sourceExpression,
OCLExpression targetExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache)
Creates a new AbstractTracebackStep.TracebackStepAndScopeChange} object. |
protected AbstractTracebackStep.TracebackStepAndScopeChangeWithOperationCallExp |
AbstractTracebackStep.createTracebackStepAndScopeChange(OCLExpression sourceExpression,
OCLExpression targetExpression,
OperationCallExp call,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache)
Creates a new AbstractTracebackStep.TracebackStepAndScopeChange} object, remembering an OperationCallExp to which the
results produced by this step are specific. |
protected static java.util.Set<Variable> |
AbstractTracebackStep.getAllVariablesInScope(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper)
Starting from e and ascending its containment hierarchy, adds to the resulting set all variables that are scoped by
any of the expressions visited. |
protected OCLExpression |
VariableTracebackStep.getRootExpression(OCLExpression e)
There are a few known idiosyncrasies in the OCL "composition" hierarchy. |
protected static java.util.Set<Variable> |
AbstractTracebackStep.getVariablesScopedByExpression(OCLExpression e,
OperationBodyToCallMapper operationBodyToCallMapper)
|
| Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.traceback with parameters of type OCLExpression | |
|---|---|
EmptyTracebackStep(OCLExpression sourceExpression,
org.eclipse.emf.ecore.EClass context,
OperationBodyToCallMapper operationBodyToCallMapper,
java.util.Stack<java.lang.String> tupleLiteralNamesToLookFor,
TracebackStepCache tracebackStepCache,
UnusedEvaluationRequestFactory unusedEvaluationRequestFactory,
OCLFactory oclFactory)
|
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that return OCLExpression | |
|---|---|
OCLExpression |
UnusedEvaluationRequestValue.getExpression()
|
| Methods in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type OCLExpression | |
|---|---|
protected UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.createUnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots)
|
protected UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.createUnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots,
java.util.Set<VariableExp> inevitableVariableUsages)
|
UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots)
|
UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots,
java.util.Set<VariableExp> inevitableVariableUsages)
|
protected UnusedEvaluationRequest |
UnusedEvaluationRequestFactory.lookUp(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots)
|
| Constructors in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation with parameters of type OCLExpression | |
|---|---|
PartialEvaluationVisitorImplNoAllInstances(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,
EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> evalEnv,
java.util.Map<? extends org.eclipse.emf.ecore.EClass,? extends java.util.Set<? extends org.eclipse.emf.ecore.EObject>> extentMap,
OCLExpression sourceExpression,
java.lang.Object valueOfSourceExpression,
org.eclipse.emf.common.notify.Notification atPre)
|
|
UnusedEvaluationRequest(OCLExpression expression,
java.lang.Object resultIndicatingUnused,
java.util.Map<Variable,java.lang.Object> inferredVariableValues,
java.util.Set<Variable> slots,
java.util.Set<VariableExp> inevitableVariableUsages)
Must not be called from anywhere except UnusedEvaluationRequestFactory.getUnusedEvaluationRequest(OCLExpression, Object, Map, Set)
because resulting instances need to be managed as their equality and hash code fall back to their identity. |
|
| Uses of OCLExpression in org.eclipse.ocl.examples.impactanalyzer.util |
|---|
| Methods in org.eclipse.ocl.examples.impactanalyzer.util that return OCLExpression | |
|---|---|
static OCLExpression |
OclHelper.getRootExpression(org.eclipse.emf.ecore.EObject x)
|
| Methods in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type OCLExpression | |
|---|---|
static HighlightingToStringVisitor |
HighlightingToStringVisitor.getInstance(org.eclipse.emf.ecore.EObject element,
OCLExpression expressionToHighlight)
|
| Constructors in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type OCLExpression | |
|---|---|
HighlightingToStringVisitor(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,
OCLExpression expressionToHighlight)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||