RuntimeEvaluator

de.uni_luebeck.isp.tessla.interpreter.RuntimeEvaluator
See theRuntimeEvaluator companion object
class RuntimeEvaluator(externs: Map[String, Any])

An evaluator for core expressions, given implementations for externs.

Value parameters

externs

definitions of externs, as mapping from their name to their definition

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def evalExpression(exp: CoreExpression, env: Env): Any

Evaluate the expression with the provided environment and externs.

Evaluate the expression with the provided environment and externs.

Value parameters

env

the environment

exp

the expression to evaluate

Attributes

Returns

the resulting value

def evalExpressionArg(arg: ExpressionOrRef, env: => Env): Lazy[Any]

Evaluate an expression argument.

Evaluate an expression argument.

In case of a reference, the identifier is resolved using the provided environment, otherwise the expression is evaluated in evalExpression.

Value parameters

arg

the argument to evaluate

env

the environment

Attributes