Skip to content

Commit

Permalink
C++: Add a skeleton class for requires expressions
Browse files Browse the repository at this point in the history
  • Loading branch information
jketema committed Oct 9, 2024
1 parent d0ca39f commit 723236d
Show file tree
Hide file tree
Showing 15 changed files with 11,078 additions and 1,712 deletions.
15 changes: 15 additions & 0 deletions cpp/downgrades/6f5d51e89e762fe4609fd4ac8ee3afb04221e873/exprs.ql
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
class Expr extends @expr {
string toString() { none() }
}

class Location extends @location_expr {
string toString() { none() }
}

predicate isExprRequires(Expr expr) { exists(int kind | exprs(expr, kind, _) | kind = 390) }

from Expr expr, int kind, int kind_new, Location location
where
exprs(expr, kind, location) and
if isExprRequires(expr) then kind_new = 1 else kind_new = kind
select expr, kind_new, location
Loading

0 comments on commit 723236d

Please sign in to comment.