ConForM.CoopnTools.Spec
Class SpecEnvMgr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnvMgr
        |
        +--ConForM.CoopnTools.Spec.SpecEnvMgr

public class SpecEnvMgr
extends CoopnEnvMgr

Spec tool environment manager.


Fields inherited from class ConForM.CoopnTools.CoKer.CoopnEnvMgr
atLeastOneModule, atMostOneModule, env, errStream, noModules
 
Constructor Summary
SpecEnvMgr(CoopnUser name)
          Creates a new environment manager, along with a new environment.
SpecEnvMgr(SpecEnv env)
          Creates a new environment manager based on an existing environment.
SpecEnvMgr(java.lang.String name)
          Creates a new environment manager, along with a new environment.
 
Method Summary
protected  CoopnEnv createEnvFromName(java.lang.String name)
           
protected  CoopnEnv createEnvFromUser(CoopnUser name)
           
 void initCoopnTools(SpecEnv env)
          Initialise the environment of a CoopnTool.
protected  boolean updateEnv(java.util.Map decodedOptions)
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnEnvMgr
addOption, checkEnvForModuleNumber, getEnv, helpCoopnTools, initCoopnTools, initCoopnTools, modifyEnv
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SpecEnvMgr

public SpecEnvMgr(java.lang.String name)
           throws CoopnEnvException
Creates a new environment manager, along with a new environment.
Parameters:
name - the tool name
Throws:
CoopnEnvException - error during the creation of the manager. In this case, the error stream is appended with the descriptions of the errors.

SpecEnvMgr

public SpecEnvMgr(CoopnUser name)
           throws CoopnEnvException
Creates a new environment manager, along with a new environment.
Parameters:
name - the user name
Throws:
CoopnEnvException - error during the creation of the manager. In this case, the error stream is appended with the descriptions of the errors.

SpecEnvMgr

public SpecEnvMgr(SpecEnv env)
           throws CoopnEnvException
Creates a new environment manager based on an existing environment.
Parameters:
env - an environment used as the base of the new one
Throws:
CoopnEnvException - error during the creation of the manager. In this case, the error stream is appended with the descriptions of the errors.
Method Detail

createEnvFromName

protected CoopnEnv createEnvFromName(java.lang.String name)
Overrides:
createEnvFromName in class CoopnEnvMgr

createEnvFromUser

protected CoopnEnv createEnvFromUser(CoopnUser name)
Overrides:
createEnvFromUser in class CoopnEnvMgr

initCoopnTools

public void initCoopnTools(SpecEnv env)
                    throws CoopnEnvException
Initialise the environment of a CoopnTool. The environment is completed from an existing one.
Parameters:
env - the existing environment
Throws:
CoopnEnvException - one or more errors occured during the initialisation of the environment. In this case, the error stream is appended with the descriptions of the errors.

updateEnv

protected boolean updateEnv(java.util.Map decodedOptions)
Overrides:
updateEnv in class CoopnEnvMgr