|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectchord.project.analyses.JavaAnalysis
chord.analyses.reflect.ObjNewInstAnalysis
public class ObjNewInstAnalysis
Analysis producing the following two relations: - objNewInstIH: Relation containing each tuple (i,h) such that call site i calling method "Object newInstance()" defined in class "java.lang.Class" is treated as object allocation site h. - objNewInstIM: Relation containing each tuple (i,m) such that call site i calling method "Object newInstance()" defined in class "java.lang.Class" is treated as calling the nullary constructor m on the freshly created object.
| Field Summary |
|---|
| Fields inherited from class chord.project.analyses.JavaAnalysis |
|---|
consumes, controls, name, produces |
| Constructor Summary | |
|---|---|
ObjNewInstAnalysis()
|
|
| Method Summary | |
|---|---|
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 |
| Constructor Detail |
|---|
public ObjNewInstAnalysis()
| Method Detail |
|---|
public void run()
ITaskClassicProject.runTask(String) or
ClassicProject.runTask(ITask), providing
this analysis either by its name or its object.
run in interface ITaskrun in class JavaAnalysis
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||