|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioMgr
Scenario Manager. This class essentially defines the services provided by the scenario manager.
Field Summary | |
static java.lang.String |
VERSION
specification Manager version; |
Constructor Summary | |
ScenarioMgr(CoopnSpec spec,
CoopnEnv env)
Constructor. |
Method Summary | |
Scenario |
createScenario(java.lang.String name)
Creates and store an empty scenario. |
Scenario |
createSemantics()
Creates and store an empty semantics. |
java.lang.String |
displayComment(java.lang.String elem)
Comment to String conversion. |
java.lang.String |
displayModuleName(java.lang.String elem)
ModuleName to String conversion. |
void |
dispose()
Leave a package manager. |
java.lang.String |
evalComment(java.lang.String string)
String to comment conversion. |
java.lang.String |
evalModuleName(java.lang.String string)
String to ModuleName conversion. |
boolean |
exists(java.lang.String scenarioName)
Look if a scenario already exists. |
Scenario |
getScenario(java.lang.String name)
Load a scenario. |
Scenario |
getSemantics()
Load the semantics of the specification. |
CoopnUser |
lockScenario(java.lang.String scenarioName,
CoopnUser user)
Lock a scenario. |
CoopnUser |
lockSemantics(CoopnUser user)
Lock a semantics. |
java.lang.String |
semanticsName()
Get the name of the scenario known as "the semantics". |
CoopnSpec |
specification()
Get the associated spec. |
SpecMgr |
specMgr()
Get the associated spec manager. |
void |
storeScenario(Scenario scenario)
Store a scenario, or a semantics. |
void |
storeScenarioAs(Scenario scenario,
java.lang.String name,
CoopnUser user)
Store a scenario under a particular name. |
void |
unlockScenario(java.lang.String scenarioName)
Unlock a scenario. |
void |
unlockSemantics()
Unlock a semantics. |
boolean |
upToDate(Scenario scenario)
Look if a scenario is up-to-date with regards to the underlying 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
Constructor Detail |
public ScenarioMgr(CoopnSpec spec, CoopnEnv env) throws java.lang.IllegalArgumentException
spec
- the associated specificationenv
- the environment of the scenario managerjava.lang.IllegalArgumentException
- the environment is absent or inconsistent.Method Detail |
public void use()
public void dispose()
public java.lang.String semanticsName()
public CoopnUser lockSemantics(CoopnUser user)
user
- the user who want to acquire the lockjava.lang.IllegalArgumentException
- an argument is illegalpublic CoopnUser lockScenario(java.lang.String scenarioName, CoopnUser user)
scenarioName
- the scenario to lockuser
- the user who want to acquire the lockjava.lang.IllegalArgumentException
- an argument is illegalpublic void unlockSemantics()
public void unlockScenario(java.lang.String scenarioName)
public SpecMgr specMgr()
public CoopnSpec specification()
public Scenario getSemantics()
public Scenario getScenario(java.lang.String name)
name
- the name of the scenario; a null value is used to
load the semantics of the specification.public Scenario createSemantics() throws java.lang.IllegalAccessException
public Scenario createScenario(java.lang.String name) throws java.lang.IllegalAccessException
name
- the name of the scenario; a null value is used to
load the semantics of the specification.public boolean upToDate(Scenario scenario)
public boolean exists(java.lang.String scenarioName)
public void storeScenario(Scenario scenario) throws java.lang.IllegalAccessException
public void storeScenarioAs(Scenario scenario, java.lang.String name, CoopnUser user) throws java.lang.IllegalAccessException
public java.lang.String evalComment(java.lang.String string) throws java.lang.IllegalArgumentException
string
- the string to evaluates; may be nulljava.lang.IllegalArgumentException
- the element cannot be delivered (because it is
erroneous, and so on).public java.lang.String displayComment(java.lang.String elem) throws java.lang.IllegalArgumentException
elem
- the element to display; may be nulljava.lang.IllegalArgumentException
- the string cannot be delivered (because it is
erroneous, and so on).public java.lang.String evalModuleName(java.lang.String string) throws java.lang.IllegalArgumentException
string
- the string to evaluatesjava.lang.IllegalArgumentException
- the element cannot be delivered (because it is
erroneous, and so on).public java.lang.String displayModuleName(java.lang.String elem) throws java.lang.IllegalArgumentException
elem
- the element to displayjava.lang.IllegalArgumentException
- the string cannot be delivered (because it is
erroneous, and so on).
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |