Package it.unive.lisa.checks.semantic

Class CheckToolWithAnalysisResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

java.lang.Object

it.unive.lisa.checks.syntactic.CheckTool

it.unive.lisa.checks.semantic.CheckToolWithAnalysisResults<A,H,V>

Type Parameters:

A - the type of AbstractState contained in the results

H - the type of HeapDomain contained in the results

V - the type of ValueDomain contained in the results

public class CheckToolWithAnalysisResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>
extends CheckTool

An extension of CheckTool that also contains the results of the fixpoint computation.

Constructor Summary

Constructors

Constructor	Description
CheckToolWithAnalysisResults(CheckTool other, java.util.Map<CFG,java.util.Collection<CFGWithAnalysisResults<A,H,V>>> results)	Builds the tool, copying the given tool and storing the given results.
CheckToolWithAnalysisResults(java.util.Map<CFG,java.util.Collection<CFGWithAnalysisResults<A,H,V>>> results)	Builds the tool, storing the given results.

Method Summary

Modifier and Type	Method	Description
java.util.Collection<CFGWithAnalysisResults<A,H,V>>	getResultOf(CFG cfg)	Yields the analysis results stored in this tool for the given CFG.

Methods inherited from class it.unive.lisa.checks.syntactic.CheckTool

getWarnings, warn, warnOn, warnOn, warnOn, warnOn, warnOn, warnOn

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckToolWithAnalysisResults

public CheckToolWithAnalysisResults(java.util.Map<CFG,java.util.Collection<CFGWithAnalysisResults<A,H,V>>> results)

Builds the tool, storing the given results.

Parameters:

results - the results to store

CheckToolWithAnalysisResults

public CheckToolWithAnalysisResults(CheckTool other,
                                    java.util.Map<CFG,java.util.Collection<CFGWithAnalysisResults<A,H,V>>> results)

Builds the tool, copying the given tool and storing the given results.

Parameters:

other - the tool to copy

results - the results to store

Method Detail

getResultOf

public java.util.Collection<CFGWithAnalysisResults<A,H,V>> getResultOf(CFG cfg)

Yields the analysis results stored in this tool for the given CFG.

Parameters:

cfg - the cfg whose results are to be retrieved

Returns:

the results on the given cfg