minijava.typecheck
Class Typecheck

java.lang.Object
  minijava.typecheck.Typecheck

public class Typecheck
extends java.lang.Object

Entry point to the minijava package's unit testing. This program runs the type checker on a MiniJava source file.
Usage:

java minijava.Typecheck < input

Author:

Santoso Wijaya

Constructor Summary

Typecheck()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

Typecheck

public Typecheck()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        ParseException

Throws:

java.io.IOException

ParseException