ConForM.CoopnTools.Checker
Class CheckerEnv

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnv
        |
        +--ConForM.CoopnTools.Checker.GenericCheckerEnv
              |
              +--ConForM.CoopnTools.Checker.CheckerEnv
All Implemented Interfaces:
java.lang.Cloneable

public class CheckerEnv
extends GenericCheckerEnv

Checker environment. Definition of environments dealing with the checker tool.


Field Summary
 boolean spec
          Check specification.
 
Fields inherited from class ConForM.CoopnTools.Checker.GenericCheckerEnv
dependencies, display
 
Fields inherited from class ConForM.CoopnTools.CoKer.CoopnEnv
cocoRead, cocoWrite, coopnHome, coopnLibs, debug, editor, err, in, locale, names, out, packageFile, project, queryHelp, queryVersion, queryXHelp, user, useThreads, verbose, warn
 
Constructor Summary
CheckerEnv(CoopnUser name)
          Simple constructor.
CheckerEnv(java.lang.String name)
          Simple constructor.
 
Method Summary
 java.lang.Object clone()
          Returns a clone environment.
 void copyFrom(CheckerEnv env)
          Copy the fields of an environment from another one.
 java.lang.String toString()
          String converion.
 
Methods inherited from class ConForM.CoopnTools.Checker.GenericCheckerEnv
copyFrom
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnEnv
copyFrom, user
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

spec

public boolean spec
Check specification.
Constructor Detail

CheckerEnv

public CheckerEnv(java.lang.String name)
Simple constructor.
Parameters:
name - the name of the tool

CheckerEnv

public CheckerEnv(CoopnUser name)
Simple constructor.
Parameters:
name - the user
Method Detail

toString

public java.lang.String toString()
String converion.
Overrides:
toString in class GenericCheckerEnv

copyFrom

public void copyFrom(CheckerEnv env)
              throws CoopnEnvException
Copy the fields of an environment from another one. The user field is not affected.

clone

public java.lang.Object clone()
Returns a clone environment.
Overrides:
clone in class GenericCheckerEnv