ExpressionEvaluator

class ExpressionEvaluator<E : ExecutionContext> : AbstractEvaluator<E, Term>

Evaluates a Term as an expression, w.r.t. the loaded functions provided through request. Throws a TypeError in case a non-evaluable sub-term is met.

Constructors

<init>

constructor(request: Request<E>, index: Int?)

Evaluates a Term as an expression, w.r.t. the loaded functions provided through request. Throws a TypeError in case a non-evaluable sub-term is met.

Parameters

Name Description
request: Request<E>

the request of the primitive in which the evaluation should happen

index: Int?

the index of the argument being evalued in the aforementioned primitive