Package qilin.pta.toolkits.moon.traversal

Class TraversalInitializer

java.lang.Object

qilin.pta.toolkits.moon.traversal.TraversalInitializer

public class TraversalInitializer
extends Object

Constructor Summary

Constructors

Constructor	Description
TraversalInitializer(MoonDataConstructor.MoonDataStructure moonData, int objContextLen)

Method Summary

Modifier and Type	Method	Description
boolean	hasMultiContext(AllocNode obj)
com.google.common.collect.SetMultimap<AllocNode,LocalVarNode>	initializeObjToVarMap()

Methods inherited from class java.lang.Object

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

Constructor Details

TraversalInitializer

public TraversalInitializer(MoonDataConstructor.MoonDataStructure moonData,
 int objContextLen)

Method Details

initializeObjToVarMap

public com.google.common.collect.SetMultimap<AllocNode,LocalVarNode> initializeObjToVarMap()

hasMultiContext

public boolean hasMultiContext(AllocNode obj)