harpoon.Tools.PatMat
Class Spec.ExpList

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

Enclosing class:

Spec

public static class Spec.ExpList
extends Object

Linked list representation for representing the series of Spec.Exps in a given Spec.Exp or Spec.Stm.

Field Summary

Spec.Exp	head
Spec.ExpList	tail

Constructor Summary

Spec.ExpList(Spec.Exp head, Spec.ExpList tail)

Method Summary

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.Exp head

tail

public final Spec.ExpList tail

Constructor Detail

Spec.ExpList

public Spec.ExpList(Spec.Exp head,
                    Spec.ExpList tail)

Method Detail

toString

public String toString()

Overrides:

toString in class Object