import java.io.FileReader;
import java.io.BufferedReader;
public class TestPT
{
  public static void main(String[] args)
    throws Exception
  {
    String fname;
    // Determine the file name to use
    if (args.length == 0) 
      fname = "test1.pas";
    else 
      fname = args[0];

    // Create the character stream
    AdvCharStream acs =
      new AdvCharStream(
        new NewCharStream(
          new BufferedReader(
            new FileReader(fname))));

    // Create the tokenizer
    TokenStream tokenizer = new PascalTokenizer(acs);

    // Start the interaction
    TokenStreamTester tester = new TokenStreamTester(tokenizer, acs);
    tester.interact();
  } // main(String[])
} // class TestPT