Uses of Interface
edu.ucsb.ccs.jaqual.Assertion

Packages that use Assertion

edu.ucsb.ccs.jaqual	This is the main package of the JaQuaL library.
edu.ucsb.ccs.jaqual.standard	This package defines several standard assertions to be used with the JaQuaL library.

Uses of Assertion in edu.ucsb.ccs.jaqual

Methods in edu.ucsb.ccs.jaqual with parameters of type Assertion

boolean	ForAll.ensure(Assertion a) Evaluate the quantifier on all objects in the collection.
boolean	Exists.suchThat(Assertion a) Evaluate the quantifier on all objects in the collection.
java.util.Vector	Elements.suchThat(Assertion a) Find the subset of the collection that meets a given assertion.

Uses of Assertion in edu.ucsb.ccs.jaqual.standard

Classes in edu.ucsb.ccs.jaqual.standard that implement Assertion

class	Equal An assertion to test for equality.
class	InRange An assertion to determine if a number falls in a given range.
class	InstanceOf Assertion to check if an object is an instance of a certain class type.
class	Not Assertion that negates another assertion.

Constructors in edu.ucsb.ccs.jaqual.standard with parameters of type Assertion

Not(Assertion a)
Create a new assertion.