data class Request<C : ExecutionContext> : Compute
Fields
| Name | Description |
|---|---|
val query: Struct
|
The current expression Struct of this request |
val signature: Signature
|
Signature of the function to be executed in this Request |
val arguments: List<Term>
|
Arguments with which the function is invoked in this Request |
val context: C
|
The context that's current at Request making |
val requestIssuingInstant: TimeInstant
|
The time instant when the request was submitted for evaluation |
val executionMaxDuration: TimeDuration
|
The execution max duration after which the computation should end, because no more useful |
Constructors
<init>
constructor(signature: Signature, arguments: List<Term>, context: C, requestIssuingInstant: TimeInstant, executionMaxDuration: TimeDuration)
Class representing a Request to be full-filled by the Expression evaluator
Parameters
| Name | Description |
|---|---|
signature: Signature
|
|
arguments: List<Term>
|
|
context: C
|
|
requestIssuingInstant: TimeInstant
|
|
executionMaxDuration: TimeDuration
|
Class representing a Request to be full-filled by the Expression evaluator