< Back

Packages

t

Dependencies

trait Dependencies[N] extends AnyRef

Dependency methods for worklist-based analyses.

Linear Supertypes

AnyRef, Any

Known Subclasses

AvailableExpAnalysisSimpleSolver, AvailableExpAnalysisWorklistSolver, BackwardDependencies, CallStringValueAnalysis, CallString, Functional, WorklistSolverWithReachability, WorklistSolverWithReachabilityAndPropagation, SimpleSolver, WorklistSolver, WorklistSolverWithReachability, WorklistSolverWithReachabilityAndPropagation, ContextSensitiveForwardDependencies, ContextSensitiveValueAnalysis, ForwardDependencies, FunctionalValueAnalysis, InterprocValueAnalysisFunctions, InterprocValueAnalysisFunctionsWithPropagation, InterprocValueAnalysisWorklistSolverWithReachability, InterprocValueAnalysisWorklistSolverWithReachabilityAndPropagation, InterproceduralForwardDependencies, WorklistSolverWithWidening, WorklistSolverWithWideningAndNarrowing, IntervalAnalysisWidening, IntraprocValueAnalysisSimpleSolver, IntraprocValueAnalysisWorklistSolver, IntraprocValueAnalysisWorklistSolverWithReachability, IntraprocValueAnalysisWorklistSolverWithReachabilityAndPropagation, LiftedValueAnalysis, LiveVarsAnalysisSimpleSolver, LiveVarsAnalysisWorklistSolver, CallString, Functional, WorklistSolverWithReachability, WorklistSolverWithReachabilityAndPropagation, SimpleSolver, WorklistSolver, WorklistSolverWithReachability, WorklistSolverWithReachabilityAndPropagation, MapLatticeSolver, MapLiftLatticeSolver, SimpleMapLatticeFixpointSolver, SimpleWorklistFixpointSolver, Phase1, WorklistFixpointPropagationSolver, WorklistFixpointSolver, WorklistFixpointSolverWithReachability, WorklistFixpointSolverWithReachabilityAndWidening, WorklistFixpointSolverWithReachabilityAndWideningAndNarrowing

Ordering

Alphabetic
By Inheritance

Inherited

Dependencies
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Abstract Value Members

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

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

Deprecated Value Members

def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] ) @Deprecated
Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped