Packages

c

DotLanguage

DotSemantics

class DotSemantics[Abs, Time] extends Semantics[Term, Abs, Addr, Time]

Linear Supertypes
Semantics[Term, Abs, Addr, Time], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DotSemantics
  2. Semantics
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DotSemantics()(implicit arg0: DotLattice[Abs], arg1: Timestamp[Time])

Type Members

  1. trait DotFrame extends Frame
  2. case class FrameLet(x: Variable, u: Term, env: Env) extends DotFrame with Product with Serializable
  3. case class NoTermMember(member: Identifier, obj: String, pos: Position) extends SemanticError with Product with Serializable
  4. type Sto = Store[Addr, Abs]

Value Members

  1. implicit def actionToSet(action: Action[Term, Abs, Addr]): Set[Action[Term, Abs, Addr]]
    Definition Classes
    Semantics
  2. def initialBindings: Iterable[(String, Addr, Abs)]

    Defines the elements in the initial environment/store

    Defines the elements in the initial environment/store

    Definition Classes
    Semantics
  3. def initialEnv: Iterable[(String, Addr)]
    Definition Classes
    Semantics
  4. def initialStore: Iterable[(Addr, Abs)]
    Definition Classes
    Semantics
  5. implicit def mfActionToActions(mf: MayFail[Action[Term, Abs, Addr]]): Set[Action[Term, Abs, Addr]]
    Definition Classes
    Semantics
  6. implicit def mfToActions(mf: MayFail[Set[Action[Term, Abs, Addr]]]): Set[Action[Term, Abs, Addr]]
    Definition Classes
    Semantics
  7. def parse(program: String): Term

    Defines how to parse a program

    Defines how to parse a program

    Definition Classes
    DotSemantics → Semantics
  8. def stepEval(t: Term, env: Env, store: Sto, time: Time): Set[Action[Term, Abs, Addr]]

    Defines what actions should be taken when an expression e needs to be evaluated, in environment env with store store

    Defines what actions should be taken when an expression e needs to be evaluated, in environment env with store store

    Definition Classes
    DotSemantics → Semantics
  9. def stepKont(v: Abs, frame: Frame, store: Sto, time: Time): Set[Action[Term, Abs, Addr]]

    Defines what actions should be taken when a value v has been reached, and the topmost frame is frame

    Defines what actions should be taken when a value v has been reached, and the topmost frame is frame

    Definition Classes
    DotSemantics → Semantics
  10. def stepReceive(self: Any, mname: String, margsv: List[Abs], d: Term, env: Environment[Addr], store: Store[Addr, Abs], t: Time): Set[Action[Term, Abs, Addr]]

    WIP

    WIP

    Definition Classes
    Semantics
  11. object Action extends ActionHelpers[Exp, Abs, Addr]
    Definition Classes
    Semantics