interpreter
API
Generated with
interpreter/de.uni_luebeck.isp.tessla.interpreter/RuntimeTypeChecker

RuntimeTypeChecker

de.uni_luebeck.isp.tessla.interpreter.RuntimeTypeChecker$
object RuntimeTypeChecker

Performs type checking on runtime values.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def check(tpe: TypeExpression, value: Any): Option[String]

Concrete fields

val checker: Map[String, (List[TypeExpression], Any) => Option[String]]
Generated with