org.jmlspecs.jmlunit.strategies
Class BooleanStrategyTypeTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.jmlspecs.jmlunit.strategies.BooleanStrategyTypeTest

All Implemented Interfaces:

junit.framework.Test

public class BooleanStrategyTypeTest

extends junit.framework.TestCase

Hand-coded JUnit test for subtypes of BooleanStrategyType. (Of course, there's really only one such strategy, as BooleanBigStrategy is in essence the same as BooleanStrategy.)

Author:

Gary T. Leavens

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

BooleanStrategyTypeTest(String name)           Initialize this class.

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
protected  void	checkBooleanIterator(BooleanIterator iter)           Check for the expected values in the iterator.
static void	main(String[] args)           Run the tests.
static junit.framework.Test	suite()           Return the test suite for this test class.
void	testBooleanBigStrategy()           Test BooleanStrategy's iterator
void	testBooleanStrategy()           Test BooleanStrategy's iterator
void	testBooleanStrategyFreshness()           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

BooleanStrategyTypeTest

public BooleanStrategyTypeTest(String name)

Initialize this class.

main

public static void main(String[] args)

Run the tests.

suite

public static junit.framework.Test suite()

Return the test suite for this test class.

Specifications:

ensures \result != null;

testBooleanStrategy

public void testBooleanStrategy()

Test BooleanStrategy's iterator

testBooleanBigStrategy

public void testBooleanBigStrategy()

Test BooleanStrategy's iterator

checkBooleanIterator

protected void checkBooleanIterator(BooleanIterator iter)

Check for the expected values in the iterator.

Specifications:

requires iter != null;

testBooleanStrategyFreshness

public void testBooleanStrategyFreshness()

Test freshness of these strategies.