Package | Description |
---|---|
de.uka.ilkd.key.logic.label |
Modifier and Type | Class and Description |
---|---|
static class |
OriginTermLabel.FileOrigin
Origin for terms that originate from a file.
|
static class |
OriginTermLabel.NodeOrigin
Origin for terms that originate from a proof node.
|
Modifier and Type | Method and Description |
---|---|
static OriginTermLabel.Origin |
OriginTermLabel.computeCommonFileOrigin(java.util.Set<OriginTermLabel.FileOrigin> origins)
Compute the common origin from all origins in the passed origins set.
|
static OriginTermLabel.Origin |
OriginTermLabel.computeCommonNodeOrigin(java.util.Set<OriginTermLabel.NodeOrigin> origins)
Compute the common origin from all origins in the passed origins set.
|
static OriginTermLabel.Origin |
OriginTermLabel.computeCommonOrigin(java.util.Set<? extends OriginTermLabel.Origin> origins)
Compute the common origin from all origins in the passed origins set.
|
OriginTermLabel.Origin |
OriginTermLabel.getOrigin() |
static OriginTermLabel.Origin |
OriginTermLabel.getOrigin(PosInOccurrence pio)
Find a term's origin.
|
static OriginTermLabel.Origin |
OriginTermLabel.getOrigin(PosInSequent pis)
Find a term's origin.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<OriginTermLabel.Origin> |
OriginTermLabel.getSubtermOrigins()
Returns the origins of the term's sub-terms and former sub-terms.
|
Modifier and Type | Method and Description |
---|---|
int |
OriginTermLabel.Origin.compareTo(OriginTermLabel.Origin other) |
Modifier and Type | Method and Description |
---|---|
static OriginTermLabel.Origin |
OriginTermLabel.computeCommonOrigin(java.util.Set<? extends OriginTermLabel.Origin> origins)
Compute the common origin from all origins in the passed origins set.
|
Constructor and Description |
---|
OriginTermLabel(OriginTermLabel.Origin origin)
Creates a new
OriginTermLabel . |
OriginTermLabel(OriginTermLabel.Origin origin,
java.util.Set<OriginTermLabel.Origin> subtermOrigins)
Creates a new
OriginTermLabel . |
Constructor and Description |
---|
OriginTermLabel(OriginTermLabel.Origin origin,
java.util.Set<OriginTermLabel.Origin> subtermOrigins)
Creates a new
OriginTermLabel . |
OriginTermLabel(java.util.Set<OriginTermLabel.Origin> subtermOrigins)
Creates a new
OriginTermLabel . |
Copyright © 2003-2019 The KeY-Project.