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)
Value parameters
- spec
-
The interpreter of the base specification
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
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.
Value parameters
- listener
-
The listener to be added
Attributes
Provide an input event for an input stream of type Int.
Provide an input event for an input stream of type Int.
Value parameters
- stream
-
Name of the input stream
- value
-
The value of the input event
Attributes
- 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.
Value parameters
- stream
-
Name of the input stream
- value
-
The value of the input event
Attributes
- 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.
Value parameters
- stream
-
Name of the input stream
- value
-
The value of the input event
Attributes
- 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.
Value parameters
- stream
-
Name of the input stream
- value
-
The value of the input event
Attributes
- 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.
Value parameters
- stream
-
Name of the input stream
Attributes
- 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.
Value parameters
- stream
-
Name of the input stream
- value
-
The value of the input event
Attributes
- 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.
Value parameters
- time
-
The timestamp until which all outputs shall be processed.
Attributes
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.
Value parameters
- time
-
The timestamp until which all outputs shall be processed.
Attributes
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