JML

org.multijava.util.testing
Class TestFilesCompileAllRunEachTestSuite.RunTestCase

java.lang.Object
  extended byjunit.framework.Assert
      extended byjunit.framework.TestCase
          extended byorg.multijava.util.testing.TestCase
              extended byorg.multijava.util.testing.TestFilesCompileAllRunEachTestSuite.RunTestCase
All Implemented Interfaces:
junit.framework.Test
Enclosing class:
TestFilesCompileAllRunEachTestSuite

public class TestFilesCompileAllRunEachTestSuite.RunTestCase
extends TestCase

This is a helper class that is actually a TestCase; it is run repeatedly with different constructor arguments.


Field Summary
private  String fileToTest
          The name of the file to be tested.
 
Fields inherited from class org.multijava.util.testing.TestCase
NEWLINE
 
Fields inherited from class junit.framework.TestCase
 
Constructor Summary
TestFilesCompileAllRunEachTestSuite.RunTestCase(String filename, String[] args)
          The constructor called by the JUnit framework.
 
Method Summary
 void runTest()
          Executes this test case.
 
Methods inherited from class org.multijava.util.testing.TestCase
assertDiff, assertEquals
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, setName, setUp, tearDown, 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

fileToTest

private String fileToTest
The name of the file to be tested.

Constructor Detail

TestFilesCompileAllRunEachTestSuite.RunTestCase

public TestFilesCompileAllRunEachTestSuite.RunTestCase(String filename,
                                                       String[] args)
The constructor called by the JUnit framework. The argument is used as the name of the test as well as the name of the file to be tested.

Method Detail

runTest

public void runTest()
             throws IOException
Executes this test case. This method compiles the given file and runs the main method. If the compilation or the exectution of the main method produces any output, then test fails; otherwise, test succeeds.

Overrides:
runTest in class junit.framework.TestCase
Throws:
IOException

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.