harpoon.Tools.PatMat
Class Spec.RuleList

java.lang.Object
  extended by harpoon.Tools.PatMat.Spec.RuleList
Enclosing class:
Spec

public static class Spec.RuleList
extends Object

Linked list representation for representing the series of Spec.Rules in this Spec.


Field Summary
 Spec.Rule head
           
 Spec.RuleList tail
           
 
Constructor Summary
Spec.RuleList(Spec.Rule head, Spec.RuleList tail)
           
 
Method Summary
 void accept(Spec.RuleVisitor v)
          Applies v's visit method to this.
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

head

public final Spec.Rule head

tail

public final Spec.RuleList tail
Constructor Detail

Spec.RuleList

public Spec.RuleList(Spec.Rule head,
                     Spec.RuleList tail)
Method Detail

toString

public String toString()
Overrides:
toString in class Object

accept

public void accept(Spec.RuleVisitor v)
Applies v's visit method to this.