org.eclipse.ocl.pivot.internal.manager

Class FlowAnalysis.AbstractDeducer

java.lang.Object

org.eclipse.ocl.pivot.util.AbstractVisitor<R,C>

org.eclipse.ocl.pivot.util.AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>

org.eclipse.ocl.pivot.internal.manager.FlowAnalysis.AbstractDeducer

All Implemented Interfaces:

Visitor<java.lang.Boolean>

Direct Known Subclasses:

FlowAnalysis.DeducerFromFalse, FlowAnalysis.DeducerFromNull, FlowAnalysis.DeducerFromTrue

Enclosing class:

FlowAnalysis

protected abstract static class FlowAnalysis.AbstractDeducer
extends AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>

A deducer performs a reverse evaluation of an expression whose result is known and defined by the derived class. Each term is visited returning true/false/null according to whether the term confirms or contradicts or is unconstrained by the required result.

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

context

Constructor Summary

Constructors

Constructor and Description
AbstractDeducer(FlowAnalysis flowAnalysis)

Method Summary

Modifier and Type	Method and Description
void	addToBeDeduced(OCLExpression object)
boolean	deduceNext()
protected boolean	isAlreadyNonNull(OCLExpression asExpression) Return true if asExpression is-non-null using the prevailing state of the analysis - avoiding a potentially infinite recursion of nested analyses.
protected boolean	isAlreadyNull(OCLExpression asExpression) Return true if asExpression is-null using the prevailing state of the analysis - avoiding a potentially infinite recursion of nested analyses.
java.lang.Boolean	visitBooleanLiteralExp(BooleanLiteralExp object)
java.lang.Boolean	visiting(Visitable visitable) Return the result of visiting a visitable for which no more specific pivot type method is available.
java.lang.Boolean	visitNullLiteralExp(NullLiteralExp object)
java.lang.Boolean	visitOCLExpression(OCLExpression object)

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractExtendingVisitor

visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, visitCallExp, visitCallOperationAction, visitClass, visitCollectionItem, visitCollectionLiteralExp, visitCollectionLiteralPart, visitCollectionRange, visitCollectionType, visitComment, visitCompleteClass, visitCompleteEnvironment, visitCompleteModel, visitCompletePackage, visitConnectionPointReference, visitConstraint, visitDataType, visitDetail, visitDynamicBehavior, visitDynamicElement, visitDynamicProperty, visitDynamicType, visitDynamicValueSpecification, visitElement, visitElementExtension, visitEnumeration, visitEnumerationLiteral, visitEnumLiteralExp, visitExpressionInOCL, visitFeature, visitFeatureCallExp, visitFinalState, visitIfExp, visitImport, visitInstanceSpecification, visitIntegerLiteralExp, visitInvalidLiteralExp, visitInvalidType, visitIterateExp, visitIteration, visitIteratorExp, visitIteratorVariable, visitLambdaType, visitLanguageExpression, visitLetExp, visitLetVariable, visitLibrary, visitLiteralExp, visitLoopExp, visitMapLiteralExp, visitMapLiteralPart, visitMapType, visitMessageExp, visitMessageType, visitModel, visitNamedElement, visitNamespace, visitNavigationCallExp, visitNumericLiteralExp, visitOperation, visitOperationCallExp, visitOppositePropertyCallExp, visitOrderedSetType, visitOrphanCompletePackage, visitPackage, visitParameter, visitParameterVariable, visitPrecedence, visitPrimitiveCompletePackage, visitPrimitiveLiteralExp, visitPrimitiveType, visitProfile, visitProfileApplication, visitProperty, visitPropertyCallExp, visitPseudostate, visitRealLiteralExp, visitRegion, visitResultVariable, visitSelfType, visitSendSignalAction, visitSequenceType, visitSetType, visitShadowExp, visitShadowPart, visitSignal, visitSlot, visitStandardLibrary, visitState, visitStateExp, visitStateMachine, visitStereotype, visitStereotypeExtender, visitStringLiteralExp, visitTemplateableElement, visitTemplateBinding, visitTemplateParameter, visitTemplateParameterSubstitution, visitTemplateSignature, visitTransition, visitTrigger, visitTupleLiteralExp, visitTupleLiteralPart, visitTupleType, visitType, visitTypedElement, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitValueSpecification, visitVariable, visitVariableDeclaration, visitVariableExp, visitVertex, visitVoidType, visitWildcardType

Methods inherited from class org.eclipse.ocl.pivot.util.AbstractVisitor

getAdapter, safeVisit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitor

getAdapter

Constructor Detail

AbstractDeducer

public AbstractDeducer(@NonNull
                       FlowAnalysis flowAnalysis)

Method Detail

addToBeDeduced

public void addToBeDeduced(@NonNull
                           OCLExpression object)

deduceNext

public boolean deduceNext()

isAlreadyNonNull

protected boolean isAlreadyNonNull(@NonNull
                                   OCLExpression asExpression)

Return true if asExpression is-non-null using the prevailing state of the analysis - avoiding a potentially infinite recursion of nested analyses.

isAlreadyNull

protected boolean isAlreadyNull(@NonNull
                                OCLExpression asExpression)

Return true if asExpression is-null using the prevailing state of the analysis - avoiding a potentially infinite recursion of nested analyses.

visiting

@Nullable
public java.lang.Boolean visiting(@NonNull
                                             Visitable visitable)

Description copied from interface: Visitor

Return the result of visiting a visitable for which no more specific pivot type method is available.

visitBooleanLiteralExp

@Nullable
public java.lang.Boolean visitBooleanLiteralExp(@NonNull
                                                           BooleanLiteralExp object)

Specified by:

visitBooleanLiteralExp in interface Visitor<java.lang.Boolean>

Overrides:

visitBooleanLiteralExp in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>

visitNullLiteralExp

@Nullable
public java.lang.Boolean visitNullLiteralExp(@NonNull
                                                        NullLiteralExp object)

Specified by:

visitNullLiteralExp in interface Visitor<java.lang.Boolean>

Overrides:

visitNullLiteralExp in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>

visitOCLExpression

@Nullable
public java.lang.Boolean visitOCLExpression(@NonNull
                                                       OCLExpression object)

Specified by:

visitOCLExpression in interface Visitor<java.lang.Boolean>

Overrides:

visitOCLExpression in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>