harpoon.Tools.PatMat
Class Spec.DetailList

java.lang.Object
  harpoon.Tools.PatMat.Spec.DetailList

Enclosing class:

Spec

public static class Spec.DetailList
extends Object

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

Field Summary

Spec.Detail	head
Spec.DetailList	tail

Constructor Summary

Spec.DetailList(Spec.Detail head, Spec.DetailList tail)

Method Summary

void	accept(Spec.DetailVisitor v)
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.Detail head

tail

public final Spec.DetailList tail

Constructor Detail

Spec.DetailList

public Spec.DetailList(Spec.Detail head,
                       Spec.DetailList tail)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

accept

public void accept(Spec.DetailVisitor v)