trait WorklistFixpointSolverWithReachabilityAndWideningAndNarrowing[N] extends WorklistFixpointSolverWithReachabilityAndWidening[N] with SimpleMapLatticeFixpointSolver[N]
The worklist-based fixpoint solver with reachability, widening, and (simple) narrowing.
- Alphabetic
- By Inheritance
- WorklistFixpointSolverWithReachabilityAndWideningAndNarrowing
- SimpleMapLatticeFixpointSolver
- SimpleFixpointSolver
- WorklistFixpointSolverWithReachabilityAndWidening
- WorklistFixpointSolverWithReachability
- MapLiftLatticeSolver
- WorklistFixpointSolver
- ListSetWorklist
- Worklist
- MapLatticeSolver
- Dependencies
- LatticeSolver
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
val
domain: Set[N]
The map domain.
The map domain.
- Definition Classes
- SimpleMapLatticeFixpointSolver
-
abstract
val
first: Set[N]
The start locations, used as the initial contents of the worklist.
The start locations, used as the initial contents of the worklist.
- Definition Classes
- WorklistFixpointSolverWithReachability
-
abstract
def
indep(n: N): Set[N]
Incoming dependencies.
Incoming dependencies. Used when computing the join from predecessors.
- n
an element from the worklist
- returns
the elements that the given element depends on
- Definition Classes
- Dependencies
-
abstract
val
lattice: MapLattice[N, LiftLattice[Lattice]]
Must be a map lattice.
Must be a map lattice.
- Definition Classes
- MapLiftLatticeSolver → MapLatticeSolver → LatticeSolver
-
abstract
def
loophead(n: N): Boolean
Tells whether
nis a loop-head.Tells whether
nis a loop-head.- Definition Classes
- WorklistFixpointSolverWithReachabilityAndWidening
-
abstract
val
narrowingSteps: Int
Number of narrowing steps.
-
abstract
def
outdep(n: N): Set[N]
Outgoing dependencies.
Outgoing dependencies. Used when propagating dataflow to successors.
- n
an element from the worklist
- returns
the elements that depend on the given element
- Definition Classes
- Dependencies
-
abstract
def
transferUnlifted(n: N, s: Element): Element
The transfer function for the sub-sub-lattice.
The transfer function for the sub-sub-lattice.
- Definition Classes
- MapLiftLatticeSolver
-
abstract
def
widen(x: Element, y: Element): Element
Widening function.
Widening function.
- x
lattice element from previous iteration
- y
lattice element from this iteration
- returns
output lattice element
- Definition Classes
- WorklistFixpointSolverWithReachabilityAndWidening
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
add(ns: Set[N]): Unit
Adds a set of items to the worklist.
Adds a set of items to the worklist.
- Definition Classes
- ListSetWorklist → Worklist
-
def
add(n: N): Unit
Adds an item to the worklist.
Adds an item to the worklist.
- Definition Classes
- ListSetWorklist → Worklist
-
def
analyze(): Element
The basic Kleene fixpoint solver.
The basic Kleene fixpoint solver.
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
fun(x: Element): Element
The function for which the least fixpoint is to be computed.
The function for which the least fixpoint is to be computed. Applies the sublattice constraint function pointwise to each entry.
- x
the input lattice element
- returns
the output lattice element
- Definition Classes
- SimpleMapLatticeFixpointSolver → SimpleFixpointSolver
-
def
funsub(n: N, x: Element): Element
The constraint function for individual elements in the map domain.
The constraint function for individual elements in the map domain. First computes the join of the incoming elements and then applies the transfer function.
- n
the current location in the map domain
- x
the current lattice element for all locations
- returns
the output sublattice element
- Definition Classes
- MapLatticeSolver
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
join(n: N, o: Element): Element
Computes the least upper bound of the incoming elements.
Computes the least upper bound of the incoming elements.
- Definition Classes
- MapLatticeSolver
-
def
narrow(x: Element, i: Int): Element
Performs narrowing on the given lattice element
Performs narrowing on the given lattice element
- x
the lattice element
- i
number of iterations
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
def
process(n: N): Unit
Called by run to process an item from the worklist.
Called by run to process an item from the worklist.
- Definition Classes
- WorklistFixpointSolverWithReachabilityAndWidening → WorklistFixpointSolver → Worklist
-
def
run(first: Set[N]): Unit
Iterates until there is no more work to do.
Iterates until there is no more work to do.
- first
the initial contents of the worklist
- Definition Classes
- ListSetWorklist → Worklist
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
transfer(n: N, s: Element): Element
The transfer function.
The transfer function.
- Definition Classes
- MapLiftLatticeSolver → MapLatticeSolver
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
val
x: Element
The current lattice element.
The current lattice element.
- Definition Classes
- WorklistFixpointSolver
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated