Serialized Form
-
Package edu.udel.cis.vsl.gmc
-
Exception edu.udel.cis.vsl.gmc.CommandLineException
class CommandLineException extends Exception implements Serializable- serialVersionUID:
- -4661661744085611884L
-
Exception edu.udel.cis.vsl.gmc.ExcessiveErrorException
class ExcessiveErrorException extends RuntimeException implements Serializable- serialVersionUID:
- 258799808968219986L
-
Serialized Fields
-
numErrors
int numErrors
The number of errors encountered when this exception was thrown.
-
-
Class edu.udel.cis.vsl.gmc.GMCConfiguration
class GMCConfiguration extends Object implements Serializable- serialVersionUID:
- 6956568041621532151L
-
Serialized Fields
-
anonymousSection
GMCSection anonymousSection
The anonymous GMCSection of this configuration. Could be null. -
isQuiet
boolean isQuiet
Should output be suppressed? Usually used in CIVL test Default: false -
optionMap
Map<String,
Option> optionMap Map from option name to option, for all options associated to this configuration. -
out
PrintStream out
-
printTransition
boolean printTransition
-
saveStates
boolean saveStates
-
sectionMap
Map<String,
GMCSection> sectionMap Map from section name to section, for all non-anonymous sections associated to this configuratsion.
-
-
Class edu.udel.cis.vsl.gmc.GMCSection
class GMCSection extends Object implements Serializable- serialVersionUID:
- -4500313731497066831L
-
Serialized Fields
-
config
GMCConfiguration config
The GMC configuration that this section belongs to. -
freeArgs
ArrayList<String> freeArgs
The list of free arguments associated to this configuration. -
name
String name
The name of this section -
valueMap
Map<Option,
Object> valueMap Map from option to value assigned to that option. Only options that have a non-null value assigned to them will have an entry in this map. Any option added to this map has to be contained in the configuration associated with this section.
-
-
Exception edu.udel.cis.vsl.gmc.MisguidedExecutionException
class MisguidedExecutionException extends Exception implements Serializable- serialVersionUID:
- 4969403552467732385L
-
Class edu.udel.cis.vsl.gmc.Option
class Option extends Object implements Serializable- serialVersionUID:
- -429399824898015020L
-
Serialized Fields
-
defaultValue
Object defaultValue
The default value for this option -
description
String description
A human-readable description of this option. -
hashCode
int hashCode
-
hashed
boolean hashed
-
name
String name
The name of this option. -
type
Option.OptionType type
The type of this option.
-
-
Exception edu.udel.cis.vsl.gmc.StateSpaceCycleException
class StateSpaceCycleException extends Exception implements Serializable- serialVersionUID:
- -4766994919501211571L
-
Serialized Fields
-
stackPos
int stackPos
The position in stack of the state where a cycle found
-
-