ConForM.CoopnTools.Simulator
Class SimulatorEnv
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.CoopnEnv
|
+--ConForM.CoopnTools.Simulator.SimulatorEnv
- All Implemented Interfaces:
- java.lang.Cloneable
- public class SimulatorEnv
- extends CoopnEnv
Simulator environment. Definition of environments dealing with the Simulator
tool.
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(SimulatorEnv 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
- Simulate specification.
scenario
public java.lang.String scenario
- View scenario.
aspectName
public java.lang.String aspectName
- Aspect name. Specify the name of the aspect to use for the
picture.
noDiscriminateMode
public boolean noDiscriminateMode
- No discriminate mode. In this mode, partially explored states are not
visually discriminated from totally explored ones .
SimulatorEnv
public SimulatorEnv(java.lang.String name)
- Simple constructor.
- Parameters:
name
- the name of the tool
SimulatorEnv
public SimulatorEnv(CoopnUser user)
- Simple constructor.
- Parameters:
user
- the user
toString
public java.lang.String toString()
- String converion.
- Overrides:
toString
in class CoopnEnv
copyFrom
public void copyFrom(SimulatorEnv 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