C++: Properly deprecate hasQualifiedName by using the deprecated keyword

This commit is contained in:
Jeroen Ketema
2023-03-03 15:57:59 +01:00
parent fe65fb8743
commit 6495f1911f

View File

@@ -68,7 +68,9 @@ class Declaration extends Locatable, @declaration {
* Holds if this declaration has the fully-qualified name `qualifiedName`.
* See `getQualifiedName`.
*/
predicate hasQualifiedName(string qualifiedName) { this.getQualifiedName() = qualifiedName }
deprecated predicate hasQualifiedName(string qualifiedName) {
this.getQualifiedName() = qualifiedName
}
/**
* Holds if this declaration has a fully-qualified name with a name-space