public class PointsToEngineTimeout extends PointsToEngine
PointsToEngine.PointsToTimeoutException, PointsToEngine.StmtAndContext
Constructor and Description |
---|
PointsToEngineTimeout(java.lang.String hafString) |
Modifier and Type | Method and Description |
---|---|
HeapAbstractionFactory |
heapAbstractionFactory() |
PointsToGraph |
solveImpl(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo) |
java.lang.String |
toString() |
checkReachedFixedpoint, checkTimeout, setTimeout, solve, startSolution, startTime, timeout, timeoutTime
public HeapAbstractionFactory heapAbstractionFactory()
heapAbstractionFactory
in class PointsToEngine
public PointsToGraph solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
solveImpl
in class PointsToEngine
public java.lang.String toString()
toString
in class PointsToEngine