MSC2000.Parser
Class MSCReader

java.lang.Object
  |
  +--MSC2000.Parser.MSCReader

public class MSCReader
extends java.lang.Object

MSCReader: Read textual MSC from file or stdin and parse it. Optionally dump or display Abstract Syntax Tree. Now with TeX environment! And with verification via threads.


Constructor Summary
MSCReader()
           
 
Method Summary
static void main(java.lang.String[] argv)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Constructor Detail

MSCReader

public MSCReader()
Method Detail

main

public static void main(java.lang.String[] argv)