ppg.atoms
Class TerminalList

java.lang.Object
  extended by 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