org.checkerframework.checker.index

Class IndexRefinementInfo

java.lang.Object

org.checkerframework.checker.index.IndexRefinementInfo

public class IndexRefinementInfo
extends java.lang.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
org.checkerframework.framework.flow.CFStore	elseStore
org.checkerframework.dataflow.cfg.node.Node	left
javax.lang.model.element.AnnotationMirror	leftAnno Annotation for left and right expressions.
org.checkerframework.dataflow.analysis.ConditionalTransferResult<org.checkerframework.framework.flow.CFValue,org.checkerframework.framework.flow.CFStore>	newResult
org.checkerframework.dataflow.cfg.node.Node	right
javax.lang.model.element.AnnotationMirror	rightAnno Annotation for left and right expressions.
org.checkerframework.framework.flow.CFStore	thenStore

Constructor Summary

Constructors

Constructor and Description
IndexRefinementInfo(org.checkerframework.dataflow.analysis.TransferResult<org.checkerframework.framework.flow.CFValue,org.checkerframework.framework.flow.CFStore> result, org.checkerframework.framework.flow.CFAbstractAnalysis<?,?,?> analysis, org.checkerframework.dataflow.cfg.node.BinaryOperationNode node)
IndexRefinementInfo(org.checkerframework.dataflow.analysis.TransferResult<org.checkerframework.framework.flow.CFValue,org.checkerframework.framework.flow.CFStore> result, org.checkerframework.framework.flow.CFAbstractAnalysis<?,?,?> analysis, org.checkerframework.dataflow.cfg.node.Node r, org.checkerframework.dataflow.cfg.node.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 org.checkerframework.dataflow.cfg.node.Node left

right

public org.checkerframework.dataflow.cfg.node.Node right

leftAnno

public javax.lang.model.element.AnnotationMirror leftAnno

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

rightAnno

public javax.lang.model.element.AnnotationMirror rightAnno

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

thenStore

public org.checkerframework.framework.flow.CFStore thenStore

elseStore

public org.checkerframework.framework.flow.CFStore elseStore

newResult

public org.checkerframework.dataflow.analysis.ConditionalTransferResult<org.checkerframework.framework.flow.CFValue,org.checkerframework.framework.flow.CFStore> newResult

Constructor Detail

IndexRefinementInfo

public IndexRefinementInfo(org.checkerframework.dataflow.analysis.TransferResult<org.checkerframework.framework.flow.CFValue,org.checkerframework.framework.flow.CFStore> result,
                           org.checkerframework.framework.flow.CFAbstractAnalysis<?,?,?> analysis,
                           org.checkerframework.dataflow.cfg.node.Node r,
                           org.checkerframework.dataflow.cfg.node.Node l)

IndexRefinementInfo

public IndexRefinementInfo(org.checkerframework.dataflow.analysis.TransferResult<org.checkerframework.framework.flow.CFValue,org.checkerframework.framework.flow.CFStore> result,
                           org.checkerframework.framework.flow.CFAbstractAnalysis<?,?,?> analysis,
                           org.checkerframework.dataflow.cfg.node.BinaryOperationNode node)