Package pascal.taie.analysis.dataflow.analysis.constprop

Class Evaluator

java.lang.Object

pascal.taie.analysis.dataflow.analysis.constprop.Evaluator

public final class Evaluator
extends Object

Evaluates expressions in constant propagation. Since this functionality is used not only by ConstantPropagation but also other classes, we implement it as static methods to make it easily accessible.

Method Summary

Modifier and Type	Method	Description
static Value	evaluate(Exp exp, CPFact in)	Evaluates the Value of given expression.

Methods inherited from class java.lang.Object

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

Method Details

evaluate

public static Value evaluate(Exp exp,
 CPFact in)

Evaluates the Value of given expression.

Parameters:

exp - the expression to be evaluated

in - IN fact of the statement

Returns:

the resulting Value