AbstractState (lisa-sdk 0.1b5 API)

Type Parameters:

A - the concrete type of the AbstractState

H - the type of HeapDomain embedded in this state

V - the type of ValueDomain embedded in this state

T - the type of ValueDomain and TypeDomain embedded in this state

All Superinterfaces:

Lattice<A>, SemanticDomain<A,SymbolicExpression,Identifier>

All Known Implementing Classes:

SimpleAbstractState
```
public interface AbstractState<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>>
extends Lattice<A>, SemanticDomain<A,SymbolicExpression,Identifier>
```
An abstract state of the analysis, composed by a heap state modeling the memory layout and a value state modeling values of program variables and memory locations. An abstract state also wraps a domain to reason about runtime types of such variables.

Nested Class Summary
- Nested classes/interfaces inherited from interface it.unive.lisa.analysis.SemanticDomain
  SemanticDomain.Satisfiability

Field Summary
- Fields inherited from interface it.unive.lisa.analysis.Lattice
  BOTTOM_REPR, BOTTOM_STRING, TOP_REPR, TOP_STRING

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`H`	`getHeapState()`	Yields the instance of `HeapDomain` that contains the information on heap structures contained in this abstract state.
`T`	`getTypeState()`	Yields the instance of `ValueDomain` and `TypeDomain` that contains the information on runtime types of program variables and concretized memory locations.
`V`	`getValueState()`	Yields the instance of `ValueDomain` that contains the information on values of program variables and concretized memory locations.
`DomainRepresentation`	`typeRepresentation()`	Yields a `DomainRepresentation` of the information contained in this domain's instance.

Methods inherited from interface it.unive.lisa.analysis.Lattice
bottom, isBottom, isTop, lessOrEqual, lub, top, widening

Methods inherited from interface it.unive.lisa.analysis.SemanticDomain
assign, assume, forgetIdentifier, forgetIdentifiers, getDomainInstance, popScope, pushScope, representation, satisfies, smallStepSemantics

- Method Detail
  - getHeapState
```
H getHeapState()
```
    Yields the instance of HeapDomain that contains the information on heap structures contained in this abstract state.
    
    Returns:
    
    the heap domain
  - getValueState
```
V getValueState()
```
    Yields the instance of ValueDomain that contains the information on values of program variables and concretized memory locations.
    
    Returns:
    
    the value domain
  - getTypeState
```
T getTypeState()
```
    Yields the instance of ValueDomain and TypeDomain that contains the information on runtime types of program variables and concretized memory locations.
    
    Returns:
    
    the type domain
  - typeRepresentation
```
DomainRepresentation typeRepresentation()
```
    Yields a DomainRepresentation of the information contained in this domain's instance. This differs from SemanticDomain.representation() by using the type state instead of the value state to build the representation.
    
    Returns:
    
    the representation