Request

data class Request<C : ExecutionContext> : Compute

Class representing a Request to be full-filled by the Expression evaluator

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

Methods

replyWith

fun replyWith(result: Term): Response

Creates a new Response to this Request

Parameters

Name Description
result: Term

ReturnValue

Name Description
Response