ConForM.CoopnTools.CoalaChecker
Class CoalaCheckerEnvMgr

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnvMgr
        |
        +--ConForM.CoopnTools.CoalaChecker.CoalaCheckerEnvMgr

public class CoalaCheckerEnvMgr
extends CoopnEnvMgr

Coala checker environment manager.


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

CoalaCheckerEnvMgr

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

CoalaCheckerEnvMgr

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

CoalaCheckerEnvMgr

public CoalaCheckerEnvMgr(CoalaCheckerEnv 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(CoalaCheckerEnv 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