com.oracle.graal.pointsto

Interface HeapScanning

All Known Subinterfaces:

BigBang

All Known Implementing Classes:

AbstractAnalysisEngine, PointsToAnalysis

public interface HeapScanning

The heap crawling algorithm used for updating type flow is mostly implemented in ObjectScanner. This interface is a first small step in a bigger effort to separate heap crawling from the analysis. If these two parts are cleanly separated, it should allow mixing different algorithms and configurations more easily.

Method Summary

Modifier and Type	Method and Description
HeapScanningPolicy	scanningPolicy()
AnalysisType[]	skippedHeapTypes()

Method Detail

skippedHeapTypes

AnalysisType[] skippedHeapTypes()

Returns:

types that should not be crawled

scanningPolicy

HeapScanningPolicy scanningPolicy()

Returns:

policy deciding what to scan