remove unused alias edge

This commit is contained in:
Erik Krogh Kristensen
2021-11-19 23:04:34 +01:00
parent c369b28a2a
commit 6060f2e3e3

View File

@@ -317,7 +317,6 @@ module API {
or
exists(Node pred, ApiLabel lbl, string predpath |
Impl::edge(pred, lbl, this) and
not lbl instanceof Label::LabelAlias and
predpath = pred.getAPath(length - 1) and
exists(string space | if length = 1 then space = "" else space = " " |
result = "(" + lbl + space + predpath + ")" and
@@ -1033,7 +1032,6 @@ module API {
MkLabelReturn() or
MkLabelPromised() or
MkLabelPromisedError() or
MkLabelAlias() or
MkLabelEntryPoint(API::EntryPoint e)
class LabelEntryPoint extends ApiLabel {
@@ -1046,12 +1044,6 @@ module API {
override string toString() { result = e }
}
class LabelAlias extends ApiLabel {
LabelAlias() { this = MkLabelAlias() }
override string toString() { result = "" }
}
class LabelPromised extends ApiLabel {
LabelPromised() { this = MkLabelPromised() }
@@ -1174,9 +1166,6 @@ module API {
/** Gets the `return` edge label. */
LabelReturn return() { any() }
/** Gets the `alias` (empty) edge label. */
LabelAlias alias() { any() }
/** Gets the `promised` edge label connecting a promise to its contained value. */
MkLabelPromised promised() { any() }