JML

org.multijava.mjc
Class TestMain_TransCompile

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byorg.multijava.util.testing.TestCase
              extended byorg.multijava.mjc.FunctionalTestSuite.TestCase
                  extended byorg.multijava.mjc.TestMain_TransCompile
All Implemented Interfaces:
junit.framework.Test

public class TestMain_TransCompile
extends FunctionalTestSuite.TestCase

This class includes test cases for the transitive compilation of referenced files.


Nested Class Summary
 
Nested classes inherited from class org.multijava.mjc.FunctionalTestSuite.TestCase
FunctionalTestSuite.TestCase.CodeGenResults, FunctionalTestSuite.TestCase.CompilationResults, FunctionalTestSuite.TestCase.Processor, FunctionalTestSuite.TestCase.RuntimeResults
 
Field Summary
 
Fields inherited from class org.multijava.mjc.FunctionalTestSuite.TestCase
workingDir
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestMain_TransCompile(String name)
           
 
Method Summary
 void test_unnamedPackage_1()
          Test simple reference.
 void test_unnamedPackage_10()
          Test transitive references with mutual recursion using two different starting classes for the compilation session.
 void test_unnamedPackage_2()
          Test mutually recursive reference.
 void test_unnamedPackage_3()
          Test mutually recursive reference starting compilation with the other member of the pair.
 void test_unnamedPackage_4()
          Test transitive references.
 void test_unnamedPackage_5()
          Test transitive references with mutual recursion.
 void test_unnamedPackage_6()
          Test transitive references with mutual recursion using a different starting class for the compilation session.
 void test_unnamedPackage_7()
          Test transitive references with mutual recursion using yet another starting class for the compilation session.
 void test_unnamedPackage_8()
          Test transitive references with mutual recursion using two starting classes for the compilation session.
 void test_unnamedPackage_9()
          Test transitive references with mutual recursion using two different starting classes for the compilation session.
 
Methods inherited from class org.multijava.mjc.FunctionalTestSuite.TestCase
cleanWorkingDir, compile, disasm, expectFailure, expectSuccess, invokeCompiler, remove, run, saveAs, setUp, split, tearDown
 
Methods inherited from class org.multijava.util.testing.TestCase
assertDiff, assertEquals
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TestMain_TransCompile

public TestMain_TransCompile(String name)
Method Detail

test_unnamedPackage_1

public void test_unnamedPackage_1()
Test simple reference.


test_unnamedPackage_2

public void test_unnamedPackage_2()
Test mutually recursive reference.


test_unnamedPackage_3

public void test_unnamedPackage_3()
Test mutually recursive reference starting compilation with the other member of the pair.


test_unnamedPackage_4

public void test_unnamedPackage_4()
Test transitive references.


test_unnamedPackage_5

public void test_unnamedPackage_5()
Test transitive references with mutual recursion.


test_unnamedPackage_6

public void test_unnamedPackage_6()
Test transitive references with mutual recursion using a different starting class for the compilation session.


test_unnamedPackage_7

public void test_unnamedPackage_7()
Test transitive references with mutual recursion using yet another starting class for the compilation session.


test_unnamedPackage_8

public void test_unnamedPackage_8()
Test transitive references with mutual recursion using two starting classes for the compilation session.


test_unnamedPackage_9

public void test_unnamedPackage_9()
Test transitive references with mutual recursion using two different starting classes for the compilation session.


test_unnamedPackage_10

public void test_unnamedPackage_10()
Test transitive references with mutual recursion using two different starting classes for the compilation session.


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.