qilin.driver

Class PTAPattern

java.lang.Object

qilin.driver.PTAPattern

public class PTAPattern
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PTAPattern.Approach

Constructor Summary

Constructors

Constructor and Description
PTAPattern(String ptacmd)

Method Summary

Modifier and Type	Method and 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 Detail

PTAPattern

public PTAPattern(String ptacmd)

Method Detail

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