net.sf.jga.fn.logical
Class BinaryNegate<T1,T2>

java.lang.Object
  net.sf.jga.fn.Functor<R>
      net.sf.jga.fn.BinaryFunctor<T1,T2,java.lang.Boolean>
          net.sf.jga.fn.logical.BinaryNegate<T1,T2>

All Implemented Interfaces:

java.io.Serializable, Visitable

public class BinaryNegate<T1,T2>
extends BinaryFunctor<T1,T2,java.lang.Boolean>

Binary Predicate that logically negates the result of a child predicate. Returns true when child predicate p returns false given object arguments x and y.

Copyright © 2002-2005 David A. Hall

Author:

David A. Hall

See Also:

Serialized Form

Nested Class Summary

static interface

BinaryNegate.Visitor Interface for classes that may interpret a BinaryNegate predicate.

Constructor Summary

BinaryNegate(BinaryFunctor<? super T1,? super T2,java.lang.Boolean> p)
Builds a BinaryNegate predicate wrapping the given Binary Predicate.

Method Summary

void	accept(Visitor v) Calls the Visitor's visit(UnaryNegate) method, if it implements the nested Visitor interface.
java.lang.Boolean	fn(T1 x, T2 y) Given arguments x and y, returns true when child predicate p returns false for x and y, otherwise returns true.
BinaryFunctor<? super T1,? super T2,java.lang.Boolean>	getPredicate() Returns the child predicate.
java.lang.String	toString()

Methods inherited from class net.sf.jga.fn.BinaryFunctor

bind, bind0th, bind1st, bind2nd, bindNth, compose, compose, composeNth, distribute, eval, generate, generate1st, generate2nd, generateNth

Methods inherited from class net.sf.jga.fn.Functor

composeNth

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryNegate

public BinaryNegate(BinaryFunctor<? super T1,? super T2,java.lang.Boolean> p)

Builds a BinaryNegate predicate wrapping the given Binary Predicate.

Throws:

java.lang.IllegalArgumentException - when no child predicate is given

Method Detail

getPredicate

public BinaryFunctor<? super T1,? super T2,java.lang.Boolean> getPredicate()

Returns the child predicate.

Returns:

the child predicate.

fn

public java.lang.Boolean fn(T1 x,
                            T2 y)

Given arguments x and y, returns true when child predicate p returns false for x and y, otherwise returns true.

Specified by:

fn in class BinaryFunctor<T1,T2,java.lang.Boolean>

Returns:

!(p.p(x,y))

accept

public void accept(Visitor v)

Calls the Visitor's visit(UnaryNegate) method, if it implements the nested Visitor interface.

Specified by:

accept in interface Visitable

Overrides:

accept in class Functor<java.lang.Boolean>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object