protected static class FlowAnalysis.DeducerFromNull extends FlowAnalysis.AbstractDeducer
Modifier and Type | Field and Description |
---|---|
protected boolean |
isNull |
context
Constructor and Description |
---|
DeducerFromNull(FlowAnalysis flowAnalysis,
boolean isNull) |
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
visitCallExp(CallExp object) |
java.lang.Boolean |
visitNullLiteralExp(NullLiteralExp object) |
java.lang.Boolean |
visitVariableExp(VariableExp object) |
addToBeDeduced, deduceNext, isAlreadyNonNull, isAlreadyNull, visitBooleanLiteralExp, visiting, visitOCLExpression
visitAnnotation, visitAnyType, visitAssociationClass, visitAssociationClassCallExp, visitBagType, visitBehavior, 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, visitVertex, visitVoidType, visitWildcardType
getAdapter, safeVisit, visit
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAdapter
public DeducerFromNull(@NonNull FlowAnalysis flowAnalysis, boolean isNull)
@Nullable public java.lang.Boolean visitCallExp(@NonNull CallExp object)
visitCallExp
in interface Visitor<java.lang.Boolean>
visitCallExp
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 FlowAnalysis.AbstractDeducer
@Nullable public java.lang.Boolean visitVariableExp(@NonNull VariableExp object)
visitVariableExp
in interface Visitor<java.lang.Boolean>
visitVariableExp
in class AbstractExtendingVisitor<java.lang.Boolean,FlowAnalysis>