ConForM.CoopnTools.Checker
Class GenericCheckerEnv

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnv
        |
        +--ConForM.CoopnTools.Checker.GenericCheckerEnv
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
CheckerEnv, CoalaCheckerEnv

public class GenericCheckerEnv
extends CoopnEnv

Generic checker environment. Definition of environments for generic checkers in CoopnTools.


Field Summary
 boolean dependencies
          Display module dependencies.
 boolean display
          Display checked modules.
 
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
GenericCheckerEnv(CoopnUser name)
          Simple constructor.
GenericCheckerEnv(java.lang.String name)
          Simple constructor.
 
Method Summary
 java.lang.Object clone()
          Returns a clone environment.
 void copyFrom(GenericCheckerEnv env)
          Copy the fields of an environment from another one.
 java.lang.String toString()
          String converion.
 
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

display

public boolean display
Display checked modules.

dependencies

public boolean dependencies
Display module dependencies.
Constructor Detail

GenericCheckerEnv

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

GenericCheckerEnv

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

toString

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

copyFrom

public void copyFrom(GenericCheckerEnv 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 CoopnEnv