net.fortytwo.ripple.model.regex

Class StarQuantifier

java.lang.Object

net.fortytwo.ripple.model.regex.StarQuantifier

All Implemented Interfaces:

Mapping<RippleList,RippleList,ModelConnection>, StackMapping

public class StarQuantifier
extends Object
implements StackMapping

Author: josh Date: Feb 14, 2008 Time: 4:28:41 PM

Constructor Summary

Constructors

Constructor and Description
StarQuantifier(Operator oper)

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()

Methods inherited from class java.lang.Object

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

Constructor Detail

StarQuantifier

public StarQuantifier(Operator oper)

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.

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.

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

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