Package pascal.taie.analysis.pta.plugin
Class AnalysisTimer
java.lang.Object
pascal.taie.analysis.pta.plugin.AnalysisTimer
- All Implemented Interfaces:
Plugin
Records the elapsed time of pointer analysis.
-
Field Summary
-
Constructor Summary
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface pascal.taie.analysis.pta.plugin.Plugin
onNewCallEdge, onNewCSMethod, onNewMethod, onNewPointsToSet, onNewStmt, onPhaseFinish, onUnresolvedCall, setSolver
-
Constructor Details
-
AnalysisTimer
public AnalysisTimer()
-
-
Method Details
-
onStart
public void onStart()Description copied from interface:Plugin
Invoked when pointer analysis starts. -
onFinish
public void onFinish()Description copied from interface:Plugin
Invoked when pointer analysis finishes. Pointer analysis is supposed to have been finished at this stage, thus this call back should NOT modify pointer analysis results.
-