net.fortytwo.ripple.libs.logic
Class And

java.lang.Object
  net.fortytwo.ripple.model.PrimitiveStackMapping
      net.fortytwo.ripple.libs.logic.And

All Implemented Interfaces:

Mapping<StackContext,StackContext,RippleException>, RippleValue, StackMapping

public class And
extends PrimitiveStackMapping

A primitive which consumes two Boolean values and produces the result of their logical conjunction.

Nested Class Summary

Nested classes/interfaces inherited from class net.fortytwo.ripple.model.PrimitiveStackMapping

PrimitiveStackMapping.Parameter

Nested classes/interfaces inherited from interface net.fortytwo.ripple.model.RippleValue

RippleValue.Type

Constructor Summary

And()

Method Summary

void	apply(StackContext arg, Sink<StackContext,RippleException> solutions)
String	getComment()
String[]	getIdentifiers()
StackMapping	getInverse()
PrimitiveStackMapping.Parameter[]	getParameters()

Methods inherited from class net.fortytwo.ripple.model.PrimitiveStackMapping

arity, equals, getMapping, getType, hashCode, isTransparent, printTo, setRdfEquivalent, toRDF, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

And

public And()
    throws RippleException

Throws:

RippleException

Method Detail

getParameters

public PrimitiveStackMapping.Parameter[] getParameters()

Specified by:

getParameters in class PrimitiveStackMapping

getComment

public String getComment()

Specified by:

getComment in class PrimitiveStackMapping

Returns:

a comment about the primitive. May be null.

getIdentifiers

public String[] getIdentifiers()

Specified by:

getIdentifiers in class PrimitiveStackMapping

apply

public void apply(StackContext arg,
                  Sink<StackContext,RippleException> solutions)
           throws RippleException

Throws:

RippleException

getInverse

public StackMapping getInverse()

Specified by:

getInverse in interface StackMapping

Overrides:

getInverse in class PrimitiveStackMapping

Returns:

the StackMapping exactly inverse to this mapping, or a NullMapping if no such mapping can be defined.