de.uni_luebeck.isp.tessla.interpreter.Interpreter$
See theInterpreter companion class 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
Concise view
Value members
Executes the interpreter.
Executes the interpreter.
Attributes
- 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