org.checkerframework.qualframework.base.dataflow

Class QualTransfer<Q>

java.lang.Object

org.checkerframework.qualframework.base.dataflow.QualTransfer<Q>

All Implemented Interfaces:

TransferFunction<QualValue<Q>,QualStore<Q>>, NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

Direct Known Subclasses:

RegexQualifiedTransfer, RegexQualifiedTransfer

public class QualTransfer<Q>
extends Object
implements TransferFunction<QualValue<Q>,QualStore<Q>>

A TransferFunction for the Qual Framework. Extenders should override the methods of interest. The default for each method is to call the QualTransferAdapter which calls the corresponding method in CFTransfer.

Field Summary

Fields

Modifier and Type	Field and Description
protected QualTransferAdapter<Q>	adapter
protected QualAnalysis<Q>	analysis

Constructor Summary

Constructors

Constructor and Description
QualTransfer(QualAnalysis<Q> analysis)

Method Summary

Modifier and Type	Method and Description
QualStore<Q>	initialStore(UnderlyingAST underlyingAST, List<LocalVariableNode> parameters)
void	setAdapter(QualTransferAdapter<Q> adapter)
TransferResult<QualValue<Q>,QualStore<Q>>	visitArrayAccess(ArrayAccessNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitArrayCreation(ArrayCreationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitArrayType(ArrayTypeNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitAssertionError(AssertionErrorNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitAssignment(AssignmentNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitBitwiseAnd(BitwiseAndNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitBitwiseComplement(BitwiseComplementNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitBitwiseOr(BitwiseOrNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitBitwiseXor(BitwiseXorNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitBooleanLiteral(BooleanLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitCase(CaseNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitCharacterLiteral(CharacterLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitClassName(ClassNameNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitConditionalAnd(ConditionalAndNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitConditionalNot(ConditionalNotNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitConditionalOr(ConditionalOrNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitDoubleLiteral(DoubleLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitEqualTo(EqualToNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitExplicitThisLiteral(ExplicitThisLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitFieldAccess(FieldAccessNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitFloatingDivision(FloatingDivisionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitFloatingRemainder(FloatingRemainderNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitFloatLiteral(FloatLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitGreaterThan(GreaterThanNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitGreaterThanOrEqual(GreaterThanOrEqualNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitImplicitThisLiteral(ImplicitThisLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitInstanceOf(InstanceOfNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitIntegerDivision(IntegerDivisionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitIntegerLiteral(IntegerLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitIntegerRemainder(IntegerRemainderNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitLeftShift(LeftShiftNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitLessThan(LessThanNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitLessThanOrEqual(LessThanOrEqualNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitLocalVariable(LocalVariableNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitLongLiteral(LongLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitMarker(MarkerNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitMemberReference(FunctionalInterfaceNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitMethodAccess(MethodAccessNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitMethodInvocation(MethodInvocationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNarrowingConversion(NarrowingConversionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNotEqual(NotEqualNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNullChk(NullChkNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNullLiteral(NullLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNumericalAddition(NumericalAdditionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNumericalMinus(NumericalMinusNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNumericalMultiplication(NumericalMultiplicationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNumericalPlus(NumericalPlusNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitNumericalSubtraction(NumericalSubtractionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitObjectCreation(ObjectCreationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitPackageName(PackageNameNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitParameterizedType(ParameterizedTypeNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitPrimitiveType(PrimitiveTypeNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitReturn(ReturnNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitShortLiteral(ShortLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitSignedRightShift(SignedRightShiftNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitStringConcatenate(StringConcatenateNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitStringConcatenateAssignment(StringConcatenateAssignmentNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitStringConversion(StringConversionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitStringLiteral(StringLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitSuper(SuperNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitSynchronized(SynchronizedNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitTernaryExpression(TernaryExpressionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitThrow(ThrowNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitTypeCast(TypeCastNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitUnsignedRightShift(UnsignedRightShiftNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitVariableDeclaration(VariableDeclarationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)
TransferResult<QualValue<Q>,QualStore<Q>>	visitWideningConversion(WideningConversionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)

Methods inherited from class java.lang.Object

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

Field Detail

analysis

protected final QualAnalysis<Q> analysis

adapter

protected QualTransferAdapter<Q> adapter

Constructor Detail

QualTransfer

public QualTransfer(QualAnalysis<Q> analysis)

Method Detail

setAdapter

public void setAdapter(QualTransferAdapter<Q> adapter)

initialStore

public QualStore<Q> initialStore(UnderlyingAST underlyingAST,
                                 List<LocalVariableNode> parameters)

Specified by:

initialStore in interface TransferFunction<QualValue<Q>,QualStore<Q>>

Returns:

the initial store to be used by the org.checkerframework.dataflow analysis. parameters is only set if the underlying AST is a method.

visitShortLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitShortLiteral(ShortLiteralNode n,
                                                                   TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitShortLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitIntegerLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitIntegerLiteral(IntegerLiteralNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitIntegerLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitLongLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitLongLiteral(LongLiteralNode n,
                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitLongLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitFloatLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitFloatLiteral(FloatLiteralNode n,
                                                                   TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitFloatLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitDoubleLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitDoubleLiteral(DoubleLiteralNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitDoubleLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitBooleanLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitBooleanLiteral(BooleanLiteralNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitBooleanLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitCharacterLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitCharacterLiteral(CharacterLiteralNode n,
                                                                       TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitCharacterLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitStringLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitStringLiteral(StringLiteralNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitStringLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNullLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitNullLiteral(NullLiteralNode n,
                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNullLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNumericalMinus

public TransferResult<QualValue<Q>,QualStore<Q>> visitNumericalMinus(NumericalMinusNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNumericalMinus in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNumericalPlus

public TransferResult<QualValue<Q>,QualStore<Q>> visitNumericalPlus(NumericalPlusNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNumericalPlus in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitBitwiseComplement

public TransferResult<QualValue<Q>,QualStore<Q>> visitBitwiseComplement(BitwiseComplementNode n,
                                                                        TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitBitwiseComplement in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNullChk

public TransferResult<QualValue<Q>,QualStore<Q>> visitNullChk(NullChkNode n,
                                                              TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNullChk in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitStringConcatenate

public TransferResult<QualValue<Q>,QualStore<Q>> visitStringConcatenate(StringConcatenateNode n,
                                                                        TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitStringConcatenate in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNumericalAddition

public TransferResult<QualValue<Q>,QualStore<Q>> visitNumericalAddition(NumericalAdditionNode n,
                                                                        TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNumericalAddition in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNumericalSubtraction

public TransferResult<QualValue<Q>,QualStore<Q>> visitNumericalSubtraction(NumericalSubtractionNode n,
                                                                           TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNumericalSubtraction in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNumericalMultiplication

public TransferResult<QualValue<Q>,QualStore<Q>> visitNumericalMultiplication(NumericalMultiplicationNode n,
                                                                              TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNumericalMultiplication in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitIntegerDivision

public TransferResult<QualValue<Q>,QualStore<Q>> visitIntegerDivision(IntegerDivisionNode n,
                                                                      TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitIntegerDivision in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitFloatingDivision

public TransferResult<QualValue<Q>,QualStore<Q>> visitFloatingDivision(FloatingDivisionNode n,
                                                                       TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitFloatingDivision in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitIntegerRemainder

public TransferResult<QualValue<Q>,QualStore<Q>> visitIntegerRemainder(IntegerRemainderNode n,
                                                                       TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitIntegerRemainder in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitFloatingRemainder

public TransferResult<QualValue<Q>,QualStore<Q>> visitFloatingRemainder(FloatingRemainderNode n,
                                                                        TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitFloatingRemainder in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitLeftShift

public TransferResult<QualValue<Q>,QualStore<Q>> visitLeftShift(LeftShiftNode n,
                                                                TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitLeftShift in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitSignedRightShift

public TransferResult<QualValue<Q>,QualStore<Q>> visitSignedRightShift(SignedRightShiftNode n,
                                                                       TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitSignedRightShift in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitUnsignedRightShift

public TransferResult<QualValue<Q>,QualStore<Q>> visitUnsignedRightShift(UnsignedRightShiftNode n,
                                                                         TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitUnsignedRightShift in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitBitwiseAnd

public TransferResult<QualValue<Q>,QualStore<Q>> visitBitwiseAnd(BitwiseAndNode n,
                                                                 TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitBitwiseAnd in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitBitwiseOr

public TransferResult<QualValue<Q>,QualStore<Q>> visitBitwiseOr(BitwiseOrNode n,
                                                                TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitBitwiseOr in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitBitwiseXor

public TransferResult<QualValue<Q>,QualStore<Q>> visitBitwiseXor(BitwiseXorNode n,
                                                                 TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitBitwiseXor in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitStringConcatenateAssignment

public TransferResult<QualValue<Q>,QualStore<Q>> visitStringConcatenateAssignment(StringConcatenateAssignmentNode n,
                                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitStringConcatenateAssignment in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitLessThan

public TransferResult<QualValue<Q>,QualStore<Q>> visitLessThan(LessThanNode n,
                                                               TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitLessThan in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitLessThanOrEqual

public TransferResult<QualValue<Q>,QualStore<Q>> visitLessThanOrEqual(LessThanOrEqualNode n,
                                                                      TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitLessThanOrEqual in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitGreaterThan

public TransferResult<QualValue<Q>,QualStore<Q>> visitGreaterThan(GreaterThanNode n,
                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitGreaterThan in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitGreaterThanOrEqual

public TransferResult<QualValue<Q>,QualStore<Q>> visitGreaterThanOrEqual(GreaterThanOrEqualNode n,
                                                                         TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitGreaterThanOrEqual in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitEqualTo

public TransferResult<QualValue<Q>,QualStore<Q>> visitEqualTo(EqualToNode n,
                                                              TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitEqualTo in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNotEqual

public TransferResult<QualValue<Q>,QualStore<Q>> visitNotEqual(NotEqualNode n,
                                                               TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNotEqual in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitConditionalAnd

public TransferResult<QualValue<Q>,QualStore<Q>> visitConditionalAnd(ConditionalAndNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitConditionalAnd in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitConditionalOr

public TransferResult<QualValue<Q>,QualStore<Q>> visitConditionalOr(ConditionalOrNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitConditionalOr in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitConditionalNot

public TransferResult<QualValue<Q>,QualStore<Q>> visitConditionalNot(ConditionalNotNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitConditionalNot in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitTernaryExpression

public TransferResult<QualValue<Q>,QualStore<Q>> visitTernaryExpression(TernaryExpressionNode n,
                                                                        TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitTernaryExpression in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitAssignment

public TransferResult<QualValue<Q>,QualStore<Q>> visitAssignment(AssignmentNode n,
                                                                 TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitAssignment in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitLocalVariable

public TransferResult<QualValue<Q>,QualStore<Q>> visitLocalVariable(LocalVariableNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitLocalVariable in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitVariableDeclaration

public TransferResult<QualValue<Q>,QualStore<Q>> visitVariableDeclaration(VariableDeclarationNode n,
                                                                          TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitVariableDeclaration in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitFieldAccess

public TransferResult<QualValue<Q>,QualStore<Q>> visitFieldAccess(FieldAccessNode n,
                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitFieldAccess in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitMethodAccess

public TransferResult<QualValue<Q>,QualStore<Q>> visitMethodAccess(MethodAccessNode n,
                                                                   TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitMethodAccess in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitArrayAccess

public TransferResult<QualValue<Q>,QualStore<Q>> visitArrayAccess(ArrayAccessNode n,
                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitArrayAccess in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitImplicitThisLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitImplicitThisLiteral(ImplicitThisLiteralNode n,
                                                                          TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitImplicitThisLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitExplicitThisLiteral

public TransferResult<QualValue<Q>,QualStore<Q>> visitExplicitThisLiteral(ExplicitThisLiteralNode n,
                                                                          TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitExplicitThisLiteral in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitSuper

public TransferResult<QualValue<Q>,QualStore<Q>> visitSuper(SuperNode n,
                                                            TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitSuper in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitReturn

public TransferResult<QualValue<Q>,QualStore<Q>> visitReturn(ReturnNode n,
                                                             TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitReturn in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitStringConversion

public TransferResult<QualValue<Q>,QualStore<Q>> visitStringConversion(StringConversionNode n,
                                                                       TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitStringConversion in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitNarrowingConversion

public TransferResult<QualValue<Q>,QualStore<Q>> visitNarrowingConversion(NarrowingConversionNode n,
                                                                          TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitNarrowingConversion in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitWideningConversion

public TransferResult<QualValue<Q>,QualStore<Q>> visitWideningConversion(WideningConversionNode n,
                                                                         TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitWideningConversion in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitInstanceOf

public TransferResult<QualValue<Q>,QualStore<Q>> visitInstanceOf(InstanceOfNode n,
                                                                 TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitInstanceOf in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitTypeCast

public TransferResult<QualValue<Q>,QualStore<Q>> visitTypeCast(TypeCastNode n,
                                                               TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitTypeCast in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitSynchronized

public TransferResult<QualValue<Q>,QualStore<Q>> visitSynchronized(SynchronizedNode n,
                                                                   TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitSynchronized in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitAssertionError

public TransferResult<QualValue<Q>,QualStore<Q>> visitAssertionError(AssertionErrorNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitAssertionError in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitThrow

public TransferResult<QualValue<Q>,QualStore<Q>> visitThrow(ThrowNode n,
                                                            TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitThrow in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitCase

public TransferResult<QualValue<Q>,QualStore<Q>> visitCase(CaseNode n,
                                                           TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitCase in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitMethodInvocation

public TransferResult<QualValue<Q>,QualStore<Q>> visitMethodInvocation(MethodInvocationNode n,
                                                                       TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitMethodInvocation in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitObjectCreation

public TransferResult<QualValue<Q>,QualStore<Q>> visitObjectCreation(ObjectCreationNode n,
                                                                     TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitObjectCreation in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitMemberReference

public TransferResult<QualValue<Q>,QualStore<Q>> visitMemberReference(FunctionalInterfaceNode n,
                                                                      TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitMemberReference in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitArrayCreation

public TransferResult<QualValue<Q>,QualStore<Q>> visitArrayCreation(ArrayCreationNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitArrayCreation in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitArrayType

public TransferResult<QualValue<Q>,QualStore<Q>> visitArrayType(ArrayTypeNode n,
                                                                TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitArrayType in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitPrimitiveType

public TransferResult<QualValue<Q>,QualStore<Q>> visitPrimitiveType(PrimitiveTypeNode n,
                                                                    TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitPrimitiveType in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitClassName

public TransferResult<QualValue<Q>,QualStore<Q>> visitClassName(ClassNameNode n,
                                                                TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitClassName in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitPackageName

public TransferResult<QualValue<Q>,QualStore<Q>> visitPackageName(PackageNameNode n,
                                                                  TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitPackageName in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitParameterizedType

public TransferResult<QualValue<Q>,QualStore<Q>> visitParameterizedType(ParameterizedTypeNode n,
                                                                        TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitParameterizedType in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>

visitMarker

public TransferResult<QualValue<Q>,QualStore<Q>> visitMarker(MarkerNode n,
                                                             TransferInput<QualValue<Q>,QualStore<Q>> p)

Specified by:

visitMarker in interface NodeVisitor<TransferResult<QualValue<Q>,QualStore<Q>>,TransferInput<QualValue<Q>,QualStore<Q>>>