object Log extends NoStoreOperation

Linear Supertypes
NoStoreOperation, Primitive[Addr, Abs], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Log
  2. NoStoreOperation
  3. Primitive
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. def call(x: Abs): MayFail[Abs]
    Definition Classes
    Log → NoStoreOperation
  2. def call[Exp, Time](fexp: Exp, args: List[(Exp, Abs)], store: Store[Addr, Abs], t: Time)(implicit arg0: Expression[Exp], arg1: Timestamp[Time]): MayFail[(Abs, Store[Addr, Abs], Set[Effect[Addr]])]

    Calls the primitive.

    Calls the primitive.

    returns

    either an error, or the value returned by the primitive along with the updated store

    Definition Classes
    NoStoreOperation → Primitive
  3. def call(): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  4. def call[Exp](fexp: Exp, arg: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  5. def call[Exp](arg: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  6. def call[Exp](fexp: Exp, arg1: (Exp, Abs), arg2: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  7. def call[Exp](arg1: (Exp, Abs), arg2: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  8. def call(arg1: Abs, arg2: Abs): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  9. def call(args: List[Abs]): MayFail[Abs]
    Definition Classes
    NoStoreOperation
  10. val name: String

    The name of the primitive

    The name of the primitive

    Definition Classes
    NoStoreOperation → Primitive
  11. val nargs: Option[Int]
    Definition Classes
    NoStoreOperation