org.checkerframework.dataflow.analysis

Class AnalysisResult<A extends AbstractValue<A>,S extends Store<S>>

java.lang.Object

org.checkerframework.dataflow.analysis.AnalysisResult<A,S>

Type Parameters:

A - type of the abstract value that is tracked

public class AnalysisResult<A extends AbstractValue<A>,S extends Store<S>>
extends java.lang.Object

An AnalysisResult represents the result of a org.checkerframework.dataflow analysis by providing the abstract values given a node or a tree. Note that it does not keep track of custom results computed by some analysis.

Author:

Stefan Heule

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<TransferInput<A,S>,java.util.IdentityHashMap<Node,TransferResult<A,S>>>	analysisCaches Caches of the analysis results for each input for the block of the node and each node.
protected java.util.HashMap<javax.lang.model.element.Element,A>	finalLocalValues Map from (effectively final) local variable elements to their abstract value.
protected java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.List<com.sun.source.tree.Tree>>	generatedTreesLookup Map from AST Trees to generated Trees.
protected java.util.IdentityHashMap<Node,A>	nodeValues Abstract values of nodes.
protected java.util.IdentityHashMap<Block,TransferInput<A,S>>	stores The stores before every method call.
protected java.util.IdentityHashMap<com.sun.source.tree.Tree,Node>	treeLookup Map from AST Trees to Nodes.
protected java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,AssignmentNode>	unaryAssignNodeLookup Map from AST UnaryTrees to corresponding AssignmentNodes.

Constructor Summary

Constructors

Constructor and Description
AnalysisResult() Initialize empty result.
AnalysisResult(java.util.Map<Node,A> nodeValues, java.util.IdentityHashMap<Block,TransferInput<A,S>> stores, java.util.IdentityHashMap<com.sun.source.tree.Tree,Node> treeLookup, java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,AssignmentNode> unaryAssignNodeLookup, java.util.HashMap<javax.lang.model.element.Element,A> finalLocalValues, java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.List<com.sun.source.tree.Tree>> generatedTreesLookup) Initialize with a given node-value mapping.
AnalysisResult(java.util.Map<TransferInput<A,S>,java.util.IdentityHashMap<Node,TransferResult<A,S>>> analysisCaches) Initialize empty result with specified cache.

Method Summary

Modifier and Type	Method and Description
void	combine(AnalysisResult<A,S> other) Combine with another analysis result.
AssignmentNode	getAssignForUnaryTree(com.sun.source.tree.UnaryTree tree)
java.util.HashMap<javax.lang.model.element.Element,A>	getFinalLocalValues()
java.util.List<com.sun.source.tree.Tree>	getGeneratedTrees(com.sun.source.tree.Tree tree)
@Nullable Node	getNodeForTree(com.sun.source.tree.Tree tree)
S	getStoreAfter(Node node)
S	getStoreAfter(com.sun.source.tree.Tree tree)
S	getStoreBefore(Node node)
S	getStoreBefore(com.sun.source.tree.Tree tree)
A	getValue(Node n)
A	getValue(com.sun.source.tree.Tree t)
protected S	runAnalysisFor(Node node, boolean before) Runs the analysis again within the block of node and returns the store at the location of node.
static <A extends AbstractValue<A>,S extends Store<S>> S	runAnalysisFor(Node node, boolean before, TransferInput<A,S> transferInput) Deprecated. this method could be a cause of performance problem when you call this method sometimes because this method runs analysis until node from the first node in the block of node without cache. You should use runAnalysisFor(Node, boolean, TransferInput, Map) with a cache instead of this method.
static <A extends AbstractValue<A>,S extends Store<S>> S	runAnalysisFor(Node node, boolean before, TransferInput<A,S> transferInput, java.util.Map<TransferInput<A,S>,java.util.IdentityHashMap<Node,TransferResult<A,S>>> analysisCaches) Runs the analysis again within the block of node and returns the store at the location of node.

Methods inherited from class java.lang.Object

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

Field Detail

nodeValues

protected final java.util.IdentityHashMap<Node,A extends AbstractValue<A>> nodeValues

Abstract values of nodes.

treeLookup

protected final java.util.IdentityHashMap<com.sun.source.tree.Tree,Node> treeLookup

Map from AST Trees to Nodes.

unaryAssignNodeLookup

protected final java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,AssignmentNode> unaryAssignNodeLookup

Map from AST UnaryTrees to corresponding AssignmentNodes.

finalLocalValues

protected final java.util.HashMap<javax.lang.model.element.Element,A extends AbstractValue<A>> finalLocalValues

Map from (effectively final) local variable elements to their abstract value.

stores

protected final java.util.IdentityHashMap<Block,TransferInput<A extends AbstractValue<A>,S extends Store<S>>> stores

The stores before every method call.

generatedTreesLookup

protected final java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.List<com.sun.source.tree.Tree>> generatedTreesLookup

Map from AST Trees to generated Trees.

analysisCaches

protected final java.util.Map<TransferInput<A extends AbstractValue<A>,S extends Store<S>>,java.util.IdentityHashMap<Node,TransferResult<A extends AbstractValue<A>,S extends Store<S>>>> analysisCaches

Caches of the analysis results for each input for the block of the node and each node.

See Also:

runAnalysisFor(Node, boolean, TransferInput, Map)

Constructor Detail

AnalysisResult

public AnalysisResult(java.util.Map<Node,A> nodeValues,
                      java.util.IdentityHashMap<Block,TransferInput<A,S>> stores,
                      java.util.IdentityHashMap<com.sun.source.tree.Tree,Node> treeLookup,
                      java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,AssignmentNode> unaryAssignNodeLookup,
                      java.util.HashMap<javax.lang.model.element.Element,A> finalLocalValues,
                      java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.List<com.sun.source.tree.Tree>> generatedTreesLookup)

Initialize with a given node-value mapping.

AnalysisResult

public AnalysisResult()

Initialize empty result.

AnalysisResult

public AnalysisResult(java.util.Map<TransferInput<A,S>,java.util.IdentityHashMap<Node,TransferResult<A,S>>> analysisCaches)

Initialize empty result with specified cache.

Method Detail

combine

public void combine(AnalysisResult<A,S> other)

Combine with another analysis result.

getFinalLocalValues

public java.util.HashMap<javax.lang.model.element.Element,A> getFinalLocalValues()

Returns:

the value of effectively final local variables

getValue

public A getValue(Node n)

Returns:

the abstract value for Node n, or null if no information is available.

getValue

public A getValue(com.sun.source.tree.Tree t)

Returns:

the abstract value for Tree t, or null if no information is available.

getNodeForTree

public @Nullable Node getNodeForTree(com.sun.source.tree.Tree tree)

Returns:

the Node for a given Tree.

getAssignForUnaryTree

public AssignmentNode getAssignForUnaryTree(com.sun.source.tree.UnaryTree tree)

Returns:

the corresponding AssignmentNode for a given UnaryTree.

getGeneratedTrees

public java.util.List<com.sun.source.tree.Tree> getGeneratedTrees(com.sun.source.tree.Tree tree)

Returns:

the generated Trees for a given Tree.

getStoreBefore

public S getStoreBefore(com.sun.source.tree.Tree tree)

Returns:

the store immediately before a given Tree.

getStoreBefore

public S getStoreBefore(Node node)

Returns:

the store immediately before a given Node.

getStoreAfter

public S getStoreAfter(com.sun.source.tree.Tree tree)

Returns:

the store immediately after a given Tree.

getStoreAfter

public S getStoreAfter(Node node)

Returns:

the store immediately after a given Node.

runAnalysisFor

protected S runAnalysisFor(Node node,
                           boolean before)

Runs the analysis again within the block of node and returns the store at the location of node. If before is true, then the store immediately before the Node node is returned. Otherwise, the store after node is returned.

If the given Node cannot be reached (in the control flow graph), then null is returned.

runAnalysisFor

@Deprecated
public static <A extends AbstractValue<A>,S extends Store<S>> S runAnalysisFor(Node node,
                                                                                           boolean before,
                                                                                           TransferInput<A,S> transferInput)

Deprecated. this method could be a cause of performance problem when you call this method sometimes because this method runs analysis until node from the first node in the block of node without cache. You should use runAnalysisFor(Node, boolean, TransferInput, Map) with a cache instead of this method.

Runs the analysis again within the block of node and returns the store at the location of node. If before is true, then the store immediately before the Node node is returned. Otherwise, the store after node is returned.

See Also:

runAnalysisFor(Node, boolean, TransferInput, Map)

runAnalysisFor

public static <A extends AbstractValue<A>,S extends Store<S>> S runAnalysisFor(Node node,
                                                                               boolean before,
                                                                               TransferInput<A,S> transferInput,
                                                                               java.util.Map<TransferInput<A,S>,java.util.IdentityHashMap<Node,TransferResult<A,S>>> analysisCaches)

Runs the analysis again within the block of node and returns the store at the location of node. If before is true, then the store immediately before the Node node is returned. Otherwise, the store after node is returned. If analysisCaches is not null, this method uses a cache. analysisCaches is a map to a cache for analysis result from an input of the block of the node. If the cache for transferInput is not in analysisCaches, this method create new cache and store it in analysisCaches. The cache is a map from a node to the analysis result of the node.