Uses of Interface
pascal.taie.analysis.StmtResult

Packages that use StmtResult

Package	Description
pascal.taie.analysis.dataflow.fact
pascal.taie.analysis.defuse
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.

Uses of StmtResult in pascal.taie.analysis.dataflow.fact

Subinterfaces of StmtResult in pascal.taie.analysis.dataflow.fact

Modifier and Type	Interface	Description
interface	NodeResult<Node,Fact>	An interface for querying data-flow results.

Classes in pascal.taie.analysis.dataflow.fact that implement StmtResult

Modifier and Type	Class	Description
class	DataflowResult<Node,Fact>	An object which manages the data-flow facts associated with nodes.

Uses of StmtResult in pascal.taie.analysis.defuse

Classes in pascal.taie.analysis.defuse that implement StmtResult

Modifier and Type	Class	Description
class	DefUse	Represents the analysis result of DefUseAnalysis, i.e., both def-use chain and use-def chain.

Uses of StmtResult in pascal.taie.analysis.graph.callgraph

Subinterfaces of StmtResult in pascal.taie.analysis.graph.callgraph

Modifier and Type	Interface	Description
interface	CallGraph<CallSite,Method>	Representation of call graph.

Classes in pascal.taie.analysis.graph.callgraph that implement StmtResult

Modifier and Type	Class	Description
class	AbstractCallGraph<CallSite,Method>	Common functionality for CallGraph implementations.
class	DefaultCallGraph	Default implementation of call graph.

Uses of StmtResult in pascal.taie.analysis.pta.core.cs

Classes in pascal.taie.analysis.pta.core.cs that implement StmtResult

Modifier and Type	Class	Description
class	CSCallGraph	Represents context-sensitive call graph.