interpreter
API
Generated with
interpreter/de.uni_luebeck.isp.tessla.interpreter/Interpreter

Interpreter

de.uni_luebeck.isp.tessla.interpreter.Interpreter
See theInterpreter companion object
class Interpreter(val spec: Specification) extends StreamEngine

An interpreter instance for a given specification.

Value parameters

spec

the specification

Attributes

Companion
object
Graph
Supertypes
class StreamEngine
class Object
trait Matchable
class Any

Members list

Type members

Inherited classlikes

final class Input extends Triggered

Attributes

Inherited from:
StreamEngine
Supertypes
class Triggered
class Stream
class Object
trait Matchable
class Any
sealed class Stream

Attributes

Inherited from:
StreamEngine
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Triggered
class Input
sealed abstract class Triggered extends Stream

Attributes

Inherited from:
StreamEngine
Supertypes
class Stream
class Object
trait Matchable
class Any
Known subtypes
class Input

Value members

Inherited methods

def delay(delays: => Stream, resets: => Stream): Stream

Attributes

Inherited from:
StreamEngine
def getTime: Time

Attributes

Inherited from:
StreamEngine
def last(values: => Stream, times: Stream): Stream

Attributes

Inherited from:
StreamEngine
def lift(streams: ArraySeq[Stream])(op: ArraySeq[Option[Any]] => Option[Any]): Stream

Attributes

Inherited from:
StreamEngine
def merge(streams: ArraySeq[Stream]): Stream

Attributes

Inherited from:
StreamEngine
def nil: Stream

Attributes

Inherited from:
StreamEngine
def slift(streams: ArraySeq[Stream])(op: ArraySeq[Any] => Any): Stream

Attributes

Inherited from:
StreamEngine
def step(timeDelta: Time): Unit

Propagates all inputs and progresses time.

Propagates all inputs and progresses time.

Attributes

Inherited from:
StreamEngine
def step(): Unit

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.

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.

Attributes

Inherited from:
StreamEngine

Concrete fields

lazy val definitions: Env
val inStreams: Map[String, (Input, TypeExpression)]
lazy val outStreams: Seq[(Option[String], Stream, TypeExpression)]
val spec: Specification
val streamExterns: Map[String, ArraySeq[Lazy[Any]] => Lazy[Any]]
Generated with