ConForM.CoopnTools.CoalaChecker
Class CoalaCheckerEnv

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

public class CoalaCheckerEnv
extends GenericCheckerEnv

Coala checker environment. Definition of environments dealing with the coala checker tool.


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
CoalaCheckerEnv(CoopnUser name)
          Simple constructor.
CoalaCheckerEnv(java.lang.String name)
          Simple constructor.
 
Methods inherited from class ConForM.CoopnTools.Checker.GenericCheckerEnv
clone, copyFrom, toString
 
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
 

Constructor Detail

CoalaCheckerEnv

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

CoalaCheckerEnv

public CoalaCheckerEnv(CoopnUser name)
Simple constructor.
Parameters:
name - the user