ConForM.CoopnTools.JavaProto
Class JavaProtoEnv

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnEnv
        |
        +--ConForM.CoopnTools.JavaProto.JavaProtoEnv
All Implemented Interfaces:
java.lang.Cloneable

public class JavaProtoEnv
extends CoopnEnv

Java prototyper environment.


Field Summary
 boolean all
          All flag.
 boolean eval
          Evaluate specs in java
 boolean force
          Force generation flag.
 boolean map
           
 java.lang.String outdir
          Directory name in which java classes will be generated
 boolean spec
          Prototype specification.
 
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
JavaProtoEnv(CoopnUser name)
          Simple constructor.
JavaProtoEnv(java.lang.String name)
          Simple constructor.
 
Method Summary
 java.lang.Object clone()
          Returns a clone environment.
 void copyFrom(JavaProtoEnv 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
Prototype specification.

all

public boolean all
All flag. For specifications, only the runtime is generated, except when this flag is set, in which case the prototypes of CO-OPN source modules are generated too.

force

public boolean force
Force generation flag. All code regenerated

outdir

public java.lang.String outdir
Directory name in which java classes will be generated

eval

public boolean eval
Evaluate specs in java

map

public boolean map
Constructor Detail

JavaProtoEnv

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

JavaProtoEnv

public JavaProtoEnv(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(JavaProtoEnv 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