ConForM.CoopnTools.Checker
Class CheckerEnvMgr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnvMgr
        |
        +--ConForM.CoopnTools.Checker.CheckerEnvMgr

public class CheckerEnvMgr
extends CoopnEnvMgr

Checker environment manager.


Fields inherited from class ConForM.CoopnTools.CoKer.CoopnEnvMgr
atLeastOneModule, atMostOneModule, env, errStream, noModules
 
Constructor Summary
CheckerEnvMgr(CheckerEnv env)
          Creates a new environment manager based on an existing environment.
CheckerEnvMgr(CoopnUser name)
          Creates a new environment manager, along with a new environment.
CheckerEnvMgr(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(CheckerEnv env)
          Initialise the environment of a CoopnTool.
 void initCoopnTools(GenericCheckerEnv 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

CheckerEnvMgr

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

CheckerEnvMgr

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

CheckerEnvMgr

public CheckerEnvMgr(CheckerEnv 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(GenericCheckerEnv 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.

initCoopnTools

public void initCoopnTools(CheckerEnv 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