ConForM.CoopnTools.Checker
Class CheckerEnvMgr
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnEnvMgr
|
+--ConForM.CoopnTools.Checker.CheckerEnvMgr
- public class CheckerEnvMgr
- extends CoopnEnvMgr
Checker environment manager.
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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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.
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