accrue.analysis.domination

Class DominationAnalysisFactory

java.lang.Object

accrue.analysis.interprocanalysis.AnalysisFactory<Unit>

accrue.analysis.domination.DominationAnalysisFactory

public class DominationAnalysisFactory
extends AnalysisFactory<Unit>

Field Summary

Fields inherited from class accrue.analysis.interprocanalysis.AnalysisFactory

extInfo

Constructor Summary

Constructors

Constructor and Description
DominationAnalysisFactory(DominationPass.Kind kind, AccrueExtensionInfo extInfo)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	analysisName() Get the name of the analysis
java.lang.String	analysisReportName() Get the name of the analysis report
AnalysisUtil<Unit>	analysisUtil(WorkQueue<Unit> wq, AnalysisUnit aunit) Get the object sensitive analysis utility class.
Unit	bottomValDFI()
Unit	startItem(AnalysisUtil<Unit> autil, polyglot.ast.ProcedureDecl startProc) Get the start item for the analysis

Methods inherited from class accrue.analysis.interprocanalysis.AnalysisFactory

createAnalysisContext, emptyExitMap, reportTopics, startProcAnalysisContext

Methods inherited from class java.lang.Object

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

Constructor Detail

DominationAnalysisFactory

public DominationAnalysisFactory(DominationPass.Kind kind,
                         AccrueExtensionInfo extInfo)

Method Detail

analysisName

public java.lang.String analysisName()

Description copied from class: AnalysisFactory

Get the name of the analysis

Specified by:

analysisName in class AnalysisFactory<Unit>

analysisReportName

public java.lang.String analysisReportName()

Description copied from class: AnalysisFactory

Get the name of the analysis report

Specified by:

analysisReportName in class AnalysisFactory<Unit>

bottomValDFI

public Unit bottomValDFI()

startItem

public Unit startItem(AnalysisUtil<Unit> autil,
             polyglot.ast.ProcedureDecl startProc)
               throws polyglot.types.SemanticException

Description copied from class: AnalysisFactory

Get the start item for the analysis

Specified by:

startItem in class AnalysisFactory<Unit>

Parameters:

autil - Object sensitive analysis utility

startProc - Entry procedure for the analysis

Returns:

The start analysis result item

Throws:

polyglot.types.SemanticException - thrown if the start item cannot be computed due to a semantic error

analysisUtil

public AnalysisUtil<Unit> analysisUtil(WorkQueue<Unit> wq,
                              AnalysisUnit aunit)

Description copied from class: AnalysisFactory

Get the object sensitive analysis utility class.

Specified by:

analysisUtil in class AnalysisFactory<Unit>

Parameters:

wq - Analysis work queue of CodeInstance

aunit - Analysis unit that we are constructing the AnalysisUtil for.