trait Output extends AnyRef
The output of the abstract machine.
- Alphabetic
- By Inheritance
- Output
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
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).
-
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.
-
abstract
def
graphInfo: Option[GraphInfo]
Returns information about the final graph (if it computed).
-
abstract
def
machineStats: AbstractMachineStats
Returns the stats keep on the evaluation (if it computed).
-
abstract
def
nbErrorState: Int
Returns the set number of error states.
-
abstract
def
nbFinalState: Int
Returns the number of final states.
-
abstract
def
numberOfStates: Int
Returns the number of states visited to evaluate the program.
-
abstract
def
time: Double
Returns the time it took to evaluate the program.
-
abstract
def
timedOut: Boolean
Does this output comes from a computation that timed out?
-
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
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (Output, B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate() @throws( ... )
-
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, "")
- def ensuring(cond: (Output) ⇒ Boolean, msg: ⇒ Any): Output
- def ensuring(cond: (Output) ⇒ Boolean): Output
- def ensuring(cond: Boolean, msg: ⇒ Any): Output
- def ensuring(cond: Boolean): Output
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
statsToTsv(escaped: Boolean): String
Returns a TSV representation of the stats, used to print results
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
toTsv(includeValues: Boolean, afterValues: List[String]): String
Returns a TSV representation, used to print results
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def →[B](y: B): (Output, B)