Package pascal.taie.analysis

Class ClassAnalysis<R>

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.ClassAnalysis<R>

Type Parameters:

R - result type

Direct Known Subclasses:

CloneIdiom, IRDumper

public abstract class ClassAnalysis<R>
extends Analysis

Abstract base class for all class analyses, or say, intra-class analyses.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ClassAnalysis(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
abstract R	analyze(JClass jclass)	Runs this analysis for the given JClass.

Methods inherited from class pascal.taie.analysis.Analysis

getId, getOptions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClassAnalysis

protected ClassAnalysis(AnalysisConfig config)

Method Details

analyze

public abstract R analyze(JClass jclass)

Runs this analysis for the given JClass. The result will be stored in JClass. If the result is not used by following analyses, then this method should return null.

Parameters:

jclass - the class to be analyzed

Returns:

the analysis result for given class.