ConForM.CoopnTools.CoopnInst
Class CoopnInstEnv
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnEnv
|
+--ConForM.CoopnTools.CoopnInst.CoopnInstEnv
- All Implemented Interfaces:
- java.lang.Cloneable
- public class CoopnInstEnv
- extends CoopnEnv
CoopnInst environment. Definition of environments dealing with the CoopnInst
tool.
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 |
Method Summary |
java.lang.Object |
clone()
Returns a clone environment. |
void |
copyFrom(CoopnInstEnv env)
Copy the fields of an environment from another one. |
java.lang.String |
toString()
String converion. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
CoopnInstEnv
public CoopnInstEnv(java.lang.String name)
- Simple constructor.
- Parameters:
name
- the name of the tool
CoopnInstEnv
public CoopnInstEnv(CoopnUser name)
- Simple constructor.
- Parameters:
name
- the user
toString
public java.lang.String toString()
- String converion.
- Overrides:
toString
in class CoopnEnv
copyFrom
public void copyFrom(CoopnInstEnv 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