accrue.analysis.pointer

Class PointsToEngineTimeout

java.lang.Object

accrue.analysis.pointer.PointsToEngine

accrue.analysis.pointer.PointsToEngineTimeout

public class PointsToEngineTimeout
extends PointsToEngine

Nested Class Summary

Nested classes/interfaces inherited from class accrue.analysis.pointer.PointsToEngine

PointsToEngine.PointsToTimeoutException, PointsToEngine.StmtAndContext

Constructor Summary

Constructors

Constructor and Description
PointsToEngineTimeout(java.lang.String hafString)

Method Summary

Methods

Modifier and Type	Method and Description
HeapAbstractionFactory	heapAbstractionFactory()
PointsToGraph	solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
java.lang.String	toString()

Methods inherited from class accrue.analysis.pointer.PointsToEngine

checkReachedFixedpoint, checkTimeout, setTimeout, solve, startSolution, startTime, timeout, timeoutTime

Methods inherited from class java.lang.Object

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

Constructor Detail

PointsToEngineTimeout

public PointsToEngineTimeout(java.lang.String hafString)

Method Detail

heapAbstractionFactory

public HeapAbstractionFactory heapAbstractionFactory()

Overrides:

heapAbstractionFactory in class PointsToEngine

solveImpl

public PointsToGraph solveImpl(StmtRegistrar registrar,
                      polyglot.frontend.ExtensionInfo extInfo)

Specified by:

solveImpl in class PointsToEngine

toString

public java.lang.String toString()

Overrides:

toString in class PointsToEngine