functionaltests.org.acmsl.contractchecker
Class DummyClassTest

java.lang.Object
  |
  +--junit.framework.Assert
        |
        +--junit.framework.TestCase
              |
              +--functionaltests.org.acmsl.contractchecker.DummyClassTest
All Implemented Interfaces:
junit.framework.Test

public class DummyClassTest
extends junit.framework.TestCase

Performs some tests on DummyClass class' pre- and post-conditions.

Version:
$Revision: 1.3 $
Author:
Jose San Leandro Armendáriz
See Also:
functionaltests.org.acmsl.commons.contractchecker.DummyClass

Constructor Summary
DummyClassTest(java.lang.String name)
          Constructs a test case with the given name.
 
Method Summary
 void testConcatenate()
          Tests the DummyClass.concatenate() method's preconditions.
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, 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
 

Constructor Detail

DummyClassTest

public DummyClassTest(java.lang.String name)
Constructs a test case with the given name.
Parameters:
name - the test case name.
Method Detail

testConcatenate

public void testConcatenate()
Tests the DummyClass.concatenate() method's preconditions.
See Also:
DummyClass.concatenate(String,Object)


Copyright © 2003-2004 ACM S.L.. All Rights Reserved.