JML

org.multijava.mjc
Class TestMain_CodeGen

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_CodeGen
All Implemented Interfaces:
junit.framework.Test

public class TestMain_CodeGen
extends FunctionalTestSuite.TestCase


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
private static String PACKAGE
           
private static String PACKAGE_DECL
           
 
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_CodeGen(String name)
           
 
Method Summary
 void test_constructor_1()
          Must generate default constructors.
 void test_dispatcher_1()
          Should successfully compile an internal dispatcher for the top of a generic function lattice.
 void test_dispatcher_2()
          Should successfully compile an internal dispatcher for a non-local generic function.
 void test_invocation_1()
          Should successfully compile an invocation of an internal generic function.
 void test_invocation_2()
          Should successfully compile an invocation of an external generic function.
 void test_invocation_3()
          Should invoke the correct method when overriding method changes privileged access level.
 void test_simple_class_1()
          Should successfully compile and match the (very simple) source code.
 void test_stringLiterals_1()
           
 void test_stringLiterals_2()
           
 
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
 

Field Detail

PACKAGE

private static final String PACKAGE

PACKAGE_DECL

private static final String PACKAGE_DECL
Constructor Detail

TestMain_CodeGen

public TestMain_CodeGen(String name)
Method Detail

test_simple_class_1

public void test_simple_class_1()
Should successfully compile and match the (very simple) source code.


test_stringLiterals_1

public void test_stringLiterals_1()

test_stringLiterals_2

public void test_stringLiterals_2()

test_constructor_1

public void test_constructor_1()
Must generate default constructors.


test_invocation_1

public void test_invocation_1()
Should successfully compile an invocation of an internal generic function.


test_invocation_2

public void test_invocation_2()
Should successfully compile an invocation of an external generic function.


test_invocation_3

public void test_invocation_3()
Should invoke the correct method when overriding method changes privileged access level.


test_dispatcher_1

public void test_dispatcher_1()
Should successfully compile an internal dispatcher for the top of a generic function lattice.


test_dispatcher_2

public void test_dispatcher_2()
Should successfully compile an internal dispatcher for a non-local generic function.


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.