|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnEnv | +--ConForM.CoopnTools.Checker.GenericCheckerEnv | +--ConForM.CoopnTools.CoalaChecker.CoalaCheckerEnv
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 |
public CoalaCheckerEnv(java.lang.String name)
name
- the name of the toolpublic CoalaCheckerEnv(CoopnUser name)
name
- the user
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |