accrue.analysis.pointer

Class PointsToEngineMultiThread

java.lang.Object

accrue.analysis.pointer.PointsToEngine

accrue.analysis.pointer.PointsToEngineMultiThread

public class PointsToEngineMultiThread
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
PointsToEngineMultiThread(HeapAbstractionFactory haf)

Method Summary

Methods

Modifier and Type	Method and Description
protected PointsToGraph	solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
PointsToGraph	solveMultithreaded(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)

Methods inherited from class accrue.analysis.pointer.PointsToEngine

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

Methods inherited from class java.lang.Object

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

Constructor Detail

PointsToEngineMultiThread

public PointsToEngineMultiThread(HeapAbstractionFactory haf)

Method Detail

solveImpl

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

Specified by:

solveImpl in class PointsToEngine

solveMultithreaded

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