protected static class AbstractSlicer.SequentInfo
extends java.lang.Object
AbstractSlicer#analyzeSequent(Node)
.Modifier and Type | Field and Description |
---|---|
private java.util.Map<Location,java.util.SortedSet<Location>> |
aliases
The found aliases.
|
private ExecutionContext |
executionContext
The current
ExecutionContext . |
private java.util.Map<ProgramVariable,Term> |
localValues
The local values.
|
private ReferencePrefix |
thisReference
The this reference if available.
|
Constructor and Description |
---|
SequentInfo(java.util.Map<Location,java.util.SortedSet<Location>> aliases,
java.util.Map<ProgramVariable,Term> localValues,
ExecutionContext executionContext,
ReferencePrefix thisReference)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<Location,java.util.SortedSet<Location>> |
getAliases()
Returns the found aliases.
|
ExecutionContext |
getExecutionContext()
Returns the current
ExecutionContext . |
java.util.Map<ProgramVariable,Term> |
getLocalValues()
Returns the local values.
|
ReferencePrefix |
getThisReference()
Returns the this reference if available.
|
private final java.util.Map<Location,java.util.SortedSet<Location>> aliases
private final java.util.Map<ProgramVariable,Term> localValues
private final ExecutionContext executionContext
ExecutionContext
.private final ReferencePrefix thisReference
public SequentInfo(java.util.Map<Location,java.util.SortedSet<Location>> aliases, java.util.Map<ProgramVariable,Term> localValues, ExecutionContext executionContext, ReferencePrefix thisReference)
aliases
- The found aliases.thisReference
- The this reference if available.public java.util.Map<Location,java.util.SortedSet<Location>> getAliases()
public java.util.Map<ProgramVariable,Term> getLocalValues()
public ExecutionContext getExecutionContext()
ExecutionContext
.ExecutionContext
.public ReferencePrefix getThisReference()