abstract class NoStoreOperation extends Primitive[Addr, Abs]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NoStoreOperation
  2. Primitive
  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 NoStoreOperation(name: String, nargs: Option[Int] = None)

Value Members

  1. 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
  2. def call(): MayFail[Abs]
  3. def call[Exp](fexp: Exp, arg: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
  4. def call[Exp](arg: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
  5. def call(arg: Abs): MayFail[Abs]
  6. def call[Exp](fexp: Exp, arg1: (Exp, Abs), arg2: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
  7. def call[Exp](arg1: (Exp, Abs), arg2: (Exp, Abs))(implicit arg0: Expression[Exp]): MayFail[Abs]
  8. def call(arg1: Abs, arg2: Abs): MayFail[Abs]
  9. def call(args: List[Abs]): MayFail[Abs]
  10. val name: String

    The name of the primitive

    The name of the primitive

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