|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame | +--ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame | +--ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnWorkspace
Coopn workspace. A coopn workspace is used to interpret co-opn source text. It gives a CoopnFrame. The workspace is described as a situation outside a list of modules, and a set of additional meta-elements. Workspace's signatures are re-evaluated and re-checked when explicitely requested, for performance reasons. This process is performed each time the method build() is called.
Field Summary | |
protected CoopnMgr |
coopnMgr
|
Fields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame |
badArityText, badTypeText, msgArgs, msgFmt, name, packageText, resources, statSemErrText, workspaceModuleName |
Fields inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame |
centralMgr, env, mgr, modules |
Constructor Summary | |
CoopnWorkspace(java.lang.String name,
CoopnMgr mgr,
CoopnEnv env)
Creates a new workspace, based on the situation external to every modules in the environment. |
|
CoopnWorkspace(java.lang.String name,
java.lang.String[] modules,
CoopnMgr mgr,
CoopnEnv env)
Creates a new workspace, based on the situation external to a list of modules. |
Method Summary | |
void |
addClassCreationSymbolVariable(java.lang.String name,
java.lang.String originType,
java.lang.String type)
Add a class creation symbol variable. |
void |
addClassDestructionSymbolVariable(java.lang.String name,
java.lang.String originType,
java.lang.String type)
Add a class destruction symbol variable. |
void |
addClassGateSymbolVariable(java.lang.String name,
java.lang.String originType,
java.lang.String type)
Add a class gate symbol variable. |
void |
addClassMethodSymbolVariable(java.lang.String name,
java.lang.String originType,
java.lang.String type)
Add a class method symbol variable. |
void |
addContextGateSymbolVariable(java.lang.String name,
java.lang.String type)
Add a context gate symbol variable. |
void |
addContextMethodSymbolVariable(java.lang.String name,
java.lang.String type)
Add a context method symbol variable. |
void |
addGeneratorSymbolVariable(java.lang.String name,
java.lang.String domain,
java.lang.String codomain)
Add a generator symbol variable. |
void |
addObjectSymbolVariable(java.lang.String name,
java.lang.String type)
Add an object symbol variable. |
void |
addOperationSymbolVariable(java.lang.String name,
java.lang.String domain,
java.lang.String codomain)
Add an operation symbol variable. |
void |
addSortSymbolVariable(java.lang.String name)
Add a sort symbol variable. |
void |
addTermVariable(java.lang.String name,
java.lang.String type)
Add a term variable. |
void |
addTypeSymbolVariable(java.lang.String name)
Add a type symbol variable. |
void |
build()
Checks and build the workspace. |
void |
clearVariables()
Clear all variables. |
java.lang.Object |
clone()
|
CoopnMgr |
coopnMgr()
Return the coopn manager associated to this specification. |
java.lang.String[] |
dependencies()
Module dependency. |
boolean |
equ(CoopnTypeAgg left,
CoopnTypeAgg right)
Equivalence between two lists of types. |
boolean |
equ(CoopnType left,
CoopnType right)
Equivalence between two types. |
boolean |
equals(java.lang.Object obj)
|
java.lang.String[] |
getDependencies()
Get the dependencies of the specification. |
boolean |
less(CoopnTypeAgg sub,
CoopnTypeAgg sup)
Order between two lists of types. |
boolean |
less(CoopnType sub,
CoopnType sup)
Order between two types. |
boolean |
lessOrEqu(CoopnTypeAgg sub,
CoopnTypeAgg sup)
Order between two lists of types. |
boolean |
lessOrEqu(CoopnType sub,
CoopnType sup)
Order between two types. |
java.lang.String[] |
modules()
Return the modules of the workspace. |
java.lang.String |
name()
Return the name of the workspace. |
CoopnObjectSymbol[] |
objects()
|
void |
reBuild()
Re-build the workspace. |
CoopnSortSymbol[] |
sorts()
|
java.lang.String |
toString()
|
CoopnTypeSymbol[] |
types()
|
boolean |
unifiable(CoopnTypeAgg left,
CoopnTypeAgg right)
Compatibility for unification between two lists of types. |
boolean |
unifiable(CoopnType left,
CoopnType right)
Compatibility for unification between two types. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame |
buildTexts, computeSignature, reComputeSignature, statSemError, stringFormat, stringFormat |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame |
cloneCoopnSituationFrame, coreToString, hashCode |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame |
cloneCoopnFrame |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
protected CoopnMgr coopnMgr
Constructor Detail |
public CoopnWorkspace(java.lang.String name, CoopnMgr mgr, CoopnEnv env)
name
- the name of the workspacemgr
- the coopn manager to useenv
- the environmentjava.lang.IllegalArgumentException
- one of the argument is not correct.public CoopnWorkspace(java.lang.String name, java.lang.String[] modules, CoopnMgr mgr, CoopnEnv env)
name
- the name of the workspacemodules
- the list of modulesmgr
- the coopn manager to useenv
- the environmentjava.lang.IllegalArgumentException
- one of the argument is not correct.Method Detail |
public java.lang.String name()
public java.lang.String[] getDependencies() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- the result cannot be delivered (because it is
not found, erroneous, and so on).public CoopnMgr coopnMgr()
public java.lang.String[] modules()
public CoopnSortSymbol[] sorts()
sorts
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public CoopnTypeSymbol[] types()
types
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public CoopnObjectSymbol[] objects()
objects
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public java.lang.String[] dependencies()
CoopnModuleDependency
dependencies
in interface CoopnModuleDependency
dependencies
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModuleDependency
public boolean equ(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
equ
in interface CoopnTypeRelation
equ
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first list of typesright
- the second list of typespublic boolean equ(CoopnType left, CoopnType right)
CoopnTypeRelation
equ
in interface CoopnTypeRelation
equ
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic boolean less(CoopnTypeAgg sub, CoopnTypeAgg sup)
CoopnTypeRelation
less
in interface CoopnTypeRelation
less
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first list of typessup
- the second list of typespublic boolean less(CoopnType sub, CoopnType sup)
CoopnTypeRelation
less
in interface CoopnTypeRelation
less
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first typesup
- the second typepublic boolean lessOrEqu(CoopnTypeAgg sub, CoopnTypeAgg sup)
CoopnTypeRelation
lessOrEqu
in interface CoopnTypeRelation
lessOrEqu
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first list of typessup
- the second list of typespublic boolean lessOrEqu(CoopnType sub, CoopnType sup)
CoopnTypeRelation
lessOrEqu
in interface CoopnTypeRelation
lessOrEqu
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
sub
- the first typesup
- the second typepublic boolean unifiable(CoopnTypeAgg left, CoopnTypeAgg right)
CoopnTypeRelation
unifiable
in interface CoopnTypeRelation
unifiable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first list of typesright
- the second list of typespublic boolean unifiable(CoopnType left, CoopnType right)
CoopnTypeRelation
unifiable
in interface CoopnTypeRelation
unifiable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeRelation
left
- the first typeright
- the second typepublic void clearVariables()
clearVariables
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
public void addTermVariable(java.lang.String name, java.lang.String type)
addTermVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabletype
- the type of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addSortSymbolVariable(java.lang.String name)
addSortSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addTypeSymbolVariable(java.lang.String name)
addTypeSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addGeneratorSymbolVariable(java.lang.String name, java.lang.String domain, java.lang.String codomain)
addGeneratorSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabledomain
- the domain of the variablecodomain
- the codomain of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addOperationSymbolVariable(java.lang.String name, java.lang.String domain, java.lang.String codomain)
addOperationSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabledomain
- the domain of the variablecodomain
- the codomain of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addObjectSymbolVariable(java.lang.String name, java.lang.String type)
addObjectSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabletype
- the type of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addClassGateSymbolVariable(java.lang.String name, java.lang.String originType, java.lang.String type)
addClassGateSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabledomain
- the domain of the variablecodomain
- the codomain of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addClassMethodSymbolVariable(java.lang.String name, java.lang.String originType, java.lang.String type)
addClassMethodSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabledomain
- the domain of the variablecodomain
- the codomain of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addClassCreationSymbolVariable(java.lang.String name, java.lang.String originType, java.lang.String type)
addClassCreationSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabledomain
- the domain of the variablecodomain
- the codomain of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addClassDestructionSymbolVariable(java.lang.String name, java.lang.String originType, java.lang.String type)
addClassDestructionSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabledomain
- the domain of the variablecodomain
- the codomain of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addContextGateSymbolVariable(java.lang.String name, java.lang.String type)
addContextGateSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabletype
- the type of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void addContextMethodSymbolVariable(java.lang.String name, java.lang.String type)
addContextMethodSymbolVariable
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
name
- the name of the variabletype
- the type of the variablejava.lang.IllegalArgumentException
- one of the parameter is such that the variable cannot
be syntactically constructed.public void build() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- the workspace is not correct (i.e. some modules
are not found or erroneous, meta-elements are badly
typed, and so on.public void reBuild() throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
- the workspace is not correct (i.e. some modules
are not found or erroneous, meta-elements are badly
typed, and so on.public java.lang.String toString()
toString
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnSituationFrame
public boolean equals(java.lang.Object obj)
equals
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
public java.lang.Object clone()
clone
in class ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnWorkspaceFrame
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |