JML

org.multijava.mjc
Class TestMain_Runtime

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

public class TestMain_Runtime
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_Runtime(String name)
           
 
Method Summary
 void test_dispatch_1()
          Should successfully use multiple dispatch on a local internal generic function.
 void test_dispatch_2()
          Should successfully use multiple dispatch on a non-local internal generic function.
 void test_internalize_1()
          Should successfully internalize the augmenting methods.
 void test_open_classes_1()
          Should successfully add open method to non-local class.
 void test_open_classes_2()
          Should successfully add open methods to non-local classes and use dynamic single dispatch.
 void test_open_classes_3()
          Should successfully add open methods to non-local classes and use dynamic multiple dispatch.
 void test_open_classes_4()
          Should successfully add open methods to non-local classes and use dynamic types for (single) dispatch.
 void test_open_classes_5()
          Should successfully add open methods to non-local classes and use dynamic types for (multiple) dispatch.
 void test_open_classes_6()
          Adding open methods to abstract classes (thanks to Todd Millstein).
 void test_open_classes_7()
          Should successfully add open methods to non-local classes and use dynamic single dispatch.
 void test_simple_class_1()
          Should successfully compile and run the (very simple) source code.
 void test_unescape_string_1()
          Test that octal and unicode escape sequences are properly handled.
 
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_Runtime

public TestMain_Runtime(String name)
Method Detail

test_simple_class_1

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


test_internalize_1

public void test_internalize_1()
Should successfully internalize the augmenting methods.


test_dispatch_1

public void test_dispatch_1()
Should successfully use multiple dispatch on a local internal generic function.


test_dispatch_2

public void test_dispatch_2()
Should successfully use multiple dispatch on a non-local internal generic function.


test_open_classes_1

public void test_open_classes_1()
Should successfully add open method to non-local class.


test_open_classes_2

public void test_open_classes_2()
Should successfully add open methods to non-local classes and use dynamic single dispatch.


test_open_classes_3

public void test_open_classes_3()
Should successfully add open methods to non-local classes and use dynamic multiple dispatch.


test_open_classes_4

public void test_open_classes_4()
Should successfully add open methods to non-local classes and use dynamic types for (single) dispatch.


test_open_classes_5

public void test_open_classes_5()
Should successfully add open methods to non-local classes and use dynamic types for (multiple) dispatch.


test_open_classes_6

public void test_open_classes_6()
Adding open methods to abstract classes (thanks to Todd Millstein).


test_open_classes_7

public void test_open_classes_7()
Should successfully add open methods to non-local classes and use dynamic single dispatch.


test_unescape_string_1

public void test_unescape_string_1()
Test that octal and unicode escape sequences are properly handled.


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.