hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

QL4QL: Add overlay[discard_entity] annotation

Browse Source
This commit is contained in:
Kasper Svendsen
2025-07-10 11:01:06 +02:00
parent bb0173c9af
commit 9de3617032
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
ql/ql/src/codeql_ql/ast/Ast.qll
View File

@@ -2554,6 +2554,10 @@ private class LocalQArg extends AnnotationArg {
LocalQArg() { this.getValue() = "local?" } LocalQArg() { this.getValue() = "local?" }
} }
private class DiscardEntityArg extends AnnotationArg {
DiscardEntityArg() { this.getValue() = "discard_entity" }
}
private class MonotonicAggregatesArg extends AnnotationArg { private class MonotonicAggregatesArg extends AnnotationArg {
MonotonicAggregatesArg() { this.getValue() = "monotonicAggregates" } MonotonicAggregatesArg() { this.getValue() = "monotonicAggregates" }
} }
@@ -2641,6 +2645,15 @@ class OverlayLocalQ extends Annotation {
override string toString() { result = "overlay[local?]" } override string toString() { result = "overlay[local?]" }
} }
/** An `overlay[discard_entity]` annotation. */
class OverlayDiscardEntity extends Annotation {
OverlayDiscardEntity() {
this.getName() = "overlay" and this.getArgs(0) instanceof DiscardEntityArg
}
override string toString() { result = "overlay[discard_entity]" }
}
/** A `language[monotonicAggregates]` annotation. */ /** A `language[monotonicAggregates]` annotation. */
class MonotonicAggregates extends Annotation { class MonotonicAggregates extends Annotation {
MonotonicAggregates() { this.getArgs(0) instanceof MonotonicAggregatesArg } MonotonicAggregates() { this.getArgs(0) instanceof MonotonicAggregatesArg }