Not

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> edu >> ucsb >> ccs >> jaqual >> [ standard overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of edu.ucsb.ccs.jaqual.standard.Not

SOURCE |

Download edu.ucsb.ccs.jaqual.standard.Not

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.ucsb.ccs.jaqual.standard
Class Not

java.lang.Object
  edu.ucsb.ccs.jaqual.standard.Not

All Implemented Interfaces:: edu.ucsb.ccs.jaqual.Assertion

public class Not
extends java.lang.Object
implements edu.ucsb.ccs.jaqual.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 $

Field Summary

protected edu.ucsb.ccs.jaqual.Assertion assertion
          The assertion to negate.

Constructor Summary

Not(edu.ucsb.ccs.jaqual.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

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

Field Detail

assertion

protected edu.ucsb.ccs.jaqual.Assertion assertion

The assertion to negate.

Constructor Detail

Not

public Not(edu.ucsb.ccs.jaqual.Assertion a)

Create a new assertion.

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 edu.ucsb.ccs.jaqual.Assertion