Package eu.bandm.tools.ramus.runtime2

Class Success<R,M,O>

java.lang.Object

eu.bandm.tools.ramus.runtime2.Action<R,M,O>

eu.bandm.tools.ramus.runtime2.Success<R,M,O>

public final class Success<R,M,O>
extends Action<R,M,O>

Leaf node class of the parsing search-tree monad.

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ramus.runtime2.Action

Action.BiContinuation<R,S,T,M,O>, Action.Continuation<R,S,M,O>, Action.Trampoline<R,S,M,O>, Action.Visitor<R,M,O>

Constructor Summary

Constructors

Constructor	Description
Success(R result)

Method Summary

Modifier and Type	Method	Description
<S> Action<S,M,O>	bind(Action.Continuation<? super R,S,M,O> cont)	Applies a monadic continuation to all leaves of this search tree (transition operation).
protected int	getLeafCount()
R	getResult()
void	host(Action.Visitor<? super R,M,O> v)	Performs a double dispatch to the appropriate method of a visitor.
boolean	isEmpty()	Checks whether this search tree is empty.
<Q> Action<R,M,Q>	prune()	Simplifies this search tree by removing redundant choice nodes and all obstructions (transition operation).
(package private) <S> Action<S,M,O>	recycle(S arg)
String	toString()

Methods inherited from class eu.bandm.tools.ramus.runtime2.Action

choice, diagnosis, diagnosis, fail, fail, forEachObstruction, forEachResult, map, optional, optional, pruneTo, succeed, succeed

Methods inherited from class java.lang.Object

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

Constructor Details

Success

public Success(R result)

Method Details

getResult

public R getResult()

getLeafCount

protected int getLeafCount()

Specified by:

getLeafCount in class Action<R,M,O>

bind

public <S> Action<S,M,O> bind(Action.Continuation<? super R,S,M,O> cont)

Applies a monadic continuation to all leaves of this search tree (transition operation).

This leaf node is advertised for recyling in the process.

Specified by:

bind in class Action<R,M,O>

Type Parameters:

S - the output parsing result type of the continuation

Parameters:

cont - the continuation to apply

Returns:

an updated search tree

recycle

<S> Action<S,M,O> recycle(S arg)

prune

public <Q> Action<R,M,Q> prune()

Description copied from class: Action

Simplifies this search tree by removing redundant choice nodes and all obstructions (transition operation).

Specified by:

prune in class Action<R,M,O>

Type Parameters:

Q - the new type of obstructions

Returns:

a simplified search tree without nested or unary choice nodes

isEmpty

public boolean isEmpty()

Description copied from class: Action

Checks whether this search tree is empty.

Specified by:

isEmpty in class Action<R,M,O>

Returns:

true iff this tree has no leaves

toString

public String toString()

Overrides:

toString in class Object

host

public void host(Action.Visitor<? super R,M,O> v)

Description copied from class: Action

Performs a double dispatch to the appropriate method of a visitor.

Specified by:

host in class Action<R,M,O>

Parameters:

v - the visitor