Packages

o

org.opalj.ai

NoUpdate

case object NoUpdate extends Update[Nothing] with Product with Serializable

Indicates that the (given) structure was not updated.

Source
Update.scala
Note

The abstract interpretation framework itself does not distinguish between a NoUpdate and a MetaInformationUpdate; the abstract interpretation will not be continued in both cases.

Linear Supertypes
Serializable, Product, Equals, Update[Nothing], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NoUpdate
  2. Serializable
  3. Product
  4. Equals
  5. Update
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type ThisType[V] = NoUpdate.type

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def &:(updateType: UpdateType): UpdateType

    Merges a given updateType value with the type of this update and returns a new UpdateType value.

    Merges a given updateType value with the type of this update and returns a new UpdateType value.

    Definition Classes
    NoUpdateUpdate
    See also

    org.opalj.ai.UpdateType for further details.

  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. def isMetaInformationUpdate: Boolean
    Definition Classes
    Update
  12. def isNoUpdate: Boolean
    Definition Classes
    NoUpdateUpdate
  13. def isSomeUpdate: Boolean
    Definition Classes
    NoUpdateUpdate
  14. def isStructuralUpdate: Boolean
    Definition Classes
    Update
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  18. def productElementName(n: Int): String
    Definition Classes
    Product
  19. def productElementNames: Iterator[String]
    Definition Classes
    Product
  20. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  21. def updateType: UpdateType

    The type of this update.

    The type of this update.

    Definition Classes
    NoUpdateUpdate
  22. def updateValue[NewV](newValue: NewV): Nothing

    Creates a new Update object of the same type with the given value.

    Creates a new Update object of the same type with the given value.

    Definition Classes
    NoUpdateUpdate
  23. def value: Nothing

    The updated value; if available.

    The updated value; if available.

    Definition Classes
    NoUpdateUpdate
  24. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  25. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Update[Nothing]

Inherited from AnyRef

Inherited from Any

Ungrouped