ppg.atoms
Class TerminalList

java.lang.Object
  ppg.atoms.TerminalList

public class TerminalList
extends java.lang.Object

Constructor Summary

TerminalList(java.lang.String type, java.util.Vector syms)

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TerminalList

public TerminalList(java.lang.String type,
                    java.util.Vector syms)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object