unittests.org.acmsl.contractchecker
Class ContractCheckerAspectTemplateGeneratorTest

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

All Implemented Interfaces:

junit.framework.Test

public class ContractCheckerAspectTemplateGeneratorTest

extends junit.framework.TestCase

Tests ContractCheckerAspectTemplateGeneratorTest class.

Version:

$Revision: 1.2 $

See Also:

ContractCheckerAspectTemplateGenerator

Constructor Summary

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

Method Summary

ContractCheckerAspectTemplateGenerator	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	testCreateContractCheckerAspectTemplate() Tests ContractCheckerAspectTemplateGeneratorTestcreateContractCheckerAspectTemplate()
void	testCreateContractCheckerTemplate() Tests ContractCheckerAspectTemplateGeneratorTestcreateContractCheckerTemplate()
void	testGetInstance() Tests ContractCheckerAspectTemplateGeneratorTestgetInstance()
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.
void	testWrite() Tests ContractCheckerAspectTemplateGeneratorTestwrite()

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

ContractCheckerAspectTemplateGeneratorTest

public ContractCheckerAspectTemplateGeneratorTest(java.lang.String name)

Creates a ContractCheckerAspectTemplateGeneratorTest with given name.

Parameters:

name - such name.

Method Detail

createInstance

public ContractCheckerAspectTemplateGenerator 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.

testGetInstance

public void testGetInstance()
                     throws java.lang.Exception

Tests ContractCheckerAspectTemplateGeneratorTestgetInstance()

Throws:

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

See Also:

ContractCheckerAspectTemplateGenerator.getInstance()

testCreateContractCheckerTemplate

public void testCreateContractCheckerTemplate()
                                       throws java.lang.Exception

Tests ContractCheckerAspectTemplateGeneratorTestcreateContractCheckerTemplate()

Throws:

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

See Also:

org.acmsl.contractchecker.ContractCheckerAspectTemplateGenerator#createContractCheckerTemplate(java.lang.String)

testCreateContractCheckerAspectTemplate

public void testCreateContractCheckerAspectTemplate()
                                             throws java.lang.Exception

Tests ContractCheckerAspectTemplateGeneratorTestcreateContractCheckerAspectTemplate()

Throws:

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

See Also:

org.acmsl.contractchecker.ContractCheckerAspectTemplateGenerator#createContractCheckerAspectTemplate(java.lang.String)

testWrite

public void testWrite()
               throws java.lang.Exception

Tests ContractCheckerAspectTemplateGeneratorTestwrite()

Throws:

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

See Also:

ContractCheckerAspectTemplateGenerator.write(org.acmsl.contractchecker.ContractCheckerAspectTemplate, java.io.File)

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)