org.eclipse.ocl.pivot.internal.manager

Class FlowAnalysis.DeducerFromFalse

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

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

All Implemented Interfaces:

Visitor<java.lang.Boolean>

Enclosing class:

FlowAnalysis

protected static class FlowAnalysis.DeducerFromFalse
extends FlowAnalysis.AbstractDeducer

Field Summary

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

context

Constructor Summary

Constructors

Constructor and Description
DeducerFromFalse(FlowAnalysis flowAnalysis)

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	visitBooleanLiteralExp(BooleanLiteralExp object)
java.lang.Boolean	visitOperationCallExp(OperationCallExp object)

Methods inherited from class org.eclipse.ocl.pivot.internal.manager.FlowAnalysis.AbstractDeducer

addToBeDeduced, deduceNext, isAlreadyNonNull, isAlreadyNull, visiting, visitNullLiteralExp, visitOCLExpression

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, 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

DeducerFromFalse

public DeducerFromFalse(@NonNull
                        FlowAnalysis flowAnalysis)

Method Detail

visitBooleanLiteralExp

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

Specified by:

visitBooleanLiteralExp in interface Visitor<java.lang.Boolean>

Overrides:

visitBooleanLiteralExp in class FlowAnalysis.AbstractDeducer

visitOperationCallExp

@Nullable
public java.lang.Boolean visitOperationCallExp(@NonNull
                                                          OperationCallExp object)

Specified by:

visitOperationCallExp in interface Visitor<java.lang.Boolean>

Overrides:

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