harpoon.Tools.PatMat
Class Spec.IdList

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

Enclosing class:

Spec

public static class Spec.IdList
extends Object

Linked list representation for representing a series of Identifier Strings in this Spec.

Field Summary

String	head
Spec.IdList	tail

Constructor Summary

Spec.IdList(String head, Spec.IdList 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 String head

tail

public final Spec.IdList tail

Constructor Detail

Spec.IdList

public Spec.IdList(String head,
                   Spec.IdList tail)

Method Detail

toString

public String toString()

Overrides:

toString in class Object