Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.slicing |
Modifier and Type | Method and Description |
---|---|
protected Access |
AbstractSlicer.normalizeArrayIndex(Access access,
AbstractSlicer.SequentInfo info)
Normalizes the given array index.
|
Modifier and Type | Method and Description |
---|---|
ImmutableList<Access> |
Location.getAccesses()
Returns the
Access path. |
protected ImmutableList<Access> |
AbstractSlicer.toLocationRecursive(Services services,
ReferencePrefix prefix,
ExecutionContext ec,
ReferencePrefix thisReference,
ImmutableList<Access> children)
Utility method used by
#toLocation(Services, ReferencePrefix, ReferencePrefix)
to recursively extract the Access instances. |
Modifier and Type | Method and Description |
---|---|
Location |
Location.append(Access sub)
Creates a new
Location in which the sub is appended. |
protected Access |
AbstractSlicer.normalizeArrayIndex(Access access,
AbstractSlicer.SequentInfo info)
Normalizes the given array index.
|
Modifier and Type | Method and Description |
---|---|
protected ImmutableList<Access> |
AbstractSlicer.toLocationRecursive(Services services,
ReferencePrefix prefix,
ExecutionContext ec,
ReferencePrefix thisReference,
ImmutableList<Access> children)
Utility method used by
#toLocation(Services, ReferencePrefix, ReferencePrefix)
to recursively extract the Access instances. |
Constructor and Description |
---|
Location(Access... accesses)
Constructor.
|
Constructor and Description |
---|
Location(ImmutableList<Access> accesses)
Constructor.
|
Copyright © 2003-2019 The KeY-Project.