accrue.analysis.readwritesets

Class ReadWriteSetsPass

java.lang.Object

polyglot.frontend.AbstractPass

accrue.analysis.interprocanalysis.InterProcAnalysisPass<ReadWriteSet>

accrue.analysis.readwritesets.ReadWriteSetsPass

All Implemented Interfaces:

polyglot.frontend.Pass

public class ReadWriteSetsPass
extends InterProcAnalysisPass<ReadWriteSet>

Analysis pass for analysis that gathers the locations read and written by procedures

Field Summary

Fields inherited from class accrue.analysis.interprocanalysis.InterProcAnalysisPass

extInfo, factory, registrar

Fields inherited from class polyglot.frontend.AbstractPass

exclusive_time, goal, inclusive_time

Method Summary

Methods

Modifier and Type	Method and Description
static ReadWriteSetsPass	singleton(AccrueExtensionInfo extInfo, polyglot.frontend.goals.Goal g) Create a singleton pass

Methods inherited from class accrue.analysis.interprocanalysis.InterProcAnalysisPass

createWorkQueue, extensionInfo, postSuccessfulProcess, registrar, run

Methods inherited from class polyglot.frontend.AbstractPass

exclusiveTime, goal, inclusiveTime, name, resetTimers, toggleTimers, toString

Methods inherited from class java.lang.Object

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

Method Detail

singleton

public static ReadWriteSetsPass singleton(AccrueExtensionInfo extInfo,
                          polyglot.frontend.goals.Goal g)

Create a singleton pass

Parameters:

extInfo - Accrue extension information

g - Goal for the analysis pass

Returns:

new analysis pass