Package qilin.pta.toolkits.selectx

Class Selectx

java.lang.Object

qilin.pta.toolkits.selectx.Selectx

public class Selectx
extends Object

Constructor Summary

Constructors

Constructor	Description
Selectx(PTA pta)

Method Summary

Modifier and Type	Method	Description
void	addAssignEdge(LocalVarNode from, LocalVarNode to)
void	addEntryEdge(LocalVarNode from, LocalVarNode to, CallSite callSite)
void	addExitEdge(LocalVarNode from, LocalVarNode to, CallSite callSite)
void	addNewEdge(AllocNode from, LocalVarNode to)
void	addStaticLoadEdge(GlobalVarNode from, LocalVarNode to)
void	addStaticStoreEdge(LocalVarNode from, GlobalVarNode to)
void	addStoreEdge(LocalVarNode from, LocalVarNode base)
Map<Object,Integer>	process()

Methods inherited from class java.lang.Object

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

Constructor Details

Selectx

public Selectx(PTA pta)

Method Details

addNewEdge

public void addNewEdge(AllocNode from,
 LocalVarNode to)

addAssignEdge

public void addAssignEdge(LocalVarNode from,
 LocalVarNode to)

addEntryEdge

public void addEntryEdge(LocalVarNode from,
 LocalVarNode to,
 CallSite callSite)

addExitEdge

public void addExitEdge(LocalVarNode from,
 LocalVarNode to,
 CallSite callSite)

addStoreEdge

public void addStoreEdge(LocalVarNode from,
 LocalVarNode base)

addStaticStoreEdge

public void addStaticStoreEdge(LocalVarNode from,
 GlobalVarNode to)

addStaticLoadEdge

public void addStaticLoadEdge(GlobalVarNode from,
 LocalVarNode to)

process

public Map<Object,Integer> process()