protected static class FlowAnalysis.DeducerFromTrue extends FlowAnalysis.AbstractDeducer
context
Constructor and Description |
---|
DeducerFromTrue(FlowAnalysis flowAnalysis) |
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
visitBooleanLiteralExp(BooleanLiteralExp object) |
java.lang.Boolean |
visitOperationCallExp(OperationCallExp object) |
addToBeDeduced, deduceNext, isAlreadyNonNull, isAlreadyNull, visiting, visitNullLiteralExp, visitOCLExpression
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, 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 DeducerFromTrue(@NonNull FlowAnalysis flowAnalysis)
@Nullable public java.lang.Boolean visitBooleanLiteralExp(@NonNull BooleanLiteralExp object)
visitBooleanLiteralExp
in interface Visitor<java.lang.Boolean>
visitBooleanLiteralExp
in class FlowAnalysis.AbstractDeducer
@Nullable public java.lang.Boolean visitOperationCallExp(@NonNull OperationCallExp object)
visitOperationCallExp
in interface Visitor<java.lang.Boolean>
visitOperationCallExp
in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>