Package qilin.driver

Class PTAPattern

java.lang.Object

qilin.driver.PTAPattern

public class PTAPattern
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	PTAPattern.Approach

Constructor Summary

Constructors

Constructor	Description
PTAPattern(String ptacmd)

Method Summary

Modifier and Type	Method	Description
PTAPattern.Approach	getApproach()
int	getContextDepth()
ContextKind	getContextKind()
int	getHeapContextDepth()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

PTAPattern

public PTAPattern(String ptacmd)

Method Details

getContextKind

public ContextKind getContextKind()

getApproach

public PTAPattern.Approach getApproach()

getContextDepth

public int getContextDepth()

getHeapContextDepth

public int getHeapContextDepth()

toString

public String toString()

Overrides:

toString in class Object