Package

org.opalj.ai

util

Permalink

package util

Common utility functionality.

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. util
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. object XHTML

    Permalink

    Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.

    Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.

    Thread Safety

    This object is thread-safe.

  2. final def containsInPrefix(worklist: Chain[PC], pc: PC, prefixEnd: PC): Boolean

    Permalink

    Tests if the given pc is found in the (optional) prefix of the worklist where the end of the prefix is identified by prefixEnd.

    Tests if the given pc is found in the (optional) prefix of the worklist where the end of the prefix is identified by prefixEnd.

    If the worklist is empty, false is returned. If the given pc is equal to prefixEnd true will be returned.

    Annotations
    @inline() @tailrec()
  3. final def insertBefore(worklist: Chain[PC], pc: PC, prefixEnd: PC): Chain[PC]

    Permalink

    Inserts the given pc before prefixEnd in the list.

    Inserts the given pc before prefixEnd in the list. If the list does not contain prefixEnd, pc is appended to the list.

    Annotations
    @inline()
  4. final def insertBeforeIfNew(worklist: Chain[PC], pc: PC, prefixEnd: PC): Chain[PC]

    Permalink

    Inserts the given pc before prefixEnd in the list unless pc is already contained in the list.

    Inserts the given pc before prefixEnd in the list unless pc is already contained in the list. If the list does not contain prefixEnd, pc is appended to the list. If the list already contains pc the original list is returned!

    Annotations
    @inline()
  5. final def removeFirst(worklist: Chain[PC], pc: PC): Chain[PC]

    Permalink

    Removes the first occurrence of the specified pc from the list.

    Removes the first occurrence of the specified pc from the list. If the pc is not found, the original list is returned. I.e., it is possible to check whether the list is modified or not using a reference comparison (eq).

    Annotations
    @inline()
  6. final def removeFirstUnless(worklist: Chain[PC], pc: PC)(test: (PC) ⇒ Boolean): Chain[PC]

    Permalink

    Removes the first occurrence of the specified program counter from the given list unless the given test has failed.

    Removes the first occurrence of the specified program counter from the given list unless the given test has failed. If the test fails, the 'original list is returned. The given test is executed before the test is made whether we have to remove the element from the list. If the original list is returned it is possible to check whether the list is modified or not using a reference comparison (eq).

    Annotations
    @inline()

Inherited from AnyRef

Inherited from Any

Ungrouped