chord.analyses.alias
Class CICGAnalysis

java.lang.Object
  extended by chord.project.analyses.JavaAnalysis
      extended by chord.analyses.alias.CICGAnalysis
All Implemented Interfaces:
ITask
Direct Known Subclasses:
ThrOblAbbrCICGAnalysis, ThrSenAbbrCICGAnalysis

public class CICGAnalysis
extends JavaAnalysis

Context-insensitive call graph analysis.

Author:
Mayur Naik (mhn@cs.stanford.edu)

Field Summary
protected  CICG callGraph
           
protected  DomM domM
           
protected  ProgramRel relIM
           
protected  ProgramRel relMM
           
protected  ProgramRel relReachableM
           
protected  ProgramRel relRootM
           
 
Fields inherited from class chord.project.analyses.JavaAnalysis
consumes, controls, name, produces
 
Constructor Summary
CICGAnalysis()
           
 
Method Summary
 void free()
          Frees relations used by this program analysis if they are in memory.
 ICICG getCallGraph()
          Provides the program's context-insensitive call graph.
 void run()
          Executes this analysis in a "classic" project.
 
Methods inherited from class chord.project.analyses.JavaAnalysis
getName, run, setName, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

domM

protected DomM domM

relRootM

protected ProgramRel relRootM

relReachableM

protected ProgramRel relReachableM

relIM

protected ProgramRel relIM

relMM

protected ProgramRel relMM

callGraph

protected CICG callGraph
Constructor Detail

CICGAnalysis

public CICGAnalysis()
Method Detail

run

public void run()
Description copied from interface: ITask
Executes this analysis in a "classic" project. This method must usually not be called directly. The correct way to call it is to call ClassicProject.runTask(String) or ClassicProject.runTask(ITask), providing this analysis either by its name or its object.

Specified by:
run in interface ITask
Overrides:
run in class JavaAnalysis

getCallGraph

public ICICG getCallGraph()
Provides the program's context-insensitive call graph.

Returns:
The program's context-insensitive call graph.

free

public void free()
Frees relations used by this program analysis if they are in memory.

This method must be called after clients are done exercising the interface of this analysis.