ConForM.CoopnTools.CoKer
Class CoopnEnv

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnv
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
ConsEnv, CoopnInstEnv, DocEnv, DocVEnv, EditEnv, EvaluatorEnv, GenericCheckerEnv, GenericCodeEnv, HLPNEnv, InterpretorEnv, JavaProtoEnv, ListingEnv, ModuleEnv, PackEnv, SimulatorEnv, SpecEnv, ViewerEnv

public class CoopnEnv
extends java.lang.Object
implements java.lang.Cloneable

CO-OPN tools environments. This class defines the data structure representing environments.

See Also:
CoopnEnvMgr

Field Summary
 boolean cocoRead
          Use Coco files in read mode.
 boolean cocoWrite
          Use Coco files in write mode.
 java.lang.String coopnHome
          The CO-OPN home directory.
 java.lang.String[] coopnLibs
          The CO-OPN sources directories; contains Strings.
 boolean debug
          Debug mode.
 java.lang.String editor
          Select an external editor.
 java.io.PrintWriter err
          Default error stream.
 java.io.Reader in
          Default input stream.
 java.util.Locale locale
          Default locale.
 java.lang.String[] names
          The names passed to the tool; contains Strings.
 java.io.PrintWriter out
          Default output stream.
 java.lang.String packageFile
          The package module name.
 boolean project
          package mode.
 boolean queryHelp
          Query help.
 boolean queryVersion
          Query version.
 boolean queryXHelp
          Query extended help.
protected  CoopnUser user
           
 boolean useThreads
          Use Threads for fine grain parallelism.
 boolean verbose
          Verbose mode.
 java.io.PrintWriter warn
          Default warning stream.
 
Constructor Summary
CoopnEnv(CoopnUser user)
          Simple constructor.
CoopnEnv(java.lang.String name)
          Simple constructor.
 
Method Summary
 java.lang.Object clone()
          Returns a clone environment.
 void copyFrom(CoopnEnv env)
          Copy the fields of an environment from another one.
 java.lang.String toString()
          Returns a String that represents this environment.
 CoopnUser user()
          Get the user associated to this environment.
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

packageFile

public java.lang.String packageFile
The package module name.

names

public java.lang.String[] names
The names passed to the tool; contains Strings.

coopnHome

public java.lang.String coopnHome
The CO-OPN home directory.

coopnLibs

public java.lang.String[] coopnLibs
The CO-OPN sources directories; contains Strings.

queryHelp

public boolean queryHelp
Query help.

queryXHelp

public boolean queryXHelp
Query extended help.

queryVersion

public boolean queryVersion
Query version.

cocoRead

public boolean cocoRead
Use Coco files in read mode.

cocoWrite

public boolean cocoWrite
Use Coco files in write mode.

useThreads

public boolean useThreads
Use Threads for fine grain parallelism.

project

public boolean project
package mode.

editor

public java.lang.String editor
Select an external editor.

verbose

public boolean verbose
Verbose mode.

debug

public boolean debug
Debug mode.

locale

public java.util.Locale locale
Default locale.

in

public java.io.Reader in
Default input stream.

out

public java.io.PrintWriter out
Default output stream.

err

public java.io.PrintWriter err
Default error stream.

warn

public java.io.PrintWriter warn
Default warning stream.

user

protected CoopnUser user
Constructor Detail

CoopnEnv

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

CoopnEnv

public CoopnEnv(CoopnUser user)
Simple constructor.
Parameters:
user - the user
Method Detail

user

public CoopnUser user()
Get the user associated to this environment.

toString

public java.lang.String toString()
Returns a String that represents this environment.
Overrides:
toString in class java.lang.Object

copyFrom

public void copyFrom(CoopnEnv 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 java.lang.Object