Package pascal.taie.analysis

Class AnalysisManager

java.lang.Object

pascal.taie.analysis.AnalysisManager

public class AnalysisManager
extends Object

Creates and executes analyses based on given analysis plan.

Constructor Summary

Constructors

Constructor	Description
AnalysisManager(Plan plan)

Method Summary

Modifier and Type	Method	Description
void	execute()	Executes the analysis plan.

Methods inherited from class java.lang.Object

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

Constructor Details

AnalysisManager

public AnalysisManager(Plan plan)

Method Details

execute

public void execute()

Executes the analysis plan.