ConForM.CoopnTools.Spec
Class SpecEnv
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnEnv
|
+--ConForM.CoopnTools.Spec.SpecEnv
- All Implemented Interfaces:
- java.lang.Cloneable
- public class SpecEnv
- extends CoopnEnv
Specification tool environment. Definition of environments dealing with the specification
tool.
Field Summary |
boolean |
readOnly
Open in read-only. |
boolean |
spec
Edit specification. |
boolean |
vars
Show variable panel at beginning. |
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(SpecEnv 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 |
spec
public boolean spec
- Edit specification.
readOnly
public boolean readOnly
- Open in read-only.
vars
public boolean vars
- Show variable panel at beginning.
SpecEnv
public SpecEnv(java.lang.String name)
- Simple constructor.
- Parameters:
name
- the name of the tool
SpecEnv
public SpecEnv(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(SpecEnv 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