Uses of Class
org.multijava.util.testing.TestCase

Packages that use TestCase

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.javadoc
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util
org.multijava.util.lexgen	Provides a lexer for the compilers of MultiJava and the Java Modeling Language.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of TestCase in org.jmlspecs.checker

Subclasses of TestCase in org.jmlspecs.checker

class	TestJmlParser Unit tests for JmlParser
protected static class	TestJmlParser.Helper

Uses of TestCase in org.multijava.javadoc

Subclasses of TestCase in org.multijava.javadoc

class

TestJavadocComment

Uses of TestCase in org.multijava.mjc

Subclasses of TestCase in org.multijava.mjc

static class	FunctionalTestSuite.TestCase
class	TestCContext Unit tests for CContext
class	TestJTypeDeclaration Unit tests for JTypeDeclaration
class	TestMain_CodeGen
class	TestMain_Runtime
class	TestMain_TransCompile This class includes test cases for the transitive compilation of referenced files.
class	TestMain_Typecheck
class	TestMjcParser Unit tests for MjcParser
class	TestParsingController Unit tests for ParsingController

Uses of TestCase in org.multijava.util

Subclasses of TestCase in org.multijava.util

class	TestArrayListCache TestArrayListCache.java
class	TestDirectedAcyclicGraph JUnit tests for DirectedAcyclicGraph.
class	TestIntStack TestIntStack.java

Uses of TestCase in org.multijava.util.lexgen

Subclasses of TestCase in org.multijava.util.lexgen

class

TestLexgenLexer TestLexgenLexer.java

Uses of TestCase in org.multijava.util.testing

Subclasses of TestCase in org.multijava.util.testing

class	FileCompareTestCase This class is a jutils.framework.Test that compares two files.
class	SampleTestCase
class	TestFilesCompileAllRunEachTestSuite.CompileTestCase This is a helper class that is actually a TestCase; it is run repeatedly with different constructor arguments.
class	TestFilesCompileAllRunEachTestSuite.RunTestCase This is a helper class that is actually a TestCase; it is run repeatedly with different constructor arguments.
class	TestFilesCompileAndRunTestSuite.Helper This is a helper class that is actually a TestCase; it is run repeatedly with different constructor arguments.
class	TestFilesCompileOnlyTestSuite.Helper This is a helper class that is actually a TestCase; it is run repeatedly with different constructor arguments.
class	TestFilesTestSuite.Helper This is a helper class that is actually a TestCase; it is run repeatedly with different constructor arguments.
class	TestMain Unit tests for Main