C#: Add using directives and type mentions as star entities.

This commit is contained in:
Michael Nebel
2025-11-03 11:29:01 +01:00
parent 504bb9c4a1
commit d95ebc77ae

View File

@@ -33,7 +33,8 @@ abstract private class DiscardableEntity extends @locatable {
* The rest use named TRAP IDs.
*/
overlay[local]
private class StarEntity = @expr or @stmt or @diagnostic or @extractor_message;
private class StarEntity =
@expr or @stmt or @diagnostic or @extractor_message or @using_directive or @type_mention;
overlay[discard_entity]
private predicate discardStarEntity(@locatable e) {