|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsMgr
Constraints Manager. This class essentially defines the services provided by the constraints manager.
Field Summary | |
static java.lang.String |
VERSION
constraints Manager version; |
Constructor Summary | |
ConstraintsMgr(CoopnSpec spec,
PackageMgr packageMgr,
CoopnEnv env)
Constructor. |
Method Summary | |
void |
addAxiom(java.lang.String consName,
ConstraintsAxiomSymbol symbol)
Add a axiom symbol. |
void |
addBodyConstraint(java.lang.String consName,
ConstraintsConsSymbol symbol)
Add a body constraints symbol to a constraint set. |
void |
addInterfaceConstraint(java.lang.String consName,
ConstraintsConsSymbol symbol)
Add an interface constraint symbol to the constraints set. |
void |
addVariable(java.lang.String consName,
ConstraintsVariableSymbol symbol)
Add a variable symbol. |
void |
buildConstraintSet(java.lang.String name)
|
ConForM.CoopnTools.CoKer.ConstraintsMgr.CentralConstraintsMgr.CentralConstraintsMgr |
centralMgr()
Get the associated coopn manager. |
java.lang.String |
consName()
|
void |
createConstraintSet(java.lang.String consName,
java.lang.String comment)
Creates a constraints module. |
java.lang.String |
displayAssignation(java.lang.String elem)
Comment to String conversion. |
java.lang.String |
displayAtom(java.lang.String elem)
Comment to String conversion. |
java.lang.String |
displayComment(java.lang.String elem)
Comment to String conversion. |
java.lang.String |
displayCondition(java.lang.String elem)
Comment to String conversion. |
java.lang.String |
displayExpression(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. |
ConstraintsAssignation |
evalAssignation(java.lang.String string,
CoopnEnv env)
String to comment conversion. |
ConstraintsAtom |
evalAtom(java.lang.String string,
CoopnEnv env)
String to comment conversion. |
java.lang.String |
evalComment(java.lang.String string)
String to comment conversion. |
ConstraintsCondition |
evalCondition(java.lang.String string,
CoopnEnv env)
String to comment conversion. |
ConstraintsExpression |
evalExpression(java.lang.String string,
CoopnEnv env)
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. |
ConstraintsModule |
getAndObserveModule(java.lang.String consName,
ConstraintsModuleObserver observer)
Get a constraint module and register a specification module observer. |
ConstraintSet |
getConstraintSet()
|
ConstraintsModule |
getModule(java.lang.String consName)
Get a constraint module. |
CoopnUser |
lockModule(java.lang.String consName,
CoopnUser user)
Lock a constraints module. |
void |
modifyComment(java.lang.String consName,
java.lang.String comment)
Change the comment of a constraint set. |
void |
notifySpecModuleChanged(java.lang.String specName,
SpecModule module)
Notification routine. |
PackageMgr |
packageMgr()
Get the associated package manager. |
void |
reloadModule(java.lang.String consName)
Reload a constraint module from the disk. |
void |
removeAxiom(java.lang.String consName,
ConstraintsAxiomSymbol symbol)
Remove a axiom symbol. |
void |
removeBodyConstraint(java.lang.String consName,
ConstraintsConsSymbol symbol)
Remove a body constraints symbol from the constraint set. |
void |
removeInterfaceConstraint(java.lang.String consName,
ConstraintsConsSymbol symbol)
Remove an interface constraint symbol from the constraints set. |
void |
removeVariable(java.lang.String consName,
ConstraintsVariableSymbol symbol)
Remove a variable symbol. |
void |
setModuleName(java.lang.String name)
|
CoopnSpec |
spec()
Get the associated spec . |
SpecMgr |
specMgr()
Get the associated spec manager. |
void |
syncConsModule(java.lang.String consName)
Sync a constraint module. |
void |
unlockConsModule(java.lang.String consName)
Unlock a constraints module. |
void |
unregisterObserver(java.lang.String consName,
ConstraintsModuleObserver observer)
unregister a constraint module observer. |
void |
updateDatabase(java.lang.String name,
ConstraintsModule module)
Updates the database after modifying a file |
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 ConstraintsMgr(CoopnSpec spec, PackageMgr packageMgr, CoopnEnv env) throws java.lang.IllegalArgumentException
packageMgr
- the associated package managerenv
- the environment of the spec managerjava.lang.IllegalArgumentException
- the environment is absent or inconsistent.Method Detail |
public PackageMgr packageMgr()
public SpecMgr specMgr()
public CoopnSpec spec()
public void use()
public void dispose()
public java.lang.String consName()
public void setModuleName(java.lang.String name)
public ConForM.CoopnTools.CoKer.ConstraintsMgr.CentralConstraintsMgr.CentralConstraintsMgr centralMgr()
public ConstraintsModule getModule(java.lang.String consName)
consName
- the constraint set namejava.lang.IllegalArgumentException
- problem
with the environment.public ConstraintSet getConstraintSet()
public void buildConstraintSet(java.lang.String name)
public ConstraintsModule getAndObserveModule(java.lang.String consName, ConstraintsModuleObserver observer) throws java.lang.IllegalArgumentException
consName
- the constraint set nameobserver
- the cons module observerjava.lang.IllegalArgumentException
- problem
with the environment.public void unregisterObserver(java.lang.String consName, ConstraintsModuleObserver observer)
consName
- the constraint set nameobserver
- the constraint module observerjava.lang.IllegalArgumentException
- A problem
occured with the environment.public CoopnUser lockModule(java.lang.String consName, CoopnUser user)
consName
- the constraint set to lockuser
- the user who want to acquire the lockjava.lang.IllegalArgumentException
- an argument is illegalpublic void unlockConsModule(java.lang.String consName)
public void syncConsModule(java.lang.String consName)
public void updateDatabase(java.lang.String name, ConstraintsModule module) throws java.lang.IllegalAccessException
public void createConstraintSet(java.lang.String consName, java.lang.String comment) throws java.lang.IllegalAccessException
consName
- the constraint set namecomment
- the associated comment; may be nulljava.lang.IllegalArgumentException
- problem with arguments.java.lang.IllegalAccessException
- the package is not locked.public void reloadModule(java.lang.String consName) throws java.lang.IllegalAccessException
consName
- the constraint set namejava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void modifyComment(java.lang.String consName, java.lang.String comment) throws java.lang.IllegalAccessException
consName
- the constraint set namecomment
- the new comment, or null of no commentjava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void addInterfaceConstraint(java.lang.String consName, ConstraintsConsSymbol symbol) throws java.lang.IllegalAccessException
consName
- the constraint set namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void removeInterfaceConstraint(java.lang.String consName, ConstraintsConsSymbol symbol) throws java.lang.IllegalAccessException
consName
- the constraint set namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void addBodyConstraint(java.lang.String consName, ConstraintsConsSymbol symbol) throws java.lang.IllegalAccessException
consName
- the constraint set namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void removeBodyConstraint(java.lang.String consName, ConstraintsConsSymbol symbol) throws java.lang.IllegalAccessException
consName
- the constraint set namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void addAxiom(java.lang.String consName, ConstraintsAxiomSymbol symbol) throws java.lang.IllegalAccessException
consName
- the cons namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void removeAxiom(java.lang.String consName, ConstraintsAxiomSymbol symbol) throws java.lang.IllegalAccessException
consName
- the cons namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void addVariable(java.lang.String consName, ConstraintsVariableSymbol symbol) throws java.lang.IllegalAccessException
consName
- the cons namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint is not locked.public void removeVariable(java.lang.String consName, ConstraintsVariableSymbol symbol) throws java.lang.IllegalAccessException
consName
- the cons namesymbol
- the source module symboljava.lang.IllegalArgumentException
- the constraint is not found.java.lang.IllegalAccessException
- the constraint 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 ConstraintsCondition evalCondition(java.lang.String string, CoopnEnv env) 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 displayCondition(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 ConstraintsAtom evalAtom(java.lang.String string, CoopnEnv env) 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 displayAtom(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 ConstraintsExpression evalExpression(java.lang.String string, CoopnEnv env) 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 displayExpression(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 ConstraintsAssignation evalAssignation(java.lang.String string, CoopnEnv env) 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 displayAssignation(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).public void notifySpecModuleChanged(java.lang.String specName, SpecModule module)
SpecModuleObserver
notifySpecModuleChanged
in interface SpecModuleObserver
ConForM.CoopnTools.CoKer.SpecMgr.SpecModuleObserver
specName
- the name of the spec module.module
- the modified specification module.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |