tip.cfg.dfa
Class ConstantPropagationAnalysis.Const

java.lang.Object
  extended by tip.cfg.dfa.ConstantPropagationAnalysis.Const
Enclosing class:
ConstantPropagationAnalysis

public static class ConstantPropagationAnalysis.Const
extends Object


Field Summary
static ConstantPropagationAnalysis.Const UNKNOWN
           
static ConstantPropagationAnalysis.Const VARIABLE
           
 
Constructor Summary
ConstantPropagationAnalysis.Const(int value)
           
 
Method Summary
 ConstantPropagationAnalysis.Type getType()
           
 int getValue()
           
 boolean isConstant()
           
 boolean isUnknown()
           
 boolean isVariable()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

UNKNOWN

public static final ConstantPropagationAnalysis.Const UNKNOWN

VARIABLE

public static final ConstantPropagationAnalysis.Const VARIABLE
Constructor Detail

ConstantPropagationAnalysis.Const

public ConstantPropagationAnalysis.Const(int value)
Method Detail

getValue

public int getValue()

getType

public ConstantPropagationAnalysis.Type getType()

isUnknown

public boolean isUnknown()

isConstant

public boolean isConstant()

isVariable

public boolean isVariable()

toString

public String toString()
Overrides:
toString in class Object