slime.checks.tests
Class TypecheckTest

java.lang.Object
  extended byslime.checks.tests.TypecheckTest

public class TypecheckTest
extends java.lang.Object

TypecheckTest A little testing of the typechecker, using the parser code ``recycled'' from sfcparser.ParserTest.java

Version:
$Id: TypecheckTest.java,v 1.8 2002/07/07 14:57:47 swprakt Exp $ ---------------------------------------------------------------
Author:
Martin Steffen and Karsten Stahl.

Constructor Summary
TypecheckTest()
           
 
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

TypecheckTest

public TypecheckTest()
Method Detail

main

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