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.CoopnWorkspace
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
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
 

Constructor Detail

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 specification
mgr - the spec manager to use
env - 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 specification
modules - the list of modules
mgr - the spec manager to use
env - the environment
Throws:
java.lang.IllegalArgumentException - one of the argument is not correct.
Method Detail

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).