tip.cfg.dfa
Class ReachingDefinitionsAnalysis.AssignVarStmPointStringifier

java.lang.Object
  extended by tip.cfg.dfa.ReachingDefinitionsAnalysis.AssignVarStmPointStringifier
All Implemented Interfaces:
Stringifier<CAssignVarStmPoint>
Enclosing class:
ReachingDefinitionsAnalysis

public class ReachingDefinitionsAnalysis.AssignVarStmPointStringifier
extends Object
implements Stringifier<CAssignVarStmPoint>


Field Summary
static int MAX_LENGTH
           
 
Constructor Summary
ReachingDefinitionsAnalysis.AssignVarStmPointStringifier()
           
 
Method Summary
 String toString(CAssignVarStmPoint point)
          Returns a textual representation of t.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MAX_LENGTH

public static final int MAX_LENGTH
See Also:
Constant Field Values
Constructor Detail

ReachingDefinitionsAnalysis.AssignVarStmPointStringifier

public ReachingDefinitionsAnalysis.AssignVarStmPointStringifier()
Method Detail

toString

public String toString(CAssignVarStmPoint point)
Description copied from interface: Stringifier
Returns a textual representation of t.

Specified by:
toString in interface Stringifier<CAssignVarStmPoint>
Parameters:
point - the object for which a textual representation is returned
Returns:
a textual representation of t