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 |
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 java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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
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
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