Package pascal.taie.analysis.dataflow.fact

Class DataflowResult<Node,Fact>

java.lang.Object

pascal.taie.analysis.dataflow.fact.DataflowResult<Node,Fact>

Type Parameters:

Node - type of nodes

Fact - type of data-flow facts

All Implemented Interfaces:

NodeResult<Node,Fact>, StmtResult<Fact>

public class DataflowResult<Node,Fact>
extends Object
implements NodeResult<Node,Fact>

An object which manages the data-flow facts associated with nodes.

Constructor Summary

Constructors

Constructor	Description
DataflowResult()
DataflowResult(Map<Node,Fact> inFacts, Map<Node,Fact> outFacts)

Method Summary

Modifier and Type	Method	Description
Fact	getInFact(Node node)
Fact	getOutFact(Node node)
void	setInFact(Node node, Fact fact)	Associates a data-flow fact with a node as its flowing-in fact.
void	setOutFact(Node node, Fact fact)	Associates a data-flow fact with a node as its flowing-out fact.

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.analysis.dataflow.fact.NodeResult

getResult, isRelevant

Constructor Details

DataflowResult

public DataflowResult(Map<Node,Fact> inFacts,
 Map<Node,Fact> outFacts)

DataflowResult

public DataflowResult()

Method Details

getInFact

public Fact getInFact(Node node)

Specified by:

getInFact in interface NodeResult<Node,Fact>

Returns:

the flowing-in fact of given node.

setInFact

public void setInFact(Node node,
 Fact fact)

Associates a data-flow fact with a node as its flowing-in fact.

getOutFact

public Fact getOutFact(Node node)

Specified by:

getOutFact in interface NodeResult<Node,Fact>

Returns:

the flowing-out fact of given node.

setOutFact

public void setOutFact(Node node,
 Fact fact)

Associates a data-flow fact with a node as its flowing-out fact.