QualTransferAdapter

java.lang.Object
- org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<TransferResult<V,S>,TransferInput<V,S>>
- - org.checkerframework.framework.flow.CFAbstractTransfer<CFValue,CFStore,CFTransfer>
  - - org.checkerframework.framework.flow.CFTransfer
    - - org.checkerframework.qualframework.base.dataflow.QualTransferAdapter<Q>

All Implemented Interfaces:

TransferFunction<CFValue,CFStore>, NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
```
public class QualTransferAdapter<Q>
extends CFTransfer
```
QualTransferAdapter adapts the CFTransfer to a QualTransfer. It does this by converting TransferInputs and TransferResults backed by CFValue and CFStores to ones backed by QualValue and QualStores.

Field Summary
- Fields inherited from class org.checkerframework.framework.flow.CFAbstractTransfer
  analysis, sequentialSemantics

Constructor Summary

Constructors
Constructor and Description
`QualTransferAdapter(QualTransfer<Q> underlying, CFAbstractAnalysis<CFValue,CFStore,CFTransfer> analysis, QualAnalysis<Q> qualAnalysis)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`TransferInput<QualValue<Q>,QualStore<Q>>`	`convertCfToQualInput(TransferInput<CFValue,CFStore> transferInput)` Convert a TransferInput backed by CFValue and CFStores to one backed by QualValue and QualStores.
`TransferResult<QualValue<Q>,QualStore<Q>>`	`convertCfToQualResult(TransferResult<CFValue,CFStore> transferResult)` Convert a TransferResult backed by CFValue and CFStores to one backed by QualValue and QualStores.
`TransferInput<CFValue,CFStore>`	`convertQualToCfInput(TransferInput<QualValue<Q>,QualStore<Q>> transferInput)` Convert a TransferInput backed by QualValue and QualStores to one backed by CFValue and CFStores.
`TransferResult<CFValue,CFStore>`	`convertQualToCfResult(TransferResult<QualValue<Q>,QualStore<Q>> transferResult)` Convert a TransferResult backed by QualValue and QualStores to one backed by CFValue and CFStores.
`QualStore<Q>`	`superInitialStore(UnderlyingAST underlyingAST, List<LocalVariableNode> parameters)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitArrayAccess(ArrayAccessNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitArrayCreation(ArrayCreationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitArrayType(ArrayTypeNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitAssertionError(AssertionErrorNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitAssignment(AssignmentNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitBitwiseAnd(BitwiseAndNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitBitwiseComplement(BitwiseComplementNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitBitwiseOr(BitwiseOrNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitBitwiseXor(BitwiseXorNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitBooleanLiteral(BooleanLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitCase(CaseNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitCharacterLiteral(CharacterLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitClassName(ClassNameNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitConditionalAnd(ConditionalAndNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitConditionalNot(ConditionalNotNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitConditionalOr(ConditionalOrNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitDoubleLiteral(DoubleLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitEqualTo(EqualToNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitExplicitThisLiteral(ExplicitThisLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitFieldAccess(FieldAccessNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitFloatingDivision(FloatingDivisionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitFloatingRemainder(FloatingRemainderNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitFloatLiteral(FloatLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitGreaterThan(GreaterThanNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitGreaterThanOrEqual(GreaterThanOrEqualNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitImplicitThisLiteral(ImplicitThisLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitInstanceOf(InstanceOfNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitIntegerDivision(IntegerDivisionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitIntegerLiteral(IntegerLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitIntegerRemainder(IntegerRemainderNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitLeftShift(LeftShiftNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitLessThan(LessThanNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitLessThanOrEqual(LessThanOrEqualNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitLocalVariable(LocalVariableNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitLongLiteral(LongLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitMarker(MarkerNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitMemberReference(FunctionalInterfaceNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitMethodAccess(MethodAccessNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitMethodInvocation(MethodInvocationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNarrowingConversion(NarrowingConversionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNotEqual(NotEqualNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNullChk(NullChkNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNullLiteral(NullLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNumericalAddition(NumericalAdditionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNumericalMinus(NumericalMinusNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNumericalMultiplication(NumericalMultiplicationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNumericalPlus(NumericalPlusNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitNumericalSubtraction(NumericalSubtractionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitObjectCreation(ObjectCreationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitPackageName(PackageNameNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitParameterizedType(ParameterizedTypeNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitPrimitiveType(PrimitiveTypeNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitReturn(ReturnNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitShortLiteral(ShortLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitSignedRightShift(SignedRightShiftNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitStringConcatenate(StringConcatenateNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitStringConcatenateAssignment(StringConcatenateAssignmentNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitStringConversion(StringConversionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitStringLiteral(StringLiteralNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitSuper(SuperNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitSynchronized(SynchronizedNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitTernaryExpression(TernaryExpressionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitThrow(ThrowNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitTypeCast(TypeCastNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitUnsignedRightShift(UnsignedRightShiftNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitVariableDeclaration(VariableDeclarationNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<QualValue<Q>,QualStore<Q>>`	`superVisitWideningConversion(WideningConversionNode n, TransferInput<QualValue<Q>,QualStore<Q>> p)`
`TransferResult<CFValue,CFStore>`	`visitArrayAccess(ArrayAccessNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitArrayCreation(ArrayCreationNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitArrayType(ArrayTypeNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitAssertionError(AssertionErrorNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitAssignment(AssignmentNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitBitwiseAnd(BitwiseAndNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitBitwiseComplement(BitwiseComplementNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitBitwiseOr(BitwiseOrNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitBitwiseXor(BitwiseXorNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitBooleanLiteral(BooleanLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitCase(CaseNode n, TransferInput<CFValue,CFStore> p)` A case produces no value, but it may imply some facts about the argument to the switch statement.
`TransferResult<CFValue,CFStore>`	`visitCharacterLiteral(CharacterLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitClassName(ClassNameNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitConditionalAnd(ConditionalAndNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitConditionalNot(ConditionalNotNode n, TransferInput<CFValue,CFStore> p)` Revert the role of the 'thenStore' and 'elseStore'.
`TransferResult<CFValue,CFStore>`	`visitConditionalOr(ConditionalOrNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitDoubleLiteral(DoubleLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitEqualTo(EqualToNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitExplicitThisLiteral(ExplicitThisLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitFieldAccess(FieldAccessNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitFloatingDivision(FloatingDivisionNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitFloatingRemainder(FloatingRemainderNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitFloatLiteral(FloatLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitGreaterThan(GreaterThanNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitGreaterThanOrEqual(GreaterThanOrEqualNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitImplicitThisLiteral(ImplicitThisLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitInstanceOf(InstanceOfNode n, TransferInput<CFValue,CFStore> p)` Refine the operand of an instanceof check with more specific annotations if possible.
`TransferResult<CFValue,CFStore>`	`visitIntegerDivision(IntegerDivisionNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitIntegerLiteral(IntegerLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitIntegerRemainder(IntegerRemainderNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitLeftShift(LeftShiftNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitLessThan(LessThanNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitLessThanOrEqual(LessThanOrEqualNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitLocalVariable(LocalVariableNode n, TransferInput<CFValue,CFStore> p)` Use the most specific type information available according to the store.
`TransferResult<CFValue,CFStore>`	`visitLongLiteral(LongLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitMarker(MarkerNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitMemberReference(FunctionalInterfaceNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitMethodAccess(MethodAccessNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitMethodInvocation(MethodInvocationNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNarrowingConversion(NarrowingConversionNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNotEqual(NotEqualNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNullChk(NullChkNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNullLiteral(NullLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNumericalAddition(NumericalAdditionNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNumericalMinus(NumericalMinusNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNumericalMultiplication(NumericalMultiplicationNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNumericalPlus(NumericalPlusNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitNumericalSubtraction(NumericalSubtractionNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitObjectCreation(ObjectCreationNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitPackageName(PackageNameNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitParameterizedType(ParameterizedTypeNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitPrimitiveType(PrimitiveTypeNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitReturn(ReturnNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitShortLiteral(ShortLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitSignedRightShift(SignedRightShiftNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitStringConcatenate(StringConcatenateNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitStringConcatenateAssignment(StringConcatenateAssignmentNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitStringConversion(StringConversionNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitStringLiteral(StringLiteralNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitSuper(SuperNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitSynchronized(SynchronizedNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitTernaryExpression(TernaryExpressionNode n, TransferInput<CFValue,CFStore> p)` The resulting abstract value is the merge of the 'then' and 'else' branch.
`TransferResult<CFValue,CFStore>`	`visitThrow(ThrowNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitTypeCast(TypeCastNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitUnsignedRightShift(UnsignedRightShiftNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitVariableDeclaration(VariableDeclarationNode n, TransferInput<CFValue,CFStore> p)`
`TransferResult<CFValue,CFStore>`	`visitWideningConversion(WideningConversionNode n, TransferInput<CFValue,CFStore> p)`

Methods inherited from class org.checkerframework.framework.flow.CFAbstractTransfer
addInformationFromPreconditions, finishValue, finishValue, getTypeFactoryOfSubchecker, getValueFromFactory, getValueWithSameAnnotations, initialStore, isNotFullyInitializedReceiver, moreSpecificValue, processCommonAssignment, processConditionalPostconditions, processPostconditions, setFixedInitialStore, splitAssignments, strengthenAnnotationOfEqualTo, visitNode, visitThisLiteral

Methods inherited from class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
visitValueLiteral

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

QualTransferAdapter

public QualTransferAdapter(QualTransfer<Q> underlying,
                           CFAbstractAnalysis<CFValue,CFStore,CFTransfer> analysis,
                           QualAnalysis<Q> qualAnalysis)

Method Detail

convertCfToQualInput

public TransferInput<QualValue<Q>,QualStore<Q>> convertCfToQualInput(TransferInput<CFValue,CFStore> transferInput)

Convert a TransferInput backed by CFValue and CFStores to one backed by QualValue and QualStores.

convertQualToCfInput

public TransferInput<CFValue,CFStore> convertQualToCfInput(TransferInput<QualValue<Q>,QualStore<Q>> transferInput)

Convert a TransferInput backed by QualValue and QualStores to one backed by CFValue and CFStores.

convertQualToCfResult

public TransferResult<CFValue,CFStore> convertQualToCfResult(TransferResult<QualValue<Q>,QualStore<Q>> transferResult)

Convert a TransferResult backed by QualValue and QualStores to one backed by CFValue and CFStores.

convertCfToQualResult

public TransferResult<QualValue<Q>,QualStore<Q>> convertCfToQualResult(TransferResult<CFValue,CFStore> transferResult)

Convert a TransferResult backed by CFValue and CFStores to one backed by QualValue and QualStores.

superInitialStore

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

visitShortLiteral
```
public TransferResult<CFValue,CFStore> visitShortLiteral(ShortLiteralNode n,
                                                         TransferInput<CFValue,CFStore> p)
```
Specified by:

visitShortLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitShortLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitShortLiteral

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

visitIntegerLiteral
```
public TransferResult<CFValue,CFStore> visitIntegerLiteral(IntegerLiteralNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Specified by:

visitIntegerLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitIntegerLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitIntegerLiteral

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

visitLongLiteral
```
public TransferResult<CFValue,CFStore> visitLongLiteral(LongLiteralNode n,
                                                        TransferInput<CFValue,CFStore> p)
```
Specified by:

visitLongLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLongLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitLongLiteral

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

visitFloatLiteral
```
public TransferResult<CFValue,CFStore> visitFloatLiteral(FloatLiteralNode n,
                                                         TransferInput<CFValue,CFStore> p)
```
Specified by:

visitFloatLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitFloatLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitFloatLiteral

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

visitDoubleLiteral
```
public TransferResult<CFValue,CFStore> visitDoubleLiteral(DoubleLiteralNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Specified by:

visitDoubleLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitDoubleLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitDoubleLiteral

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

visitBooleanLiteral
```
public TransferResult<CFValue,CFStore> visitBooleanLiteral(BooleanLiteralNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Specified by:

visitBooleanLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBooleanLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitBooleanLiteral

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

visitCharacterLiteral
```
public TransferResult<CFValue,CFStore> visitCharacterLiteral(CharacterLiteralNode n,
                                                             TransferInput<CFValue,CFStore> p)
```
Specified by:

visitCharacterLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitCharacterLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitCharacterLiteral

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

visitStringLiteral
```
public TransferResult<CFValue,CFStore> visitStringLiteral(StringLiteralNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Specified by:

visitStringLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitStringLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitStringLiteral

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

visitNullLiteral
```
public TransferResult<CFValue,CFStore> visitNullLiteral(NullLiteralNode n,
                                                        TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNullLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNullLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNullLiteral

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

visitNumericalMinus
```
public TransferResult<CFValue,CFStore> visitNumericalMinus(NumericalMinusNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNumericalMinus in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalMinus in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNumericalMinus

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

visitNumericalPlus
```
public TransferResult<CFValue,CFStore> visitNumericalPlus(NumericalPlusNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNumericalPlus in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalPlus in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNumericalPlus

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

visitBitwiseComplement
```
public TransferResult<CFValue,CFStore> visitBitwiseComplement(BitwiseComplementNode n,
                                                              TransferInput<CFValue,CFStore> p)
```
Specified by:

visitBitwiseComplement in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseComplement in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitBitwiseComplement

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

visitNullChk
```
public TransferResult<CFValue,CFStore> visitNullChk(NullChkNode n,
                                                    TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNullChk in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNullChk in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNullChk

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

visitStringConcatenate
```
public TransferResult<CFValue,CFStore> visitStringConcatenate(StringConcatenateNode n,
                                                              TransferInput<CFValue,CFStore> p)
```
Specified by:

visitStringConcatenate in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitStringConcatenate in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitStringConcatenate

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

visitNumericalAddition
```
public TransferResult<CFValue,CFStore> visitNumericalAddition(NumericalAdditionNode n,
                                                              TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNumericalAddition in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalAddition in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNumericalAddition

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

visitNumericalSubtraction
```
public TransferResult<CFValue,CFStore> visitNumericalSubtraction(NumericalSubtractionNode n,
                                                                 TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNumericalSubtraction in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalSubtraction in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNumericalSubtraction

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

visitNumericalMultiplication
```
public TransferResult<CFValue,CFStore> visitNumericalMultiplication(NumericalMultiplicationNode n,
                                                                    TransferInput<CFValue,CFStore> p)
```
Specified by:

visitNumericalMultiplication in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitNumericalMultiplication in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitNumericalMultiplication

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

visitIntegerDivision
```
public TransferResult<CFValue,CFStore> visitIntegerDivision(IntegerDivisionNode n,
                                                            TransferInput<CFValue,CFStore> p)
```
Specified by:

visitIntegerDivision in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitIntegerDivision in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitIntegerDivision

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

visitFloatingDivision
```
public TransferResult<CFValue,CFStore> visitFloatingDivision(FloatingDivisionNode n,
                                                             TransferInput<CFValue,CFStore> p)
```
Specified by:

visitFloatingDivision in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitFloatingDivision in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitFloatingDivision

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

visitIntegerRemainder
```
public TransferResult<CFValue,CFStore> visitIntegerRemainder(IntegerRemainderNode n,
                                                             TransferInput<CFValue,CFStore> p)
```
Specified by:

visitIntegerRemainder in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitIntegerRemainder in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitIntegerRemainder

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

visitFloatingRemainder
```
public TransferResult<CFValue,CFStore> visitFloatingRemainder(FloatingRemainderNode n,
                                                              TransferInput<CFValue,CFStore> p)
```
Specified by:

visitFloatingRemainder in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitFloatingRemainder in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitFloatingRemainder

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

visitLeftShift
```
public TransferResult<CFValue,CFStore> visitLeftShift(LeftShiftNode n,
                                                      TransferInput<CFValue,CFStore> p)
```
Specified by:

visitLeftShift in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLeftShift in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitLeftShift

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

visitSignedRightShift
```
public TransferResult<CFValue,CFStore> visitSignedRightShift(SignedRightShiftNode n,
                                                             TransferInput<CFValue,CFStore> p)
```
Specified by:

visitSignedRightShift in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitSignedRightShift in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitSignedRightShift

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

visitUnsignedRightShift
```
public TransferResult<CFValue,CFStore> visitUnsignedRightShift(UnsignedRightShiftNode n,
                                                               TransferInput<CFValue,CFStore> p)
```
Specified by:

visitUnsignedRightShift in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitUnsignedRightShift in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitUnsignedRightShift

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

visitBitwiseAnd
```
public TransferResult<CFValue,CFStore> visitBitwiseAnd(BitwiseAndNode n,
                                                       TransferInput<CFValue,CFStore> p)
```
Specified by:

visitBitwiseAnd in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseAnd in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitBitwiseAnd

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

visitBitwiseOr
```
public TransferResult<CFValue,CFStore> visitBitwiseOr(BitwiseOrNode n,
                                                      TransferInput<CFValue,CFStore> p)
```
Specified by:

visitBitwiseOr in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseOr in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitBitwiseOr

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

visitBitwiseXor
```
public TransferResult<CFValue,CFStore> visitBitwiseXor(BitwiseXorNode n,
                                                       TransferInput<CFValue,CFStore> p)
```
Specified by:

visitBitwiseXor in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitBitwiseXor in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitBitwiseXor

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

visitStringConcatenateAssignment

public TransferResult<CFValue,CFStore> visitStringConcatenateAssignment(StringConcatenateAssignmentNode n,
                                                                        TransferInput<CFValue,CFStore> p)

Specified by:: visitStringConcatenateAssignment in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitStringConcatenateAssignment in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitStringConcatenateAssignment

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

visitLessThan
```
public TransferResult<CFValue,CFStore> visitLessThan(LessThanNode n,
                                                     TransferInput<CFValue,CFStore> p)
```
Specified by:

visitLessThan in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLessThan in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitLessThan

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

visitLessThanOrEqual
```
public TransferResult<CFValue,CFStore> visitLessThanOrEqual(LessThanOrEqualNode n,
                                                            TransferInput<CFValue,CFStore> p)
```
Specified by:

visitLessThanOrEqual in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLessThanOrEqual in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitLessThanOrEqual

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

visitGreaterThan
```
public TransferResult<CFValue,CFStore> visitGreaterThan(GreaterThanNode n,
                                                        TransferInput<CFValue,CFStore> p)
```
Specified by:

visitGreaterThan in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitGreaterThan in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitGreaterThan

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

visitGreaterThanOrEqual
```
public TransferResult<CFValue,CFStore> visitGreaterThanOrEqual(GreaterThanOrEqualNode n,
                                                               TransferInput<CFValue,CFStore> p)
```
Specified by:

visitGreaterThanOrEqual in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitGreaterThanOrEqual in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitGreaterThanOrEqual

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

visitEqualTo

public TransferResult<CFValue,CFStore> visitEqualTo(EqualToNode n,
                                                    TransferInput<CFValue,CFStore> p)

Specified by:: visitEqualTo in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitEqualTo in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitEqualTo

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

visitNotEqual

public TransferResult<CFValue,CFStore> visitNotEqual(NotEqualNode n,
                                                     TransferInput<CFValue,CFStore> p)

Specified by:: visitNotEqual in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitNotEqual in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitNotEqual

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

visitConditionalAnd
```
public TransferResult<CFValue,CFStore> visitConditionalAnd(ConditionalAndNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Specified by:

visitConditionalAnd in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitConditionalAnd in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitConditionalAnd

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

visitConditionalOr
```
public TransferResult<CFValue,CFStore> visitConditionalOr(ConditionalOrNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Specified by:

visitConditionalOr in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitConditionalOr in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitConditionalOr

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

visitConditionalNot
```
public TransferResult<CFValue,CFStore> visitConditionalNot(ConditionalNotNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Description copied from class: CFAbstractTransfer

Revert the role of the 'thenStore' and 'elseStore'.

Specified by:

visitConditionalNot in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitConditionalNot in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitConditionalNot

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

visitTernaryExpression
```
public TransferResult<CFValue,CFStore> visitTernaryExpression(TernaryExpressionNode n,
                                                              TransferInput<CFValue,CFStore> p)
```
Description copied from class: CFAbstractTransfer

The resulting abstract value is the merge of the 'then' and 'else' branch.

Specified by:

visitTernaryExpression in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitTernaryExpression in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitTernaryExpression

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

visitAssignment

public TransferResult<CFValue,CFStore> visitAssignment(AssignmentNode n,
                                                       TransferInput<CFValue,CFStore> p)

Specified by:: visitAssignment in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitAssignment in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitAssignment

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

visitLocalVariable
```
public TransferResult<CFValue,CFStore> visitLocalVariable(LocalVariableNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Description copied from class: CFAbstractTransfer

Use the most specific type information available according to the store.

Specified by:

visitLocalVariable in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitLocalVariable in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitLocalVariable

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

visitVariableDeclaration

public TransferResult<CFValue,CFStore> visitVariableDeclaration(VariableDeclarationNode n,
                                                                TransferInput<CFValue,CFStore> p)

Specified by:: visitVariableDeclaration in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitVariableDeclaration in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitVariableDeclaration

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

visitFieldAccess

public TransferResult<CFValue,CFStore> visitFieldAccess(FieldAccessNode n,
                                                        TransferInput<CFValue,CFStore> p)

Specified by:: visitFieldAccess in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitFieldAccess in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitFieldAccess

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

visitMethodAccess
```
public TransferResult<CFValue,CFStore> visitMethodAccess(MethodAccessNode n,
                                                         TransferInput<CFValue,CFStore> p)
```
Specified by:

visitMethodAccess in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitMethodAccess in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitMethodAccess

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

visitArrayAccess

public TransferResult<CFValue,CFStore> visitArrayAccess(ArrayAccessNode n,
                                                        TransferInput<CFValue,CFStore> p)

Specified by:: visitArrayAccess in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitArrayAccess in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitArrayAccess

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

visitImplicitThisLiteral
```
public TransferResult<CFValue,CFStore> visitImplicitThisLiteral(ImplicitThisLiteralNode n,
                                                                TransferInput<CFValue,CFStore> p)
```
Specified by:

visitImplicitThisLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitImplicitThisLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitImplicitThisLiteral

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

visitExplicitThisLiteral
```
public TransferResult<CFValue,CFStore> visitExplicitThisLiteral(ExplicitThisLiteralNode n,
                                                                TransferInput<CFValue,CFStore> p)
```
Specified by:

visitExplicitThisLiteral in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitExplicitThisLiteral in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitExplicitThisLiteral

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

visitSuper
```
public TransferResult<CFValue,CFStore> visitSuper(SuperNode n,
                                                  TransferInput<CFValue,CFStore> p)
```
Specified by:

visitSuper in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitSuper in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitSuper

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

visitReturn
```
public TransferResult<CFValue,CFStore> visitReturn(ReturnNode n,
                                                   TransferInput<CFValue,CFStore> p)
```
Specified by:

visitReturn in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitReturn in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitReturn

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

visitStringConversion

public TransferResult<CFValue,CFStore> visitStringConversion(StringConversionNode n,
                                                             TransferInput<CFValue,CFStore> p)

Specified by:: visitStringConversion in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitStringConversion in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitStringConversion

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

visitNarrowingConversion

public TransferResult<CFValue,CFStore> visitNarrowingConversion(NarrowingConversionNode n,
                                                                TransferInput<CFValue,CFStore> p)

Specified by:: visitNarrowingConversion in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitNarrowingConversion in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitNarrowingConversion

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

visitWideningConversion

public TransferResult<CFValue,CFStore> visitWideningConversion(WideningConversionNode n,
                                                               TransferInput<CFValue,CFStore> p)

Specified by:: visitWideningConversion in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitWideningConversion in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitWideningConversion

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

visitInstanceOf
```
public TransferResult<CFValue,CFStore> visitInstanceOf(InstanceOfNode n,
                                                       TransferInput<CFValue,CFStore> p)
```
Description copied from class: CFAbstractTransfer

Refine the operand of an instanceof check with more specific annotations if possible.

Specified by:

visitInstanceOf in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitInstanceOf in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitInstanceOf

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

visitTypeCast
```
public TransferResult<CFValue,CFStore> visitTypeCast(TypeCastNode n,
                                                     TransferInput<CFValue,CFStore> p)
```
Specified by:

visitTypeCast in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitTypeCast in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitTypeCast

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

visitAssertionError
```
public TransferResult<CFValue,CFStore> visitAssertionError(AssertionErrorNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Specified by:

visitAssertionError in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitAssertionError in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitAssertionError

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

visitSynchronized
```
public TransferResult<CFValue,CFStore> visitSynchronized(SynchronizedNode n,
                                                         TransferInput<CFValue,CFStore> p)
```
Specified by:

visitSynchronized in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitSynchronized in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitSynchronized

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

visitThrow
```
public TransferResult<CFValue,CFStore> visitThrow(ThrowNode n,
                                                  TransferInput<CFValue,CFStore> p)
```
Specified by:

visitThrow in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitThrow in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitThrow

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

visitCase
```
public TransferResult<CFValue,CFStore> visitCase(CaseNode n,
                                                 TransferInput<CFValue,CFStore> p)
```
Description copied from class: CFAbstractTransfer

A case produces no value, but it may imply some facts about the argument to the switch statement.

Specified by:

visitCase in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitCase in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitCase

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

visitMethodInvocation

public TransferResult<CFValue,CFStore> visitMethodInvocation(MethodInvocationNode n,
                                                             TransferInput<CFValue,CFStore> p)

Specified by:: visitMethodInvocation in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitMethodInvocation in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitMethodInvocation

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

visitObjectCreation
```
public TransferResult<CFValue,CFStore> visitObjectCreation(ObjectCreationNode n,
                                                           TransferInput<CFValue,CFStore> p)
```
Specified by:

visitObjectCreation in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitObjectCreation in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitObjectCreation

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

visitMemberReference
```
public TransferResult<CFValue,CFStore> visitMemberReference(FunctionalInterfaceNode n,
                                                            TransferInput<CFValue,CFStore> p)
```
Specified by:

visitMemberReference in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitMemberReference in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitMemberReference

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

visitArrayCreation
```
public TransferResult<CFValue,CFStore> visitArrayCreation(ArrayCreationNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Specified by:

visitArrayCreation in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitArrayCreation in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitArrayCreation

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

visitArrayType
```
public TransferResult<CFValue,CFStore> visitArrayType(ArrayTypeNode n,
                                                      TransferInput<CFValue,CFStore> p)
```
Specified by:

visitArrayType in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitArrayType in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitArrayType

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

visitPrimitiveType
```
public TransferResult<CFValue,CFStore> visitPrimitiveType(PrimitiveTypeNode n,
                                                          TransferInput<CFValue,CFStore> p)
```
Specified by:

visitPrimitiveType in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitPrimitiveType in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitPrimitiveType

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

visitClassName

public TransferResult<CFValue,CFStore> visitClassName(ClassNameNode n,
                                                      TransferInput<CFValue,CFStore> p)

Specified by:: visitClassName in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>
Overrides:: visitClassName in class CFAbstractTransfer<CFValue,CFStore,CFTransfer>

superVisitClassName

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

visitPackageName
```
public TransferResult<CFValue,CFStore> visitPackageName(PackageNameNode n,
                                                        TransferInput<CFValue,CFStore> p)
```
Specified by:

visitPackageName in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitPackageName in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitPackageName

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

visitParameterizedType
```
public TransferResult<CFValue,CFStore> visitParameterizedType(ParameterizedTypeNode n,
                                                              TransferInput<CFValue,CFStore> p)
```
Specified by:

visitParameterizedType in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitParameterizedType in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitParameterizedType

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

visitMarker
```
public TransferResult<CFValue,CFStore> visitMarker(MarkerNode n,
                                                   TransferInput<CFValue,CFStore> p)
```
Specified by:

visitMarker in interface NodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

Overrides:

visitMarker in class AbstractNodeVisitor<TransferResult<CFValue,CFStore>,TransferInput<CFValue,CFStore>>

superVisitMarker

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

Class QualTransferAdapter<Q>

Field Summary

Fields inherited from class org.checkerframework.framework.flow.CFAbstractTransfer

Constructor Summary

Method Summary

Methods inherited from class org.checkerframework.framework.flow.CFAbstractTransfer

Methods inherited from class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor

Methods inherited from class java.lang.Object

Constructor Detail

QualTransferAdapter

Method Detail

convertCfToQualInput

convertQualToCfInput

convertQualToCfResult

convertCfToQualResult

superInitialStore

visitShortLiteral

superVisitShortLiteral

visitIntegerLiteral

superVisitIntegerLiteral

visitLongLiteral

superVisitLongLiteral

visitFloatLiteral

superVisitFloatLiteral

visitDoubleLiteral

superVisitDoubleLiteral

visitBooleanLiteral

superVisitBooleanLiteral

visitCharacterLiteral

superVisitCharacterLiteral

visitStringLiteral

superVisitStringLiteral

visitNullLiteral

superVisitNullLiteral

visitNumericalMinus

superVisitNumericalMinus

visitNumericalPlus

superVisitNumericalPlus

visitBitwiseComplement

superVisitBitwiseComplement

visitNullChk

superVisitNullChk

visitStringConcatenate

superVisitStringConcatenate

visitNumericalAddition

superVisitNumericalAddition

visitNumericalSubtraction

superVisitNumericalSubtraction

visitNumericalMultiplication

superVisitNumericalMultiplication

visitIntegerDivision

superVisitIntegerDivision

visitFloatingDivision

superVisitFloatingDivision

visitIntegerRemainder

superVisitIntegerRemainder

visitFloatingRemainder

superVisitFloatingRemainder

visitLeftShift

superVisitLeftShift

visitSignedRightShift

superVisitSignedRightShift

visitUnsignedRightShift

superVisitUnsignedRightShift

visitBitwiseAnd

superVisitBitwiseAnd

visitBitwiseOr

superVisitBitwiseOr

visitBitwiseXor

superVisitBitwiseXor

visitStringConcatenateAssignment

superVisitStringConcatenateAssignment

visitLessThan

superVisitLessThan

visitLessThanOrEqual

superVisitLessThanOrEqual

visitGreaterThan

superVisitGreaterThan

visitGreaterThanOrEqual

superVisitGreaterThanOrEqual