Class ConstantPropagation

java.lang.Object

liquidjava.rj_language.opt.ConstantPropagation

public class ConstantPropagation
extends Object

Constructor Summary

Constructors

Constructor	Description
ConstantPropagation()

Method Summary

Modifier and Type	Method	Description
static ValDerivationNode	propagate(Expression exp)	Performs constant propagation on an expression, by substituting variables with their constant values.

Methods inherited from class java.lang.Object

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

Constructor Details

ConstantPropagation

public ConstantPropagation()

Method Details

propagate

public static ValDerivationNode propagate(Expression exp)

Performs constant propagation on an expression, by substituting variables with their constant values. Uses the VariableResolver to extract variable equalities from the expression first. Returns a derivation node representing the propagation steps taken.