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

Interpreter

de.uni_luebeck.isp.tessla.interpreter.Interpreter
See theInterpreter companion class
object Interpreter

Evaluates a core specification with a given input trace, producing a trace of events as result.

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

type Trace = Iterator[Event]

Value members

Concrete methods

def run(spec: Specification, input: Trace, stopOn: Option[String], rejectUndeclaredInputs: Boolean): Trace

Executes the interpreter.

Executes the interpreter.

Value parameters

input

the input trace to use

rejectUndeclaredInputs

defines if undeclared events occurring in the input trace should be ignored or result in an error

spec

the specification

stopOn

stop when an event on an output stream with this name is produced

Attributes

Generated with