Package

ObSec

Runtime

Permalink

package Runtime

Visibility
  1. Public
  2. All

Type Members

  1. class EmptyEnvironment[T] extends Environment[T]

    Permalink
  2. abstract class Environment[T] extends AnyRef

    Permalink

    Created by racruz on 27-03-2017.

  3. class ExtEnvironment[T] extends Environment[T]

    Permalink
  4. class Interpreter extends AnyRef

    Permalink

    Defines an interpreter for the ObSe language

  5. case class ObjClosure(v: Obj, env: Environment[RuntimeValue]) extends RuntimeValue with Product with Serializable

    Permalink

    An object closure (containing the environment)

  6. case class RuntimeBoolean(v: Boolean) extends RuntimeValue with Product with Serializable

    Permalink
  7. case class RuntimeInt(v: Int) extends RuntimeValue with Product with Serializable

    Permalink
  8. case class RuntimeStr(v: String) extends RuntimeValue with Product with Serializable

    Permalink
  9. case class RuntimeStrList(l: List[RuntimeStr]) extends RuntimeValue with Product with Serializable

    Permalink
  10. abstract class RuntimeValue extends AnyRef

    Permalink
  11. class StuckError extends Error

    Permalink

Value Members

  1. object Environment

    Permalink
  2. object Interpreter

    Permalink

Ungrouped