public abstract class PointsToEngine
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
PointsToEngine.PointsToTimeoutException |
static class |
PointsToEngine.StmtAndContext |
Modifier | Constructor and Description |
---|---|
protected |
PointsToEngine() |
|
PointsToEngine(HeapAbstractionFactory haf) |
Modifier and Type | Method and Description |
---|---|
protected void |
checkReachedFixedpoint(StmtRegistrar registrar,
PointsToGraph g) |
protected void |
checkTimeout() |
HeapAbstractionFactory |
heapAbstractionFactory() |
void |
setTimeout(java.lang.Long timeout_millisecs) |
PointsToGraph |
solve(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo) |
protected abstract PointsToGraph |
solveImpl(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo) |
protected void |
startSolution() |
protected java.lang.Long |
startTime() |
protected java.lang.Long |
timeout() |
protected java.lang.Long |
timeoutTime() |
java.lang.String |
toString() |
protected PointsToEngine()
public PointsToEngine(HeapAbstractionFactory haf)
protected java.lang.Long startTime()
protected java.lang.Long timeoutTime()
protected java.lang.Long timeout()
public void setTimeout(java.lang.Long timeout_millisecs)
public HeapAbstractionFactory heapAbstractionFactory()
protected void startSolution()
protected void checkTimeout()
public final PointsToGraph solve(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
protected abstract PointsToGraph solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
protected void checkReachedFixedpoint(StmtRegistrar registrar, PointsToGraph g)
public java.lang.String toString()
toString
in class java.lang.Object