unittests.org.acmsl.contractchecker
Class ContractCheckerDocletTest

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--unittests.org.acmsl.contractchecker.ContractCheckerDocletTest

All Implemented Interfaces:

junit.framework.Test

public class ContractCheckerDocletTest

extends junit.framework.TestCase

Tests ContractCheckerDocletTest class.

Version:

$Revision: 1.2 $

See Also:

ContractCheckerDoclet

Constructor Summary

ContractCheckerDocletTest(java.lang.String name)
Creates a ContractCheckerDocletTest with given name.

Method Summary

ContractCheckerDoclet	createInstance() Creates an instance of the tested class.
static void	main(java.lang.String[] args)
protected void	setUp() Performs any required steps before each test.
protected void	tearDown() Performs any required steps after each test.
void	testOptionLength() Tests ContractCheckerDocletTestoptionLength()
void	testStart() Tests ContractCheckerDocletTeststart()
void	testValidOptions() Tests ContractCheckerDocletTestvalidOptions()
void	testVault() JUnitDoclet moves marker to this method, if there is not match for them in the regenerated code and if the marker is not empty.

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

ContractCheckerDocletTest

public ContractCheckerDocletTest(java.lang.String name)

Creates a ContractCheckerDocletTest with given name.

Parameters:

name - such name.

Method Detail

createInstance

public ContractCheckerDoclet createInstance()
                                     throws java.lang.Exception

Creates an instance of the tested class.

Returns:

such instance.

setUp

protected void setUp()
              throws java.lang.Exception

Performs any required steps before each test.

Overrides:

setUp in class junit.framework.TestCase

Throws:

java.lang.Exception - if an unexpected situation occurs.

tearDown

protected void tearDown()
                 throws java.lang.Exception

Performs any required steps after each test.

Overrides:

tearDown in class junit.framework.TestCase

Throws:

java.lang.Exception - if an unexpected situation occurs.

testStart

public void testStart()
               throws java.lang.Exception

Tests ContractCheckerDocletTeststart()

Throws:

java.lang.Exception - if an unexpected situation occurs.

See Also:

org.acmsl.contractchecker.ContractCheckerDoclet#start(RootDoc)

testOptionLength

public void testOptionLength()
                      throws java.lang.Exception

Tests ContractCheckerDocletTestoptionLength()

Throws:

java.lang.Exception - if an unexpected situation occurs.

See Also:

org.acmsl.contractchecker.ContractCheckerDoclet#optionLength(java.lang.String)

testValidOptions

public void testValidOptions()
                      throws java.lang.Exception

Tests ContractCheckerDocletTestvalidOptions()

Throws:

java.lang.Exception - if an unexpected situation occurs.

See Also:

org.acmsl.contractchecker.ContractCheckerDoclet#validOptions(java.lang.String[][], DocErrorReporter)

testVault

public void testVault()
               throws java.lang.Exception

JUnitDoclet moves marker to this method, if there is not match for them in the regenerated code and if the marker is not empty. This way, no test gets lost when regenerating after renaming. Method testVault is supposed to be empty.

Throws:

java.lang.Exception - if an unexpected situation occurs.

main

public static void main(java.lang.String[] args)