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.


Field Summary
 java.lang.String aspectName
          Aspect name.
 boolean noDiscriminateMode
          No discriminate mode.
 java.lang.String scenario
          View scenario.
 boolean spec
          Simulate 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
SimulatorEnv(CoopnUser user)
          Simple constructor.
SimulatorEnv(java.lang.String name)
          Simple constructor.
 
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 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
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 .
Constructor Detail

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

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