cetus.analysis

Class MayMod

java.lang.Object

cetus.analysis.AnalysisPass

cetus.analysis.IPAnalysis

cetus.analysis.MayMod

public class MayMod
extends IPAnalysis

Class MayMod instantiates an IPA problem that computes may-modified variables. It is able to collect the subset of the solution by specifying "include" and "exclude" sets which are sets of type specifiers.

Constructor Summary

Constructors

Constructor and Description
MayMod(IPAGraph callgraph)
MayMod(Program program)

Method Summary

Methods

Modifier and Type	Method and Description
void	analyzeProcedure(IPANode node) Analyzes the individual procedure.
void	setFilter(java.util.Set<Specifier> include, java.util.Set<Specifier> exclude)
boolean	updateCall(IPANode node) Updates the effect due to procedure call in the callee.
java.util.Set<CallSite>	updateCalls(IPANode node) Updates the effect due to procedure calls in the callees.
boolean	updateReturn(IPANode node) Updates the effect due to procedure return in the caller.

Methods inherited from class cetus.analysis.IPAnalysis

getPassName, start

Methods inherited from class cetus.analysis.AnalysisPass

run

Methods inherited from class java.lang.Object

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

Constructor Detail

MayMod

public MayMod(Program program)

MayMod

public MayMod(IPAGraph callgraph)

Method Detail

setFilter

public void setFilter(java.util.Set<Specifier> include,
             java.util.Set<Specifier> exclude)

analyzeProcedure

public void analyzeProcedure(IPANode node)

Description copied from class: IPAnalysis

Analyzes the individual procedure.

Parameters:

node - the node associated with the procedure.

updateCalls

public java.util.Set<CallSite> updateCalls(IPANode node)

Description copied from class: IPAnalysis

Updates the effect due to procedure calls in the callees.

Parameters:

node - the node that was just analyzed.

Returns:

the set of call sites that were updated.

updateCall

public boolean updateCall(IPANode node)

Description copied from class: IPAnalysis

Updates the effect due to procedure call in the callee.

Parameters:

node - the node that was just analyzed.

Returns:

true if the IN data of any call site has been updated.

updateReturn

public boolean updateReturn(IPANode node)

Description copied from class: IPAnalysis

Updates the effect due to procedure return in the caller.

Parameters:

node - the node that was just analyzed.

Returns:

true if the OUT data of the node has been updated.