Packages

class Interpreter extends Specification[BigInt]

Linear Supertypes
Specification[BigInt], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Interpreter
  2. Specification
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Interpreter(spec: TesslaCore.Specification)

Type Members

  1. final case class BoolValue (b: Boolean) extends Value with Product with Serializable
  2. final case class IntValue (i: BigInt) extends Value with Product with Serializable
  3. case class InterpreterError (message: String, loc: Location) extends RuntimeException with Product with Serializable
  4. final case class StringValue (s: String) extends Value with Product with Serializable
  5. sealed abstract class Value extends AnyRef
  6. final class Input [Value] extends Triggered[Value]
    Definition Classes
    Specification
  7. sealed class RegionMark extends AnyRef
    Definition Classes
    Specification
  8. final class ResetStream [A] extends Stream[A]
    Definition Classes
    Specification
  9. sealed class Stream [Value] extends AnyRef
    Definition Classes
    Specification
  10. sealed abstract class StreamConstraint [Complete <: HList, Inputs <: HList, InputStreams <: HList] extends AnyRef
    Definition Classes
    Specification
  11. sealed abstract class Triggered [Value] extends Stream[Value]
    Definition Classes
    Specification

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def Input[Value](): Input[Value]
    Definition Classes
    Specification
  5. def Operation[Value, State, Inputs <: HList, InputStreams <: HList](initState: State, inputStreams: InputStreams)(op: (BigInt, State, Inputs) ⇒ (State, Option[Value]))(implicit constraint: StreamConstraint[_, Inputs, InputStreams]): Stream[Value]
    Definition Classes
    Specification
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def boolStream(stream: Stream[Value], loc: Location): Stream[Boolean]
  8. def boolStreamToValueStream(stream: Stream[Boolean]): Stream[Value]
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. implicit def consStreamConstraint[Value, Complete <: HList, Inputs <: HList, InputStreams <: HList](implicit ev: StreamConstraint[Complete, Inputs, InputStreams]): StreamConstraint[::[Value, Complete], ::[Option[Value], Inputs], ::[Stream[Value], InputStreams]]
    Definition Classes
    Specification
  11. def const[Value](value: Value): Stream[Value]
    Definition Classes
    Specification
  12. lazy val defs: Map[String, Lazy[Stream[Value]]]
  13. def delayedLast[Value](delays: ⇒ Stream[BigInt], values: ⇒ Stream[Value]): Stream[Value]
    Definition Classes
    Specification
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  18. def getTime: BigInt
    Definition Classes
    Specification
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  20. val inStreams: Map[String, Input[Value]]
  21. def intStream(stream: Stream[Value], loc: Location): Stream[BigInt]
  22. def intStreamToValueStream(stream: Stream[BigInt]): Stream[Value]
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def last[Value](times: Stream[_], values: ⇒ Stream[Value]): Stream[Value]
    Definition Classes
    Specification
  25. def lift[Value, Complete <: HList, Inputs <: HList, Streams <: HList](streams: Streams)(op: (Complete) ⇒ Option[Value])(implicit constraint: StreamConstraint[Complete, Inputs, Streams]): Stream[Value]
    Definition Classes
    Specification
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. def nil[Value]: Stream[Value]
    Definition Classes
    Specification
  28. implicit val nilSteamConstraint: StreamConstraint[HNil, HNil, HNil]
    Definition Classes
    Specification
  29. final def notify(): Unit
    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  31. lazy val outStreams: Map[String, Stream[Value]]
  32. def period(value: BigInt): Stream[Unit]
    Definition Classes
    Specification
  33. def printStream(stream: Stream[_], name: String): Unit
    Definition Classes
    Specification
  34. val spec: TesslaCore.Specification
  35. def step(timeDelta: BigInt): Unit

    Propagates all inputs and progresses time.z

    Propagates all inputs and progresses time.z

    Definition Classes
    Specification
  36. def step(): Unit

    Propagates all inputs without progressing time.

    Propagates all inputs without progressing time. Can only be called once per point in time. No more input values can be provided for the current time afterwards.

    Definition Classes
    Specification
  37. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. object UnitValue extends Value with Product with Serializable
  43. object RegionBegin extends RegionMark with Product with Serializable
    Definition Classes
    Specification
  44. object RegionInside extends RegionMark with Product with Serializable
    Definition Classes
    Specification
  45. object RegionOutside extends RegionMark with Product with Serializable
    Definition Classes
    Specification
  46. object ResetStream
    Definition Classes
    Specification

Inherited from Specification[BigInt]

Inherited from AnyRef

Inherited from Any

Ungrouped