util

Value Members

1. object XHTML

   

   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

   

   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]

   

   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]

   

   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]

   

   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]

   

   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()