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
 
Constructor Summary
SpecEnv(CoopnUser name)
          Simple constructor.
SpecEnv(java.lang.String name)
          Simple constructor.
 
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 ConForM.CoopnTools.CoKer.CoopnEnv
copyFrom, user
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

spec

public boolean spec
Edit specification.

readOnly

public boolean readOnly
Open in read-only.

vars

public boolean vars
Show variable panel at beginning.
Constructor Detail

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
Method Detail

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