|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.SpecMgr.SpecMgr
Specification Manager. This class essentially defines the services provided by the specification manager.
Field Summary | |
static java.lang.String |
VERSION
specification Manager version; |
Constructor Summary | |
SpecMgr(CoopnMgr coopnMgr,
CoopnEnv env)
Constructor. |
Method Summary | |
void |
addAssociatedClassCreationVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type,
java.lang.String originType)
Associate a class creation variable to the spec. |
void |
addAssociatedClassDestructionVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type,
java.lang.String originType)
Associate a class destruction variable to the spec. |
void |
addAssociatedClassGateVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type,
java.lang.String originType)
Associate a class gate variable to the spec. |
void |
addAssociatedClassMethodVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type,
java.lang.String originType)
Associate a class method variable to the spec. |
void |
addAssociatedConstraint(java.lang.String specName,
java.lang.String constraintName)
Associate a constraint to the spec. |
void |
addAssociatedContextGateVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type)
Associate a context gate variable to the spec. |
void |
addAssociatedContextMethodVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type)
Associate a context method variable to the spec. |
void |
addAssociatedGeneratorVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String domain,
java.lang.String codomain)
Associate a generator variable to the spec. |
void |
addAssociatedObjectVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String type)
Associate an object variable to the spec. |
void |
addAssociatedOperationVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String domain,
java.lang.String codomain)
Associate an operation variable to the spec. |
void |
addAssociatedScenario(java.lang.String specName,
java.lang.String scenarioName)
Associate a scenario to the spec. |
void |
addAssociatedSortVariable(java.lang.String specName,
java.lang.String varName)
Associate a sort variable to the spec. |
void |
addAssociatedSource(java.lang.String specName,
java.lang.String sourceName)
Associate a source to the spec. |
void |
addAssociatedTermVariable(java.lang.String specName,
java.lang.String varName,
java.lang.String varType)
Associate a term variable to the spec. |
void |
addAssociatedTest(java.lang.String specName,
java.lang.String testName)
Associate a test to the spec. |
void |
addAssociatedTypeVariable(java.lang.String specName,
java.lang.String varName)
Associate a type variable to the spec. |
void |
addClassCreationSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Add a class creation variable symbol. |
void |
addClassDestructionSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Add a class destruction variable symbol. |
void |
addClassGateSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Add a class gate variable symbol. |
void |
addClassMethodSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Add a class method variable symbol. |
void |
addConstraint(java.lang.String specName,
SpecConstraintSymbol symbol)
Add a constraint symbol. |
void |
addContextGateSymbolVariable(java.lang.String specName,
SpecRelationnalVariableSymbol symbol)
Add a context gate variable symbol. |
void |
addContextMethodSymbolVariable(java.lang.String specName,
SpecRelationnalVariableSymbol symbol)
Add a context method variable symbol. |
void |
addGeneratorSymbolVariable(java.lang.String specName,
SpecFunctionnalVariableSymbol symbol)
Add a generator variable symbol. |
void |
addObjectSymbolVariable(java.lang.String specName,
SpecParamVariableSymbol symbol)
Add an object variable symbol. |
void |
addOperationSymbolVariable(java.lang.String specName,
SpecFunctionnalVariableSymbol symbol)
Add an operation variable symbol. |
void |
addScenario(java.lang.String specName,
SpecScenarioSymbol symbol)
Add a scenario symbol. |
void |
addSortSymbolVariable(java.lang.String specName,
SpecVariableSymbol symbol)
Add a sort variable symbol. |
void |
addSource(java.lang.String specName,
SpecSourceSymbol symbol)
Add a source module symbol. |
void |
addTermVariable(java.lang.String specName,
SpecParamVariableSymbol symbol)
Add a term variable symbol. |
void |
addTest(java.lang.String specName,
SpecTestSymbol symbol)
Add a test symbol. |
void |
addTypeSymbolVariable(java.lang.String specName,
SpecVariableSymbol symbol)
Add a type variable symbol. |
CoopnMgr |
coopnMgr()
Get the associated coopn manager. |
void |
createSpecification(java.lang.String specName,
java.lang.String comment)
Creates a specification. |
java.lang.String |
displayComment(java.lang.String elem)
Comment to String conversion. |
java.lang.String |
displayModuleName(java.lang.String elem)
ModuleName to String conversion. |
java.lang.String |
displayName(java.lang.String elem)
Name 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. |
java.lang.String |
evalName(java.lang.String string)
String to Name conversion. |
SpecModule |
getAndObserveSpecModule(java.lang.String specName,
SpecModuleObserver observer)
Get a specification module and register a specification module observer. |
java.lang.String[] |
getDependencies(java.lang.String name)
Get the dependencies of a specification. |
SpecModule |
getModule(java.lang.String SpecName)
Get a specification module. |
CoopnSpec |
getSpecification(java.lang.String specName)
Get a specification. |
CoopnUser |
lockSpecModule(java.lang.String specName,
CoopnUser user)
Lock a specification module. |
void |
modifyComment(java.lang.String specName,
java.lang.String comment)
Change the comment of a specification. |
void |
reloadSpecModule(java.lang.String specName)
Reload a specification module from the disk. |
void |
removeAssociatedSource(java.lang.String specName,
java.lang.String sourceName)
Remove an associated source from the spec. |
void |
removeClassCreationSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Remove a class creation variable symbol. |
void |
removeClassDestructionSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Remove a class destruction variable symbol. |
void |
removeClassGateSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Remove a class gate variable symbol. |
void |
removeClassMethodSymbolVariable(java.lang.String specName,
SpecBiRelationnalVariableSymbol symbol)
Remove a class method variable symbol. |
void |
removeConstraint(java.lang.String specName,
SpecConstraintSymbol symbol)
Remove a constraint symbol. |
void |
removeContextGateSymbolVariable(java.lang.String specName,
SpecRelationnalVariableSymbol symbol)
Remove a context gate variable symbol. |
void |
removeContextMethodSymbolVariable(java.lang.String specName,
SpecRelationnalVariableSymbol symbol)
Remove a context method variable symbol. |
void |
removeGeneratorSymbolVariable(java.lang.String specName,
SpecFunctionnalVariableSymbol symbol)
Remove a generator variable symbol. |
void |
removeObjectSymbolVariable(java.lang.String specName,
SpecParamVariableSymbol symbol)
Remove an object variable symbol. |
void |
removeOperationSymbolVariable(java.lang.String specName,
SpecFunctionnalVariableSymbol symbol)
Remove an operation variable symbol. |
void |
removeScenario(java.lang.String specName,
SpecScenarioSymbol symbol)
Remove a scenario symbol. |
void |
removeSortSymbolVariable(java.lang.String specName,
SpecVariableSymbol symbol)
Remove a sort variable symbol. |
void |
removeSource(java.lang.String specName,
SpecSourceSymbol symbol)
Remove a source module symbol. |
void |
removeTermVariable(java.lang.String specName,
SpecParamVariableSymbol symbol)
Remove a term variable symbol. |
void |
removeTest(java.lang.String specName,
SpecTestSymbol symbol)
Remove a test symbol. |
void |
removeTypeSymbolVariable(java.lang.String specName,
SpecVariableSymbol symbol)
Remove a type variable symbol. |
void |
syncSpecModule(java.lang.String specName)
Sync a specification module. |
void |
unlockSpecModule(java.lang.String specName)
Unlock a specification module. |
void |
unregisterObserver(java.lang.String specName,
SpecModuleObserver observer)
unregister a specification module observer. |
void |
updateSpecification(CoopnSpec spec)
Update 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
Constructor Detail |
public SpecMgr(CoopnMgr coopnMgr, CoopnEnv env) throws java.lang.IllegalArgumentException
coopnMgr
- the associated co-opn managerenv
- the environment of the spec managerjava.lang.IllegalArgumentException
- the environment is absent or inconsistent.Method Detail |
public void use()
public void dispose()
public CoopnMgr coopnMgr()
public CoopnSpec getSpecification(java.lang.String specName) throws java.lang.IllegalArgumentException
specName
- the spec namejava.lang.IllegalArgumentException
- Specification not found, or erroneous; problem
with the environment.public void updateSpecification(CoopnSpec spec) throws java.lang.IllegalArgumentException
spec
- the specification, an object wich should be a correct
specification and which is about to be modified by
this methodjava.lang.IllegalArgumentException
- Specification not found, or erroneous; problem
with the environment. In any case, the
specification is updated as much as possible.public java.lang.String[] getDependencies(java.lang.String name) throws java.lang.IllegalArgumentException
name
- the specification namejava.lang.IllegalArgumentException
- the module cannot be delivered (because it is
not found, erroneous, and so on).public SpecModule getModule(java.lang.String SpecName) throws java.lang.IllegalArgumentException
specName
- the spec namejava.lang.IllegalArgumentException
- problem
with the environment.public SpecModule getAndObserveSpecModule(java.lang.String specName, SpecModuleObserver observer) throws java.lang.IllegalArgumentException
specName
- the spec nameobserver
- the spec module observerjava.lang.IllegalArgumentException
- problem
with the environment.public void unregisterObserver(java.lang.String specName, SpecModuleObserver observer)
specName
- the specification nameobserver
- the specification module observerjava.lang.IllegalArgumentException
- A problem
occured with the environment.public CoopnUser lockSpecModule(java.lang.String specName, CoopnUser user)
specName
- the specification to lockuser
- the user who want to acquire the lockjava.lang.IllegalArgumentException
- an argument is illegalpublic void unlockSpecModule(java.lang.String specName)
public void syncSpecModule(java.lang.String specName)
public void createSpecification(java.lang.String specName, java.lang.String comment) throws java.lang.IllegalAccessException
specName
- the spec namecomment
- the associated comment; may be nulljava.lang.IllegalArgumentException
- problem with arguments.java.lang.IllegalAccessException
- the package is not locked.public void reloadSpecModule(java.lang.String specName) throws java.lang.IllegalAccessException
specName
- the spec namejava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void modifyComment(java.lang.String specName, java.lang.String comment) throws java.lang.IllegalAccessException
specName
- the spec namecomment
- the new comment, or null of no commentjava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addSource(java.lang.String specName, SpecSourceSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeSource(java.lang.String specName, SpecSourceSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addAssociatedSource(java.lang.String specName, java.lang.String sourceName)
specName
- the spec namesourceName
- the source namejava.lang.IllegalArgumentException
- the specification is not found.public void removeAssociatedSource(java.lang.String specName, java.lang.String sourceName)
specName
- the spec namesourceName
- the source namejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedConstraint(java.lang.String specName, java.lang.String constraintName)
specName
- the spec nameconstraintName
- the constraint namejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedScenario(java.lang.String specName, java.lang.String scenarioName)
specName
- the spec namescenarioName
- the scenario namejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedTest(java.lang.String specName, java.lang.String testName)
specName
- the spec nametestName
- the test namejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedTermVariable(java.lang.String specName, java.lang.String varName, java.lang.String varType)
specName
- the spec namevarName
- the variable namevarType
- the variable typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedSortVariable(java.lang.String specName, java.lang.String varName)
specName
- the spec namevarName
- the variable namejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedTypeVariable(java.lang.String specName, java.lang.String varName)
specName
- the spec namevarName
- the variable namejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedGeneratorVariable(java.lang.String specName, java.lang.String varName, java.lang.String domain, java.lang.String codomain)
specName
- the spec namevarName
- the variable namedomain
- the domaincodomain
- the codomainjava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedOperationVariable(java.lang.String specName, java.lang.String varName, java.lang.String domain, java.lang.String codomain)
specName
- the spec namevarName
- the variable namedomain
- the domaincodomain
- the codomainjava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedObjectVariable(java.lang.String specName, java.lang.String varName, java.lang.String type)
specName
- the spec namevarName
- the variable nametype
- the typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedClassGateVariable(java.lang.String specName, java.lang.String varName, java.lang.String type, java.lang.String originType)
specName
- the spec namevarName
- the variable nametype
- the typeoriginType
- the origin typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedClassMethodVariable(java.lang.String specName, java.lang.String varName, java.lang.String type, java.lang.String originType)
specName
- the spec namevarName
- the variable nametype
- the typeoriginType
- the origin typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedClassCreationVariable(java.lang.String specName, java.lang.String varName, java.lang.String type, java.lang.String originType)
specName
- the spec namevarName
- the variable nametype
- the typeoriginType
- the origin typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedClassDestructionVariable(java.lang.String specName, java.lang.String varName, java.lang.String type, java.lang.String originType)
specName
- the spec namevarName
- the variable nametype
- the typeoriginType
- the origin typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedContextGateVariable(java.lang.String specName, java.lang.String varName, java.lang.String type)
specName
- the spec namevarName
- the variable nametype
- the typejava.lang.IllegalArgumentException
- the specification is not found.public void addAssociatedContextMethodVariable(java.lang.String specName, java.lang.String varName, java.lang.String type)
specName
- the spec namevarName
- the variable nametype
- the typejava.lang.IllegalArgumentException
- the specification is not found.public void addConstraint(java.lang.String specName, SpecConstraintSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeConstraint(java.lang.String specName, SpecConstraintSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addScenario(java.lang.String specName, SpecScenarioSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeScenario(java.lang.String specName, SpecScenarioSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addTest(java.lang.String specName, SpecTestSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeTest(java.lang.String specName, SpecTestSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addTermVariable(java.lang.String specName, SpecParamVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the term variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeTermVariable(java.lang.String specName, SpecParamVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the term variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addSortSymbolVariable(java.lang.String specName, SpecVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the sort variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeSortSymbolVariable(java.lang.String specName, SpecVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the sort variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addTypeSymbolVariable(java.lang.String specName, SpecVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the type variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeTypeSymbolVariable(java.lang.String specName, SpecVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the type variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addGeneratorSymbolVariable(java.lang.String specName, SpecFunctionnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the generator variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeGeneratorSymbolVariable(java.lang.String specName, SpecFunctionnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the generator variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addOperationSymbolVariable(java.lang.String specName, SpecFunctionnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the operation variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeOperationSymbolVariable(java.lang.String specName, SpecFunctionnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the operation variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addObjectSymbolVariable(java.lang.String specName, SpecParamVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the object variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeObjectSymbolVariable(java.lang.String specName, SpecParamVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the object variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addClassGateSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class gate variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeClassGateSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class gate variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addClassMethodSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class method variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeClassMethodSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class method variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addClassCreationSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class creation variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeClassCreationSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class creation variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addClassDestructionSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class destruction variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeClassDestructionSymbolVariable(java.lang.String specName, SpecBiRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the class destruction variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addContextGateSymbolVariable(java.lang.String specName, SpecRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the context gate variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeContextGateSymbolVariable(java.lang.String specName, SpecRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the context gate variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void addContextMethodSymbolVariable(java.lang.String specName, SpecRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the context method variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.public void removeContextMethodSymbolVariable(java.lang.String specName, SpecRelationnalVariableSymbol symbol) throws java.lang.IllegalAccessException
specName
- the spec namesymbol
- the context method variable symboljava.lang.IllegalArgumentException
- the specification is not found.java.lang.IllegalAccessException
- the specification is not locked.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 evalName(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 displayName(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).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 |