Package eu.bandm.tools.ramus.runtime2

Class Action.Visitor<R,M,O>

java.lang.Object

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

Enclosing class:

Action<R,M,O>

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

Constructor Summary

Constructors

Constructor	Description
Visitor()

Method Summary

Modifier and Type	Method	Description
void	visit(Blockage<? extends R,M,O> x)
void	visit(Choice<? extends R,M,O> x)
void	visit(Diagnosis<? extends R,M,O> x)
void	visit(Success<? extends R,M,O> x)
protected void	visitObstruction(O obstruction, ReverseList<M> msgStack)
protected void	visitResult(R result, ReverseList<M> msgStack)

Methods inherited from class java.lang.Object

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

Constructor Details

Visitor

public Visitor()

Method Details

visit

public void visit(Success<? extends R,M,O> x)

visit

public void visit(Blockage<? extends R,M,O> x)

visit

public void visit(Choice<? extends R,M,O> x)

visit

public void visit(Diagnosis<? extends R,M,O> x)

visitResult

protected void visitResult(R result,
 ReverseList<M> msgStack)

visitObstruction

protected void visitObstruction(O obstruction,
 ReverseList<M> msgStack)