net.fortytwo.ripple.model

Class ListDequotation

java.lang.Object

net.fortytwo.ripple.model.ListDequotation

All Implemented Interfaces:

Mapping<RippleList,RippleList,ModelConnection>, StackMapping

public class ListDequotation
extends Object
implements StackMapping

Constructor Summary

Constructors

Constructor and Description
ListDequotation(RippleList list)

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(RippleList arg, Sink<RippleList> solutions, ModelConnection mc) Applies the mapping to a single argument, producing zero or more solutions and passing them into a downstream Sink
int	arity()
StackMapping	getInverse()
boolean	isTransparent()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ListDequotation

public ListDequotation(RippleList list)

Method Detail

arity

public int arity()

Specified by:

arity in interface StackMapping

Returns:

the fixed number of arguments which this function consumes before computing a result.

apply

public void apply(RippleList arg,
         Sink<RippleList> solutions,
         ModelConnection mc)
           throws RippleException

Description copied from interface: Mapping

Applies the mapping to a single argument, producing zero or more solutions and passing them into a downstream Sink

Specified by:

apply in interface Mapping<RippleList,RippleList,ModelConnection>

Parameters:

arg - the argument data item

solutions - the solutions the argument is mapped to

mc - a helper object providing context (may be null)

Throws:

RippleException - if a data handling error occurs

isTransparent

public boolean isTransparent()

Specified by:

isTransparent in interface Mapping<RippleList,RippleList,ModelConnection>

Returns:

whether this function is referentially transparent w.r.t. all of its parameters.

getInverse

public StackMapping getInverse()
                        throws RippleException

Specified by:

getInverse in interface StackMapping

Returns:

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

Throws:

RippleException - if the inverse cannot be determined

toString

public String toString()

Overrides:

toString in class Object