edu.ucsb.ccs.jaqual.standard
Class Not

java.lang.Object
  |
  +--edu.ucsb.ccs.jaqual.standard.Not

All Implemented Interfaces:

Assertion

public class Not

extends java.lang.Object

implements Assertion

Assertion that negates another assertion.

Example use:

   ForAll.in(elements).ensure(new Not(new Equal(0)));
 

Version:

$Id: Not.java,v 1.1 2002/07/11 20:01:55 parkera Exp $

Author:

Parker Abercrombie

Constructor Summary

Not(Assertion a)
Create a new assertion.

Method Summary

boolean

eval(java.lang.Object o) Test an object by applying the inner assertion, and negating the result.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Not

public Not(Assertion a)

Create a new assertion.

Parameters:

a - an assertion to negate.

Method Detail

eval

public boolean eval(java.lang.Object o)

Test an object by applying the inner assertion, and negating the result.

Specified by:

eval in interface Assertion

Parameters:

o - the object to test.

Returns:

the opposite of the result of the inner assertion.