Packages

abstract class Action[Exp, Abs, Addr] extends MemoHashCode

The different kinds of actions that can be taken by the abstract machine

Linear Supertypes
MemoHashCode, Product, Equals, AnyRef, Any
Known Subclasses
ActionError, ActionEval, ActionPush, ActionReachedValue, ActionStepIn
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Action
  2. MemoHashCode
  3. Product
  4. Equals
  5. AnyRef
  6. 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 Action()(implicit arg0: Expression[Exp], arg1: JoinLattice[Abs], arg2: Address[Addr])

Abstract Value Members

  1. abstract def addEffects(effects: Set[Effect[Addr]]): Action[Exp, Abs, Addr]
  2. abstract def canEqual(that: Any): Boolean
    Definition Classes
    Equals
  3. abstract def productArity: Int
    Definition Classes
    Product
  4. abstract def productElement(n: Int): Any
    Definition Classes
    Product

Concrete Value Members

  1. def hashCode(): Int

    Memoized default hash code

    Memoized default hash code

    Definition Classes
    MemoHashCode → AnyRef → Any
  2. def productIterator: Iterator[Any]
    Definition Classes
    Product
  3. def productPrefix: String
    Definition Classes
    Product