HeapSemanticOperation (lisa-sdk 0.1b6 API)

All Known Subinterfaces:

HeapDomain<D>, NonRelationalHeapDomain<T>

All Known Implementing Classes:

BaseHeapDomain, HeapEnvironment

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
```
@FunctionalInterface
public interface HeapSemanticOperation
```
A semantic operation on the heap state of the program, that provides a substitution of the available identifiers.

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static class HeapSemanticOperation.HeapReplacement
A replacement between Identifiers caused by a change in the heap abstraction.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`java.util.List<HeapSemanticOperation.HeapReplacement>`	`getSubstitution()`	Yields the substitution, in the form of a list of `HeapSemanticOperation.HeapReplacement`s that must be processed in their order of appearance, that the creation of this heap domain caused.

- Method Detail
  - getSubstitution
```
java.util.List<HeapSemanticOperation.HeapReplacement> getSubstitution()
```
    Yields the substitution, in the form of a list of HeapSemanticOperation.HeapReplacements that must be processed in their order of appearance, that the creation of this heap domain caused. This substitution maps Identifiers in the pre-state to Identifiers in the post state. If no substitution needs to be applied, this method should return an empty list.
    
    Returns:
    
    the list of replacements