class Interpreter extends Specification
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Interpreter
- Specification
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Interpreter(spec: TesslaCore.Specification)
Type Members
- type Env = Map[TesslaCore.Identifier, ValueOrError]
-
final
class
Input extends Triggered
- Definition Classes
- Specification
-
sealed
class
Stream extends AnyRef
- Definition Classes
- Specification
-
sealed abstract
class
Triggered extends Stream
- Definition Classes
- Specification
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
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( ... )
- lazy val defs: Map[TesslaCore.Identifier, Lazy[Stream]]
-
def
delay(delays: ⇒ Stream, resets: ⇒ Stream): Stream
- Definition Classes
- Specification
-
def
delayedLast(delays: ⇒ Stream, values: ⇒ Stream): Stream
- Definition Classes
- Specification
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def getInt(value: Value): BigInt
-
def
getTime: Time
- Definition Classes
- Specification
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val inStreams: Map[String, (Input, ValueType)]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
last(times: Stream, values: ⇒ Stream): Stream
- Definition Classes
- Specification
-
def
lift(streams: Seq[Stream])(op: (Seq[ValueOrError]) ⇒ Option[ValueOrError]): Stream
- Definition Classes
- Specification
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
nil: Stream
- Definition Classes
- Specification
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- lazy val outStreams: Seq[(String, Stream, Type)]
-
def
printStream(stream: Stream, name: String): Unit
- Definition Classes
- Specification
-
def
simpleLift(streams: Seq[Stream])(op: (Seq[Option[ValueOrError]]) ⇒ Option[ValueOrError]): Stream
- Definition Classes
- Specification
- val spec: TesslaCore.Specification
-
def
step(timeDelta: Time): Unit
Propagates all inputs and progresses time.
Propagates all inputs and progresses time.
- Definition Classes
- Specification
-
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
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... )