ConForM.CoopnTools.CoKer.SpecMgr
Class CoopnSpec
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
|
+--ConForM.CoopnTools.CoKer.SpecMgr.CoopnSpec
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnModuleDependency, CoopnTypeRelation
- public class CoopnSpec
- extends CoopnWorkspace
Coopn specification. A coopn specification is mainly the "compiled" version
of a specification module. It is built upon CoopnWorkspaces
- See Also:
CoopnWorkspace
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 |
CoopnSpec(java.lang.String name,
SpecMgr mgr,
CoopnEnv env)
Creates a new specification, based on the situation external
to every modules in the environment. |
CoopnSpec(java.lang.String name,
java.lang.String[] modules,
SpecMgr mgr,
CoopnEnv env)
Creates a new specification, based on the situation external to a list of modules. |
Method Summary |
java.lang.Object |
clone()
|
boolean |
equals(java.lang.Object obj)
|
java.lang.String[] |
getDependencies()
Get the dependencies of the specification. |
SpecMgr |
specMgr()
Get the specification manager. |
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnWorkspace |
addClassCreationSymbolVariable, addClassDestructionSymbolVariable, addClassGateSymbolVariable, addClassMethodSymbolVariable, addContextGateSymbolVariable, addContextMethodSymbolVariable, addGeneratorSymbolVariable, addObjectSymbolVariable, addOperationSymbolVariable, addSortSymbolVariable, addTermVariable, addTypeSymbolVariable, build, clearVariables, coopnMgr, dependencies, equ, equ, less, less, lessOrEqu, lessOrEqu, modules, name, objects, reBuild, sorts, toString, types, unifiable, unifiable |
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 |
CoopnSpec
public CoopnSpec(java.lang.String name,
SpecMgr mgr,
CoopnEnv env)
- Creates a new specification, based on the situation external
to every modules in the environment.
- Parameters:
name
- the name of the specificationmgr
- the spec manager to useenv
- the environment- Throws:
java.lang.IllegalArgumentException
- one of the argument is not correct.
CoopnSpec
public CoopnSpec(java.lang.String name,
java.lang.String[] modules,
SpecMgr mgr,
CoopnEnv env)
- Creates a new specification, based on the situation external to a list of modules.
- Parameters:
name
- the name of the specificationmodules
- the list of modulesmgr
- the spec manager to useenv
- the environment- Throws:
java.lang.IllegalArgumentException
- one of the argument is not correct.
specMgr
public SpecMgr specMgr()
- Get the specification manager.
- Returns:
- the specification manager.
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class CoopnWorkspace
clone
public java.lang.Object clone()
- Overrides:
clone
in class CoopnWorkspace
getDependencies
public java.lang.String[] getDependencies()
throws java.lang.IllegalArgumentException
- Get the dependencies of the specification. An up-to-date version of the module is
found, and its dependencies are returned. In other words, this methods
returns the list of all coopn modules necessitated to "execute" this spec.
- Overrides:
getDependencies
in class CoopnWorkspace
- Returns:
- an array of strings containing all dependencies.
- Throws:
java.lang.IllegalArgumentException
- the result cannot be delivered (because it is
not found, erroneous, and so on).