Packages

trait Output extends AnyRef

The output of the abstract machine.

Linear Supertypes
AnyRef, Any
Known Subclasses
SeqAAMOutput
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Output
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def errorValues: List[SemanticError]

    Returns the set of error values that can be reached by the abstract machine.

    Returns the set of error values that can be reached by the abstract machine. Returns the set as a list, to allow a deterministic order (not implemented).

  2. abstract def finalValues: List[Abs]

    Returns the set of final values that can be reached by the abstract machine.

    Returns the set of final values that can be reached by the abstract machine. Example: the Scheme program (+ 1 2) has as final values the set {3}, in the concrete case. Returns the set as a list, to have a deterministic order.

  3. abstract def graphInfo: Option[GraphInfo]

    Returns information about the final graph (if it computed).

  4. abstract def machineStats: AbstractMachineStats

    Returns the stats keep on the evaluation (if it computed).

  5. abstract def nbErrorState: Int

    Returns the set number of error states.

  6. abstract def nbFinalState: Int

    Returns the number of final states.

  7. abstract def numberOfStates: Int

    Returns the number of states visited to evaluate the program.

  8. abstract def time: Double

    Returns the time it took to evaluate the program.

  9. abstract def timedOut: Boolean

    Does this output comes from a computation that timed out?

  10. abstract def toFile(path: String)(config: Option[MachineConfig], output: GraphOutput): Unit

    Outputs the graph computed by the machine in a file, according to the given output format.

Concrete Value Members

  1. def compareToReference(optionReference: Option[Output]): (Option[Output], String)

    If optionReference is Some() then compare this output with it value and return (optionReference, separated semi-colon list of possible errors), else return (this output, "")

  2. def statsToTsv(escaped: Boolean): String

    Returns a TSV representation of the stats, used to print results

  3. def toTsv(includeValues: Boolean, afterValues: List[String]): String

    Returns a TSV representation, used to print results