java.lang.Object
- it.unive.lisa.analysis.BaseLattice<F>
- - it.unive.lisa.analysis.lattices.FunctionalLattice<CFGResults<A,H,V>,ContextSensitivityToken,CFGWithAnalysisResults<A,H,V>>
  - - it.unive.lisa.interprocedural.impl.CFGResults<A,H,V>

Type Parameters:

A - the type of AbstractState contained into the analysis state

H - the type of HeapDomain contained into the computed abstract state

V - the type of ValueDomain contained into the computed abstract state

All Implemented Interfaces:

Lattice<CFGResults<A,H,V>>, java.lang.Iterable<java.util.Map.Entry<ContextSensitivityToken,CFGWithAnalysisResults<A,H,V>>>
```
public class CFGResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>
extends FunctionalLattice<CFGResults<A,H,V>,ContextSensitivityToken,CFGWithAnalysisResults<A,H,V>>
```
A FunctionalLattice from ContextSensitivityTokens to CFGWithAnalysisResultss. This class is meant to store fixpoint results on each token generated during the interprocedural analysis.

Nested Class Summary
- Nested classes/interfaces inherited from class it.unive.lisa.analysis.lattices.FunctionalLattice
  FunctionalLattice.FunctionalLift<V extends Lattice<V>>, FunctionalLattice.KeyFunctionalLift<K>

Field Summary
- Fields inherited from class it.unive.lisa.analysis.lattices.FunctionalLattice
  function, lattice
- Fields inherited from interface it.unive.lisa.analysis.Lattice
  BOTTOM_REPR, BOTTOM_STRING, TOP_REPR, TOP_STRING

Constructor Summary

Constructors
Constructor Description

CFGResults(CFGWithAnalysisResults<A,H,V> lattice)
Builds a new result.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`CFGResults<A,H,V>`	`bottom()`	Yields the bottom element of this lattice.
`boolean`	`contains(ContextSensitivityToken token)`	Yields `true` if a result exists for the given `token`.
`java.util.Collection<CFGWithAnalysisResults<A,H,V>>`	`getAll()`	Yields all the results stored in this object, for any possible `ContextSensitivityToken` used.
`boolean`	`isBottom()`	Yields `true` if and only if this object represents the bottom of the lattice.
`boolean`	`isTop()`	Yields `true` if and only if this object represents the top of the lattice.
`protected CFGResults<A,H,V>`	`mk(CFGWithAnalysisResults<A,H,V> lattice, java.util.Map<ContextSensitivityToken,CFGWithAnalysisResults<A,H,V>> function)`	Builds a instance of this class from the given lattice instance and the given mapping.
`org.apache.commons.lang3.tuple.Pair<java.lang.Boolean,CFGWithAnalysisResults<A,H,V>>`	`putResult(ContextSensitivityToken token, CFGWithAnalysisResults<A,H,V> result)`	Stores the result of a fixpoint computation on a cfg, if needed.
`CFGResults<A,H,V>`	`top()`	Yields the top element of this lattice.

Methods inherited from class it.unive.lisa.analysis.lattices.FunctionalLattice
equals, functionalLift, getKeys, getMap, getState, getValues, glbKeys, hashCode, iterator, lessOrEqualAux, lubAux, lubKeys, mkNewFunction, putState, toString, wideningAux

Methods inherited from class it.unive.lisa.analysis.BaseLattice
lessOrEqual, lub, widening

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Constructor Detail
  - CFGResults
```
public CFGResults(CFGWithAnalysisResults<A,H,V> lattice)
```
    Builds a new result.
    
    Parameters:
    
    lattice - a singleton instance used for retrieving top and bottom values
- Method Detail
  - putResult
```
public org.apache.commons.lang3.tuple.Pair<java.lang.Boolean,CFGWithAnalysisResults<A,H,V>> putResult(ContextSensitivityToken token,
                                                                                                                        CFGWithAnalysisResults<A,H,V> result)
                                                                                                                 throws SemanticException
```
    Stores the result of a fixpoint computation on a cfg, if needed. This method returns a pair of a boolean and a CFGWithAnalysisResults, where (prev is the CFGWithAnalysisResults already present for the given token):
    
    if no prev was stored for token, than that token is mapped to result and this method returns <false, result>
    
    if prev <= result, then token is mapped to result and this method returns <true, result>
    
    if result <= prev, then the mapping is left untouched and this method returns <false, prev>
    
    otherwise, token is mapped to lub = prev.lub(result) and this method returns <true, lub>
    
    The value returned by this method is intended to be a hint that a new fixpoint computation is needed to ensure that the results are stable.
    Parameters:
    
    token - the ContextSensitivityToken that identifying the result
    
    result - the CFGWithAnalysisResults to store
    
    Returns:
    
    true if the previous result has been updated, if any
    
    Throws:
    
    SemanticException - if something goes wrong during the update
  - contains
```
public boolean contains(ContextSensitivityToken token)
```
    Yields true if a result exists for the given token.
    
    Parameters:
    
    token - the ContextSensitivityToken that identifying the result
    
    Returns:
    
    true if that condition holds
  - getAll
```
public java.util.Collection<CFGWithAnalysisResults<A,H,V>> getAll()
```
    Yields all the results stored in this object, for any possible ContextSensitivityToken used.
    
    Returns:
    
    the results
  - top
```
public CFGResults<A,H,V> top()
```
    Description copied from interface: Lattice
    
    Yields the top element of this lattice. The returned element should be unique across different calls to this method, since Lattice.isTop() uses reference equality by default. If the value returned by this method is not a singleton, override Lattice.isTop() accordingly to provide a coherent test.
    
    Returns:
    
    the top element
  - isTop
```
public boolean isTop()
```
    Description copied from interface: Lattice
    
    Yields true if and only if this object represents the top of the lattice. The default implementation of this method uses reference equality between this and the value returned by Lattice.top(), thus assuming that the top element is a singleton. If this is not the case, override this method accordingly to provide a coherent test.
    
    Returns:
    
    true if this is the top of the lattice
  - bottom
```
public CFGResults<A,H,V> bottom()
```
    Description copied from interface: Lattice
    
    Yields the bottom element of this lattice. The returned element should be unique across different calls to this method, since Lattice.isBottom() uses reference equality by default. If the value returned by this method is not a singleton, override Lattice.isBottom() accordingly to provide a coherent test.
    
    Returns:
    
    the bottom element
  - isBottom
```
public boolean isBottom()
```
    Description copied from interface: Lattice
    
    Yields true if and only if this object represents the bottom of the lattice. The default implementation of this method uses reference equality between this and the value returned by Lattice.bottom(), thus assuming that the bottom element is a singleton. If this is not the case, override this method accordingly to provide a coherent test.
    
    Returns:
    
    true if this is the bottom of the lattice
  - mk
```
protected CFGResults<A,H,V> mk(CFGWithAnalysisResults<A,H,V> lattice,
                                           java.util.Map<ContextSensitivityToken,CFGWithAnalysisResults<A,H,V>> function)
```
    Description copied from class: FunctionalLattice
    
    Builds a instance of this class from the given lattice instance and the given mapping.
    
    Specified by:
    
    mk in class FunctionalLattice<CFGResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>,ContextSensitivityToken,CFGWithAnalysisResults<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>>
    
    Parameters:
    
    lattice - an instance of lattice to be used during semantic operations to retrieve top and bottom values
    
    function - the function representing the mapping contained in the new environment; can be null
    
    Returns:
    
    a new instance of this class

Class CFGResults<A extends AbstractState<A,​H,​V>,​H extends HeapDomain<H>,​V extends ValueDomain<V>>

Nested Class Summary

Nested classes/interfaces inherited from class it.unive.lisa.analysis.lattices.FunctionalLattice

Field Summary

Fields inherited from class it.unive.lisa.analysis.lattices.FunctionalLattice

Fields inherited from interface it.unive.lisa.analysis.Lattice

Constructor Summary

Method Summary

Methods inherited from class it.unive.lisa.analysis.lattices.FunctionalLattice

Methods inherited from class it.unive.lisa.analysis.BaseLattice

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Constructor Detail

CFGResults

Method Detail

putResult

contains

getAll

top

isTop

bottom

isBottom

mk

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