unittests.org.acmsl.contractchecker
Class ContractCheckerTaskTest

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

All Implemented Interfaces:

junit.framework.Test

public class ContractCheckerTaskTest

extends junit.framework.TestCase

Tests ContractCheckerTaskTest class.

Version:

$Revision: 1.2 $

See Also:

ContractCheckerTask

Constructor Summary

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

Method Summary

ContractCheckerTask	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	testAddSourceRoots() Tests ContractCheckerTaskTestaddSourceRoots()
void	testCreateClasspath() Tests ContractCheckerTaskTestcreateClasspath()
void	testCreateSourceRoots() Tests ContractCheckerTaskTestcreateSourceRoots()
void	testExecute() Tests ContractCheckerTaskTestexecute()
void	testExecuteDoclet() Tests ContractCheckerTaskTestexecuteDoclet()
void	testSetClasspathref() Tests ContractCheckerTaskTestsetClasspathref()
void	testSetCompliance() Tests ContractCheckerTaskTestsetCompliance()
void	testSetCopyInjars() Tests ContractCheckerTaskTestsetCopyInjars()
void	testSetDebug() Tests ContractCheckerTaskTestsetDebug()
void	testSetDebugLevel() Tests ContractCheckerTaskTestsetDebugLevel()
void	testSetDeprecation() Tests ContractCheckerTaskTestsetDeprecation()
void	testSetDestdir() Tests ContractCheckerTaskTestsetDestdir()
void	testSetEmacssym() Tests ContractCheckerTaskTestsetEmacssym()
void	testSetEncoding() Tests ContractCheckerTaskTestsetEncoding()
void	testSetFailonerror() Tests ContractCheckerTaskTestsetFailonerror()
void	testSetFork() Tests ContractCheckerTaskTestsetFork()
void	testSetGetAspectoutput() Tests ContractCheckerTaskTest accessor methods.
void	testSetGetClasspath() Tests ContractCheckerTaskTest accessor methods.
void	testSetGetSourceRoots() Tests ContractCheckerTaskTest accessor methods.
void	testSetGetTemplatefactoryclass() Tests ContractCheckerTaskTest accessor methods.
void	testSetHelp() Tests ContractCheckerTaskTestsetHelp()
void	testSetIncremental() Tests ContractCheckerTaskTestsetIncremental()
void	testSetListFileArgs() Tests ContractCheckerTaskTestsetListFileArgs()
void	testSetLog() Tests ContractCheckerTaskTestsetLog()
void	testSetMaxmem() Tests ContractCheckerTaskTestsetMaxmem()
void	testSetNoExit() Tests ContractCheckerTaskTestsetNoExit()
void	testSetNoImportError() Tests ContractCheckerTaskTestsetNoImportError()
void	testSetNowarn() Tests ContractCheckerTaskTestsetNowarn()
void	testSetOutjar() Tests ContractCheckerTaskTestsetOutjar()
void	testSetPreserveAllLocals() Tests ContractCheckerTaskTestsetPreserveAllLocals()
void	testSetProceedOnError() Tests ContractCheckerTaskTestsetProceedOnError()
void	testSetProgress() Tests ContractCheckerTaskTestsetProgress()
void	testSetReferenceInfo() Tests ContractCheckerTaskTestsetReferenceInfo()
void	testSetSource() Tests ContractCheckerTaskTestsetSource()
void	testSetSourceRootCopyFilter() Tests ContractCheckerTaskTestsetSourceRootCopyFilter()
void	testSetSourcerootsref() Tests ContractCheckerTaskTestsetSourcerootsref()
void	testSetTagFile() Tests ContractCheckerTaskTestsetTagFile()
void	testSetTarget() Tests ContractCheckerTaskTestsetTarget()
void	testSetTime() Tests ContractCheckerTaskTestsetTime()
void	testSetVerbose() Tests ContractCheckerTaskTestsetVerbose()
void	testSetVersion() Tests ContractCheckerTaskTestsetVersion()
void	testSetWarn() Tests ContractCheckerTaskTestsetWarn()
void	testSetX() Tests ContractCheckerTaskTestsetX()
void	testSetXlint() Tests ContractCheckerTaskTestsetXlint()
void	testSetXlintfile() Tests ContractCheckerTaskTestsetXlintfile()
void	testSetXlintwarnings() Tests ContractCheckerTaskTestsetXlintwarnings()
void	testSetXNoweave() Tests ContractCheckerTaskTestsetXNoweave()
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

ContractCheckerTaskTest

public ContractCheckerTaskTest(java.lang.String name)

Creates a ContractCheckerTaskTest with given name.

Parameters:

name - such name.

Method Detail

createInstance

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

testSetGetAspectoutput

public void testSetGetAspectoutput()
                            throws java.lang.Exception

Tests ContractCheckerTaskTest accessor methods.

Throws:

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

testSetGetTemplatefactoryclass

public void testSetGetTemplatefactoryclass()
                                    throws java.lang.Exception

Tests ContractCheckerTaskTest accessor methods.

Throws:

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

testSetIncremental

public void testSetIncremental()
                        throws java.lang.Exception

Tests ContractCheckerTaskTestsetIncremental()

Throws:

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

See Also:

ContractCheckerTask.setIncremental(boolean)

testSetHelp

public void testSetHelp()
                 throws java.lang.Exception

Tests ContractCheckerTaskTestsetHelp()

Throws:

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

See Also:

ContractCheckerTask.setHelp(boolean)

testSetVersion

public void testSetVersion()
                    throws java.lang.Exception

Tests ContractCheckerTaskTestsetVersion()

Throws:

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

See Also:

ContractCheckerTask.setVersion(boolean)

testSetXNoweave

public void testSetXNoweave()
                     throws java.lang.Exception

Tests ContractCheckerTaskTestsetXNoweave()

Throws:

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

See Also:

ContractCheckerTask.setXNoweave(boolean)

testSetNowarn

public void testSetNowarn()
                   throws java.lang.Exception

Tests ContractCheckerTaskTestsetNowarn()

Throws:

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

See Also:

ContractCheckerTask.setNowarn(boolean)

testSetDeprecation

public void testSetDeprecation()
                        throws java.lang.Exception

Tests ContractCheckerTaskTestsetDeprecation()

Throws:

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

See Also:

ContractCheckerTask.setDeprecation(boolean)

testSetWarn

public void testSetWarn()
                 throws java.lang.Exception

Tests ContractCheckerTaskTestsetWarn()

Throws:

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

See Also:

ContractCheckerTask.setWarn(java.lang.String)

testSetDebug

public void testSetDebug()
                  throws java.lang.Exception

Tests ContractCheckerTaskTestsetDebug()

Throws:

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

See Also:

ContractCheckerTask.setDebug(boolean)

testSetDebugLevel

public void testSetDebugLevel()
                       throws java.lang.Exception

Tests ContractCheckerTaskTestsetDebugLevel()

Throws:

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

See Also:

ContractCheckerTask.setDebugLevel(java.lang.String)

testSetEmacssym

public void testSetEmacssym()
                     throws java.lang.Exception

Tests ContractCheckerTaskTestsetEmacssym()

Throws:

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

See Also:

ContractCheckerTask.setEmacssym(boolean)

testSetXlintwarnings

public void testSetXlintwarnings()
                          throws java.lang.Exception

Tests ContractCheckerTaskTestsetXlintwarnings()

Throws:

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

See Also:

ContractCheckerTask.setXlintwarnings(boolean)

testSetXlint

public void testSetXlint()
                  throws java.lang.Exception

Tests ContractCheckerTaskTestsetXlint()

Throws:

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

See Also:

ContractCheckerTask.setXlint(java.lang.String)

testSetXlintfile

public void testSetXlintfile()
                      throws java.lang.Exception

Tests ContractCheckerTaskTestsetXlintfile()

Throws:

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

See Also:

ContractCheckerTask.setXlintfile(java.io.File)

testSetPreserveAllLocals

public void testSetPreserveAllLocals()
                              throws java.lang.Exception

Tests ContractCheckerTaskTestsetPreserveAllLocals()

Throws:

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

See Also:

ContractCheckerTask.setPreserveAllLocals(boolean)

testSetNoImportError

public void testSetNoImportError()
                          throws java.lang.Exception

Tests ContractCheckerTaskTestsetNoImportError()

Throws:

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

See Also:

ContractCheckerTask.setNoImportError(boolean)

testSetEncoding

public void testSetEncoding()
                     throws java.lang.Exception

Tests ContractCheckerTaskTestsetEncoding()

Throws:

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

See Also:

ContractCheckerTask.setEncoding(java.lang.String)

testSetLog

public void testSetLog()
                throws java.lang.Exception

Tests ContractCheckerTaskTestsetLog()

Throws:

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

See Also:

ContractCheckerTask.setLog(java.io.File)

testSetProceedOnError

public void testSetProceedOnError()
                           throws java.lang.Exception

Tests ContractCheckerTaskTestsetProceedOnError()

Throws:

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

See Also:

ContractCheckerTask.setProceedOnError(boolean)

testSetVerbose

public void testSetVerbose()
                    throws java.lang.Exception

Tests ContractCheckerTaskTestsetVerbose()

Throws:

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

See Also:

ContractCheckerTask.setVerbose(boolean)

testSetListFileArgs

public void testSetListFileArgs()
                         throws java.lang.Exception

Tests ContractCheckerTaskTestsetListFileArgs()

Throws:

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

See Also:

ContractCheckerTask.setListFileArgs(boolean)

testSetReferenceInfo

public void testSetReferenceInfo()
                          throws java.lang.Exception

Tests ContractCheckerTaskTestsetReferenceInfo()

Throws:

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

See Also:

ContractCheckerTask.setReferenceInfo(boolean)

testSetProgress

public void testSetProgress()
                     throws java.lang.Exception

Tests ContractCheckerTaskTestsetProgress()

Throws:

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

See Also:

ContractCheckerTask.setProgress(boolean)

testSetTime

public void testSetTime()
                 throws java.lang.Exception

Tests ContractCheckerTaskTestsetTime()

Throws:

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

See Also:

ContractCheckerTask.setTime(boolean)

testSetNoExit

public void testSetNoExit()
                   throws java.lang.Exception

Tests ContractCheckerTaskTestsetNoExit()

Throws:

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

See Also:

ContractCheckerTask.setNoExit(boolean)

testSetFailonerror

public void testSetFailonerror()
                        throws java.lang.Exception

Tests ContractCheckerTaskTestsetFailonerror()

Throws:

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

See Also:

ContractCheckerTask.setFailonerror(boolean)

testSetFork

public void testSetFork()
                 throws java.lang.Exception

Tests ContractCheckerTaskTestsetFork()

Throws:

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

See Also:

ContractCheckerTask.setFork(boolean)

testSetMaxmem

public void testSetMaxmem()
                   throws java.lang.Exception

Tests ContractCheckerTaskTestsetMaxmem()

Throws:

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

See Also:

ContractCheckerTask.setMaxmem(java.lang.String)

testSetTagFile

public void testSetTagFile()
                    throws java.lang.Exception

Tests ContractCheckerTaskTestsetTagFile()

Throws:

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

See Also:

ContractCheckerTask.setTagFile(java.io.File)

testSetOutjar

public void testSetOutjar()
                   throws java.lang.Exception

Tests ContractCheckerTaskTestsetOutjar()

Throws:

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

See Also:

ContractCheckerTask.setOutjar(java.io.File)

testSetDestdir

public void testSetDestdir()
                    throws java.lang.Exception

Tests ContractCheckerTaskTestsetDestdir()

Throws:

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

See Also:

ContractCheckerTask.setDestdir(java.io.File)

testSetTarget

public void testSetTarget()
                   throws java.lang.Exception

Tests ContractCheckerTaskTestsetTarget()

Throws:

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

See Also:

ContractCheckerTask.setTarget(java.lang.String)

testSetCompliance

public void testSetCompliance()
                       throws java.lang.Exception

Tests ContractCheckerTaskTestsetCompliance()

Throws:

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

See Also:

ContractCheckerTask.setCompliance(java.lang.String)

testSetSource

public void testSetSource()
                   throws java.lang.Exception

Tests ContractCheckerTaskTestsetSource()

Throws:

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

See Also:

ContractCheckerTask.setSource(java.lang.String)

testSetCopyInjars

public void testSetCopyInjars()
                       throws java.lang.Exception

Tests ContractCheckerTaskTestsetCopyInjars()

Throws:

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

See Also:

ContractCheckerTask.setCopyInjars(boolean)

testSetSourceRootCopyFilter

public void testSetSourceRootCopyFilter()
                                 throws java.lang.Exception

Tests ContractCheckerTaskTestsetSourceRootCopyFilter()

Throws:

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

See Also:

ContractCheckerTask.setSourceRootCopyFilter(java.lang.String)

testSetX

public void testSetX()
              throws java.lang.Exception

Tests ContractCheckerTaskTestsetX()

Throws:

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

See Also:

ContractCheckerTask.setX(java.lang.String)

testSetGetSourceRoots

public void testSetGetSourceRoots()
                           throws java.lang.Exception

Tests ContractCheckerTaskTest accessor methods.

Throws:

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

testCreateSourceRoots

public void testCreateSourceRoots()
                           throws java.lang.Exception

Tests ContractCheckerTaskTestcreateSourceRoots()

Throws:

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

See Also:

ContractCheckerTask.createSourceRoots()

testAddSourceRoots

public void testAddSourceRoots()
                        throws java.lang.Exception

Tests ContractCheckerTaskTestaddSourceRoots()

Throws:

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

See Also:

ContractCheckerTask.addSourceRoots(java.io.File)

testSetSourcerootsref

public void testSetSourcerootsref()
                           throws java.lang.Exception

Tests ContractCheckerTaskTestsetSourcerootsref()

Throws:

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

See Also:

ContractCheckerTask.setSourcerootsref(Reference)

testSetGetClasspath

public void testSetGetClasspath()
                         throws java.lang.Exception

Tests ContractCheckerTaskTest accessor methods.

Throws:

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

testCreateClasspath

public void testCreateClasspath()
                         throws java.lang.Exception

Tests ContractCheckerTaskTestcreateClasspath()

Throws:

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

See Also:

ContractCheckerTask.createClasspath()

testSetClasspathref

public void testSetClasspathref()
                         throws java.lang.Exception

Tests ContractCheckerTaskTestsetClasspathref()

Throws:

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

See Also:

ContractCheckerTask.setClasspathref(Reference)

testExecute

public void testExecute()
                 throws java.lang.Exception

Tests ContractCheckerTaskTestexecute()

Throws:

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

See Also:

ContractCheckerTask.execute()

testExecuteDoclet

public void testExecuteDoclet()
                       throws java.lang.Exception

Tests ContractCheckerTaskTestexecuteDoclet()

Throws:

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

See Also:

org.acmsl.contractchecker.ContractCheckerTask#executeDoclet(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)