net.java.quickcheck
Interface Characteristic<T>

Type Parameters:
T - type of generated random test instances
All Known Implementing Classes:
AbstractCharacteristic

public interface Characteristic<T>

A characteristic specifies an aspect of a system under test.

The characteristic stated is tested with a number of test data instances generated by a generator. All runs of a characteristic's specify(Object) method have to be valid. Invalid runs have to throw an exception.


Method Summary
 String name()
          Unique name for this characteristic instance.
 void setUp()
          Set up operation before specify(Object) is executed.
 void specify(T instance)
          Checks the characteristic's specification for a test case instance.
 void tearDown()
          Clean up operation after specify(Object) was executed.
 

Method Detail

specify

void specify(T instance)
             throws Throwable
Checks the characteristic's specification for a test case instance.

Parameters:
instance - for which to check the characteristic
Throws:
Throwable - if the instance does not confirm to the characteristic's specification

setUp

void setUp()
           throws Exception
Set up operation before specify(Object) is executed.

Throws:
Exception

tearDown

void tearDown()
              throws Exception
Clean up operation after specify(Object) was executed.

Throws:
Exception

name

String name()
Unique name for this characteristic instance.

Returns:
name of the characteristic.


Copyright © 2011. All Rights Reserved.