org.checkerframework.checker.index

Class IndexRefinementInfo

java.lang.Object

org.checkerframework.checker.index.IndexRefinementInfo

public class IndexRefinementInfo
extends Object

This struct contains all of the information that the refinement functions need. It's called by each node function (i.e. greater than node, less than node, etc.) and then the results are passed to the refinement function in whatever order is appropriate for that node. Its constructor contains all of its logic.

Field Summary

Fields

Modifier and Type	Field and Description
CFStore	elseStore
Node	left
AnnotationMirror	leftAnno Annotation for left and right expressions.
ConditionalTransferResult<CFValue,CFStore>	newResult
Node	right
AnnotationMirror	rightAnno Annotation for left and right expressions.
CFStore	thenStore

Constructor Summary

Constructors

Constructor and Description
IndexRefinementInfo(TransferResult<CFValue,CFStore> result, CFAnalysis analysis, BinaryOperationNode node)
IndexRefinementInfo(TransferResult<CFValue,CFStore> result, CFAnalysis analysis, Node r, Node l)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

left

public Node left

right

public Node right

leftAnno

public AnnotationMirror leftAnno

Annotation for left and right expressions. Might be null if dataflow doesn't have a value for the expression. *

rightAnno

public AnnotationMirror rightAnno

Annotation for left and right expressions. Might be null if dataflow doesn't have a value for the expression. *

thenStore

public CFStore thenStore

elseStore

public CFStore elseStore

newResult

public ConditionalTransferResult<CFValue,CFStore> newResult

Constructor Detail

IndexRefinementInfo

public IndexRefinementInfo(TransferResult<CFValue,CFStore> result,
                           CFAnalysis analysis,
                           Node r,
                           Node l)

IndexRefinementInfo

public IndexRefinementInfo(TransferResult<CFValue,CFStore> result,
                           CFAnalysis analysis,
                           BinaryOperationNode node)