Package qilin.pta.toolkits.moon.objcollection

Class PartialChecker

java.lang.Object

qilin.pta.toolkits.moon.objcollection.PartialChecker

public class PartialChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
PartialChecker(MoonDataConstructor.MoonDataStructure graphBuilder)

Method Summary

Modifier and Type	Method	Description
boolean	addMetParamObj(AllocNode obj)
boolean	check(AllocNode obj)

Methods inherited from class java.lang.Object

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

Constructor Details

PartialChecker

public PartialChecker(MoonDataConstructor.MoonDataStructure graphBuilder)

Method Details

addMetParamObj

public boolean addMetParamObj(AllocNode obj)

check

public boolean check(AllocNode obj)