Engine
Class for a TeSSLa monitor.
Intended usage is not to directly instantiate an Engine but to use the compile function instead. See usage example of JavaApi for details.
An Engine object can be used to receive events from input streams (see provide) and to attach listeners for output streams (see addListener)
Attributes
- spec
The interpreter of the base specification
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
Value members
Concrete methods
Add a listener for all output events. See EngineListener for details. Previously added listeners remain active.
Add a listener for all output events. See EngineListener for details. Previously added listeners remain active.
Attributes
- listener
The listener to be added
Provide an input event for an input stream of type Int.
Provide an input event for an input stream of type Int.
Attributes
- stream
Name of the input stream
- value
The value of the input event
- Returns:
Boolean indicating if the event generation succeeded or if an error occurred.
Provide an input event for an input stream of type Int. Use this variation if you want to pass a BigInt value.
Provide an input event for an input stream of type Int. Use this variation if you want to pass a BigInt value.
Attributes
- stream
Name of the input stream
- value
The value of the input event
- Returns:
Boolean indicating if the event generation succeeded or if an error occurred.
Provide an input event for an input stream of type Bool.
Provide an input event for an input stream of type Bool.
Attributes
- stream
Name of the input stream
- value
The value of the input event
- Returns:
Boolean indicating if the event generation succeeded or if an error occurred.
Provide an input event for an input stream of type String.
Provide an input event for an input stream of type String.
Attributes
- stream
Name of the input stream
- value
The value of the input event
- Returns:
Boolean indicating if the event generation succeeded or if an error occurred.
Provide an input event for an input stream of type Unit.
Provide an input event for an input stream of type Unit.
Attributes
- stream
Name of the input stream
- Returns:
Boolean indicating if the event generation succeeded or if an error occurred.
Provide an input event for an input stream of any type.
Provide an input event for an input stream of any type.
Attributes
- stream
Name of the input stream
- value
The value of the input event
- Returns:
Boolean indicating if the event generation succeeded or if an error occurred.
Propagates all inputs and progresses time to the given timestamp. After calling this function all outputs until time will be generated and printed. All subsequent calls provide will then rely to this timestamp.
Propagates all inputs and progresses time to the given timestamp. After calling this function all outputs until time will be generated and printed. All subsequent calls provide will then rely to this timestamp.
Note: Only call this function with strictly increasing arguments.
Attributes
- time
The timestamp until which all outputs shall be processed.
Propagates all inputs and progresses time to the given timestamp. After calling this function all outputs until time will be generated and printed. All subsequent calls provide will then rely to this timestamp.
Propagates all inputs and progresses time to the given timestamp. After calling this function all outputs until time will be generated and printed. All subsequent calls provide will then rely to this timestamp.
Note: Only call this function with strictly increasing arguments.
Use this variant of the method if you require BigInt to represent your timestamps.
Attributes
- time
The timestamp until which all outputs shall be processed.
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 methods
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product