C#: Introduce library support for scoped.

This commit is contained in:
Michael Nebel
2023-02-06 15:44:33 +01:00
parent 955f23d021
commit c00b089aa8

View File

@@ -71,6 +71,11 @@ class LocalScopeVariable extends Variable, @local_scope_variable {
*/
predicate isRef() { none() }
/**
* Holds if this local variable or parameter is `scoped`.
*/
predicate isScoped() { scoped_annotation(this, _) }
override predicate hasQualifiedName(string qualifier, string name) { none() }
}