Class

org.bitbucket.inkytonik.kiama.machine.Machine

ParamUpdate

Related Doc: package Machine

Permalink

class ParamUpdate[T, U] extends Update

An update of a parameterised item of state s to have the value u at parameter t.

Source
Machine.scala
Linear Supertypes
Update, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ParamUpdate
  2. Update
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ParamUpdate(s: ParamState[T, U], t: T, u: U)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  9. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. def key: AnyRef

    Permalink

    Return a key for use when checking consistency of this update with other updates.

    Return a key for use when checking consistency of this update with other updates. Must uniquely determine the state that is being updated.

    Definition Classes
    ParamUpdate → Update

  13. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. def perform(): Unit

    Permalink

    Perform this update.

    Perform this update.

    Definition Classes
    ParamUpdate → Update

  17. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  18. def toString(): String

    Permalink

    Convert to string representation.

    Convert to string representation. Really only used when printing inconsistent state exceptions.

    Definition Classes
    ParamUpdate → AnyRef → Any

  19. def value: Any

    Permalink

    Return the value to which the state is being updated.

    Return the value to which the state is being updated.

    Definition Classes
    ParamUpdate → Update

  20. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  21. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  22. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Update

Inherited from AnyRef

Inherited from Any

Ungrouped