class Phase2 extends WorklistFixpointPropagationFunctions[CfgNode]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Phase2
- WorklistFixpointPropagationFunctions
- ListSetWorklist
- Worklist
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Phase2(cfg: InterproceduralProgramCfg, phase1: Phase1)
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[CfgNode]): Unit
Adds a set of items to the worklist.
Adds a set of items to the worklist.
- Definition Classes
- ListSetWorklist → Worklist
-
def
add(n: CfgNode): Unit
Adds an item to the worklist.
Adds an item to the worklist.
- Definition Classes
- ListSetWorklist → Worklist
-
def
analyze(): Element
- Definition Classes
- Phase2 → WorklistFixpointPropagationFunctions
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val cfg: InterproceduralProgramCfg
-
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
-
val
first: Set[CfgNode]
The start locations.
The start locations.
- Definition Classes
- Phase2 → WorklistFixpointPropagationFunctions
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
val
init: Element
The initial lattice element at the start locations.
The initial lattice element at the start locations.
- Definition Classes
- Phase2 → WorklistFixpointPropagationFunctions
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
val
lattice: MapLattice[CfgNode, statelattice.type]
Must be a map lattice.
Must be a map lattice.
- Definition Classes
- Phase2 → WorklistFixpointPropagationFunctions
-
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()
- val phase1: Phase1
-
def
process(n: CfgNode): Unit
Called by run to process an item from the worklist.
-
def
propagate(y: Element, m: CfgNode): Unit
Propagates lattice element y to node m.
Propagates lattice element y to node m.
- Definition Classes
- WorklistFixpointPropagationFunctions
-
def
run(first: Set[CfgNode]): 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
- val statelattice: MapLattice[D, SummarySolver.valuelattice.type]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... )
-
var
x: Element
The current lattice element.
The current lattice element.
- Definition Classes
- Phase2 → WorklistFixpointPropagationFunctions
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated