|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ScenarioMgr.Scenario
Scenario in the CO-OPN semantics. This class is not protected against external manipulations, i.e. methods are delivering the object stored in this class, instead of copies. In other words, modifications of the objects returned by this class are reflected inside the instances of this class ! This is for performance reasons. Tools implementaors are warned !!!
Constructor Summary | |
Scenario(java.lang.String name,
CoopnCompilInfo compilInfo,
java.lang.String comment)
Build a new empty scenario. |
Method Summary | |
void |
addInitialState(State state)
Add a initial state. |
void |
addStep(Step step)
Add a step. |
java.lang.Object |
clone()
Cloning method. |
java.lang.String |
comment()
Comment retrieving method. |
CoopnCompilInfo |
compilInfo()
Return the compilation information associated to this module. |
java.lang.String |
completeKind()
Complete kind retrieving method. |
boolean |
contains(State state)
Look if a state is included in the scenario. |
boolean |
contains(Step step)
Look if a step is included in the scenario. |
void |
endAnonymousNameBridge()
End an anonymous name bridge. |
boolean |
equals(java.lang.Object obj)
Equality method. |
CoopnAnonymousName |
getAnonymousName(java.lang.Object key)
Get the anonymous name corresponding to the key. |
java.lang.String |
getName(State state)
Get the name of a state. |
java.lang.String |
getName(Step step)
Get the name of a transition. |
int |
hashCode()
Hashcode method. |
boolean |
hasParameters()
Look if this module has parameters,i.e. additional information to the complete kind. |
boolean |
isInitial(State state)
get a flag telling if a state is initial or not. |
boolean |
isTotallyExplored(State state)
get a flag telling if a state is totally explored or not. |
java.lang.String |
kind()
Kind retrieving method. |
int |
moduleKind()
Get the module kind (in the sense of the package manager) of this module, for instance COOPNSOURCE, COALASOURCE, PACKAGE, and so on). |
java.lang.String |
moduleName()
Get the name. |
java.lang.String |
name()
Get the name. |
java.lang.String |
parameters()
Parameters retrieving method. |
void |
removeState(State state)
Remove a state. |
void |
removeStep(Step step)
Remove a step. |
CoopnSyntacticSection[] |
sections()
Get the sections of this module. |
void |
setComment(java.lang.String comment)
|
void |
setInitial(State state,
boolean initial)
Set a state as initial. |
void |
setName(State state,
java.lang.String name)
Set the name of a state. |
void |
setName(Step step,
java.lang.String name)
Set the name of a transition. |
void |
setName(java.lang.String name)
Set the name. |
void |
setTotallyExplored(State state,
boolean totallyExplored)
Set a state as totally explored or not. |
void |
startAnonymousNameBridge()
Start an anonymous name bridge. |
java.util.Set |
states()
Get the set of states. |
java.util.Set |
steps()
Get the set of steps. |
java.lang.String |
toCompleteString()
String conversion method. |
java.lang.String |
toCompleteString(CoopnEnv env)
String conversion method. |
java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
String conversion method. |
java.lang.String |
toString()
String conversion method. |
java.lang.String |
toString(CoopnEnv env)
String conversion method. |
java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public Scenario(java.lang.String name, CoopnCompilInfo compilInfo, java.lang.String comment)
name
- the name of the scenariocomment
- the associated structured commentsMethod Detail |
public java.lang.String name()
public void setName(java.lang.String name)
public java.lang.String moduleName()
moduleName
in interface CoopnSyntacticModule
public int moduleKind()
moduleKind
in interface CoopnSyntacticModule
public CoopnCompilInfo compilInfo()
compilInfo
in interface CoopnSyntacticModule
public java.lang.String kind()
kind
in interface CoopnSyntacticModule
public java.lang.String completeKind()
completeKind
in interface CoopnSyntacticModule
public boolean hasParameters()
hasParameters
in interface CoopnSyntacticModule
public java.lang.String parameters()
parameters
in interface CoopnSyntacticModule
public java.lang.String comment()
comment
in interface CoopnSyntacticModule
public void setComment(java.lang.String comment)
public CoopnSyntacticSection[] sections()
sections
in interface CoopnSyntacticModule
public java.util.Set states()
public java.util.Set steps()
public void addInitialState(State state)
state
- the state; cannot be nulljava.lang.IllegalArgumentException
- the state is empty.public void removeState(State state)
public boolean contains(State state)
public void addStep(Step step)
step
- the step; cannot be nulljava.lang.IllegalArgumentException
- the step is empty.public void removeStep(Step step)
step
- the step; cannot be nulljava.lang.IllegalArgumentException
- the step is empty.public boolean contains(Step step)
public void setName(State state, java.lang.String name)
state
- the statename
- the name; a null value or an empty string means no name
empty namepublic java.lang.String getName(State state)
state
- the statepublic void setName(Step step, java.lang.String name)
transition
- the transitionname
- the name; a null value or an empty string means no name
empty namepublic java.lang.String getName(Step step)
transition
- the transitionpublic boolean isInitial(State state)
state
- the statetotallyExplored
- true for totally explored, false elsepublic void setInitial(State state, boolean initial)
public void setTotallyExplored(State state, boolean totallyExplored)
state
- the statetotallyExplored
- true for totally explored, false elsepublic boolean isTotallyExplored(State state)
state
- the statetotallyExplored
- true for totally explored, false elsepublic void startAnonymousNameBridge()
startAnonymousNameBridge
in interface AnonymousNameBridge
public void endAnonymousNameBridge()
endAnonymousNameBridge
in interface AnonymousNameBridge
public CoopnAnonymousName getAnonymousName(java.lang.Object key)
getAnonymousName
in interface AnonymousNameBridge
public boolean equals(java.lang.Object obj)
CoopnSyntacticElement
equals
in interface CoopnSyntacticElement
equals
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic int hashCode()
CoopnSyntacticElement
hashCode
in interface CoopnSyntacticElement
hashCode
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
public java.lang.String toString(CoopnEnv env, int indent)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.public java.lang.String toString(CoopnEnv env)
toString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toString()
toString
in interface CoopnSyntacticElement
toString
in class java.lang.Object
public java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.public java.lang.String toCompleteString(CoopnEnv env)
toCompleteString
in interface CoopnSyntacticElement
env
- the environment deciding the form of the displaypublic java.lang.String toCompleteString()
toCompleteString
in interface CoopnSyntacticElement
public java.lang.Object clone()
clone
in interface CoopnSyntacticElement
clone
in class java.lang.Object
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |