|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.CoopnSem
Coopn semantics evaluator. This class essentially defines the various requests dealing with the semantics of CO-OPN. Objects of this class are able to handle one request at a time and deliver their set of results as an Iterator on individual results. Accordingly, Each method call, each new request (eval methods, next methods, formal or short form methods) invalidates all previous returned iterators.
Field Summary | |
static int |
DEFAULTBOUND
Default Evaluation bound. |
static int |
SLDMODE
SLD Evaluation mode. |
static java.lang.String |
VERSION
Coopn semantics version. |
Constructor Summary | |
CoopnSem(CoopnWorkspace spec,
CoopnEnv env)
Constructor for a semantics of a workspace (therefore for a specification). |
Method Summary | |
void |
dispose()
Leave a coopn semantics; dispose all its resources. |
CoopnSubstitutionIterator |
eval(CoopnAdtFormulaSymbol formula,
AnonymousNameBridge bridge)
Evaluation of an ADT formula. |
CoopnSubstitutionIterator |
eval(CoopnAdtFormulaSymbol formula,
CoopnSubstitution init,
AnonymousNameBridge bridge)
Evaluation of an ADT formula. |
java.lang.String[] |
getEvaluationModes()
Get the various evaluation mode. |
StateIterator |
initial(State state,
AnonymousNameBridge bridge)
Evaluation of the initial state of a specification. |
StateIterator |
initial(State state,
CoopnSubstitution init,
AnonymousNameBridge bridge)
Evaluation of the initial state of a specification. |
void |
interrupt()
Iterator interruption. |
void |
setEvaluationBound(int bound)
Set the evaluation bound. |
void |
setEvaluationMode(int mode)
Set the evaluation mode. |
void |
setNormalForm()
Set normal form mode. |
void |
setShortForm()
Set short form mode. |
CoopnWorkspace |
spec()
Return the associated specification. |
StepIterator |
step(Transition transition,
AnonymousNameBridge bridge)
Evaluates the next step in the semantics of a specification. |
StepIterator |
step(Transition transition,
CoopnSubstitution init,
AnonymousNameBridge bridge)
Evaluates the next step in the semantics of a specification. |
void |
use()
Uses an aspect manager. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String VERSION
public static int SLDMODE
public static int DEFAULTBOUND
Constructor Detail |
public CoopnSem(CoopnWorkspace spec, CoopnEnv env)
spec
- the workspacejava.lang.IllegalArgumentException
- the semnatics cannot be created, because of erroneous
arguments or because the underlying logic engine
cannot be created.Method Detail |
public void use()
public void dispose()
public CoopnWorkspace spec()
public void setNormalForm()
public void setShortForm()
public void setEvaluationMode(int mode)
public void setEvaluationBound(int bound)
public java.lang.String[] getEvaluationModes()
public void interrupt()
public CoopnSubstitutionIterator eval(CoopnAdtFormulaSymbol formula, CoopnSubstitution init, AnonymousNameBridge bridge)
formula
- the formula to evaluateinit
- the initial substitution, or nullbridge
- an anonymous name bridge, or nullpublic CoopnSubstitutionIterator eval(CoopnAdtFormulaSymbol formula, AnonymousNameBridge bridge)
formula
- the formula to evaluatebridge
- an anonymous name bridge, or nullpublic StateIterator initial(State state, CoopnSubstitution init, AnonymousNameBridge bridge)
state
- the initial to evaluate, cannot be nullinit
- the initial substitution, or nullbridge
- an anonymous name bridge, or nullpublic StateIterator initial(State state, AnonymousNameBridge bridge)
state
- the initial to evaluate, cannot be nullbridge
- an anonymous name bridge, or nullpublic StepIterator step(Transition transition, CoopnSubstitution init, AnonymousNameBridge bridge)
transition
- the transition to evaluate, cannot be nullinit
- the initial substitution, or nullbridge
- an anonymous name bridge, or nullpublic StepIterator step(Transition transition, AnonymousNameBridge bridge)
transition
- the transition to evaluate, cannot be nullbridge
- an anonymous name bridge, or null
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |