protected abstract static class FlowAnalysis.AbstractDeducer extends AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>
context
Constructor and Description |
---|
AbstractDeducer(FlowAnalysis flowAnalysis) |
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) |
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
getAdapter, safeVisit, visit
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAdapter
public AbstractDeducer(@NonNull FlowAnalysis flowAnalysis)
public void addToBeDeduced(@NonNull OCLExpression object)
public boolean deduceNext()
protected boolean isAlreadyNonNull(@NonNull OCLExpression asExpression)
protected boolean isAlreadyNull(@NonNull OCLExpression asExpression)
@Nullable public java.lang.Boolean visiting(@NonNull Visitable visitable)
Visitor
@Nullable public java.lang.Boolean visitBooleanLiteralExp(@NonNull BooleanLiteralExp object)
visitBooleanLiteralExp
in interface Visitor<java.lang.Boolean>
visitBooleanLiteralExp
in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>
@Nullable public java.lang.Boolean visitNullLiteralExp(@NonNull NullLiteralExp object)
visitNullLiteralExp
in interface Visitor<java.lang.Boolean>
visitNullLiteralExp
in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>
@Nullable public java.lang.Boolean visitOCLExpression(@NonNull OCLExpression object)
visitOCLExpression
in interface Visitor<java.lang.Boolean>
visitOCLExpression
in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>