Package pascal.taie.analysis.pta.plugin

Class AnalysisTimer

java.lang.Object

pascal.taie.analysis.pta.plugin.AnalysisTimer

All Implemented Interfaces:

Plugin

public class AnalysisTimer
extends Object
implements Plugin

Records the elapsed time of pointer analysis.

Field Summary

Fields inherited from interface pascal.taie.analysis.pta.plugin.Plugin

DUMMY

Constructor Summary

Constructors

Constructor	Description
AnalysisTimer()

Method Summary

Modifier and Type	Method	Description
void	onFinish()	Invoked when pointer analysis finishes.
void	onStart()	Invoked when pointer analysis starts.

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.

Specified by:

onStart in interface Plugin

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.

Specified by:

onFinish in interface Plugin