|
JML | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object junit.framework.Assert junit.framework.TestCase org.jmlspecs.jmlunit.strategies.CharStrategyTypeTest
Hand-coded JUnit test for subtypes of CharStrategyType.
Class Specifications |
Specifications inherited from class Object |
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this); |
Model Field Summary |
Model fields inherited from class java.lang.Object |
_getClass, objectState, theString |
Ghost Field Summary |
Ghost fields inherited from class java.lang.Object |
objectTimesFinalized, owner |
Field Summary |
Fields inherited from class junit.framework.TestCase |
|
Constructor Summary | |
CharStrategyTypeTest(String name)
Initialize this class. |
Model Method Summary |
Model methods inherited from class java.lang.Object |
hashValue |
Method Summary | |
static void |
main(String[] args)
Run the tests. |
static junit.framework.Test |
suite()
Return the test suite for this test class. |
void |
testCharBigStrategyContents()
Test contents of CharBigStrategy. |
void |
testCharBigStrategySize()
Test CharBigStrategy's size |
void |
testCharStrategy()
Test CharStrategy's iterator |
void |
testCharStrategyFreshness()
Test freshness of these strategies. |
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 |
public CharStrategyTypeTest(String name)
Method Detail |
public static void main(String[] args)
public static junit.framework.Test suite()
public void testCharStrategy()
public void testCharBigStrategySize()
public void testCharBigStrategyContents()
public void testCharStrategyFreshness()
|
JML | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |