Serialized Form

  • Package dev.civl.gmc

    • Exception Class dev.civl.gmc.CommandLineException

      class CommandLineException extends Exception implements Serializable
      serialVersionUID:
      -4661661744085611884L

    • Exception Class dev.civl.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 dev.civl.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 dev.civl.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 Class dev.civl.gmc.MisguidedExecutionException

      class MisguidedExecutionException extends Exception implements Serializable
      serialVersionUID:
      4969403552467732385L

    • Class dev.civl.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 Class dev.civl.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