ConForM.CoopnTools.Code
Class CodeEnvMgr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnvMgr
        |
        +--ConForM.CoopnTools.Code.CodeEnvMgr

public class CodeEnvMgr
extends CoopnEnvMgr

Code environment manager.


Fields inherited from class ConForM.CoopnTools.CoKer.CoopnEnvMgr
atLeastOneModule, atMostOneModule, env, errStream, noModules
 
Constructor Summary
CodeEnvMgr(CodeEnv env)
          Creates a new environment manager based on an existing environment.
CodeEnvMgr(CoopnUser name)
          Creates a new environment manager, along with a new environment.
CodeEnvMgr(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(CodeEnv 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

CodeEnvMgr

public CodeEnvMgr(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.

CodeEnvMgr

public CodeEnvMgr(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.

CodeEnvMgr

public CodeEnvMgr(CodeEnv 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(CodeEnv 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