xacute.quilt
Class Step

java.lang.Object
  |
  +--xacute.quilt.Step
Direct Known Subclasses:
DerefStep, LocationStep

public abstract class Step
extends java.lang.Object


Field Summary
protected  QuiltExpression[] predicates
          This array contains QuiltExpression representing the predicates to apply after the dereferencing step.
 
Constructor Summary
Step()
           
 
Method Summary
abstract  java.lang.String pprint()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

predicates

protected QuiltExpression[] predicates
This array contains QuiltExpression representing the predicates to apply after the dereferencing step.
Constructor Detail

Step

public Step()
Method Detail

pprint

public abstract java.lang.String pprint()