eu.bandm.tools.ramus.runtime

Class Action.Visitor<M,R>

java.lang.Object

eu.bandm.tools.ramus.runtime.Action.Visitor<M,R>

Enclosing class:

Action<M,R>

public static class Action.Visitor<M,R>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Visitor()

Method Summary

Modifier and Type	Method and Description
void	visitChoice(java.lang.Iterable<Action<M,R>> alternatives)
void	visitDiagnosis(java.lang.Iterable<M> msgs, Action<M,R> body)
void	visitSuccess(R result)

Methods inherited from class java.lang.Object

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

Constructor Detail

Visitor

public Visitor()

Method Detail

visitChoice

public void visitChoice(java.lang.Iterable<Action<M,R>> alternatives)

visitDiagnosis

public void visitDiagnosis(java.lang.Iterable<M> msgs,
                           Action<M,R> body)

visitSuccess

public void visitSuccess(R result)