hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-08 11:11:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #61 from github/aschackmull/extends-formula

Browse Source 
Add missing extends Formula
This commit is contained in:
Erik Krogh Kristensen
2021-10-13 12:33:29 +02:00
committed by GitHub
parent 6e274f640f 7bd0bf9908
commit 88c003681b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -771,7 +771,7 @@ class NewTypeBranch extends TNewTypeBranch, TypeDeclaration {
* or a member call `foo.bar()`,
* or a special call to `none()` or `any()`.
*/
class Call extends TCall, Expr {
class Call extends TCall, Expr, Formula {
/** Gets the `i`th argument of this call. */
Expr getArgument(int i) {
none() // overriden in sublcasses.
@@ -1014,7 +1014,7 @@ class Conjunction extends TConjunction, AstNode, Formula {
}
/** An `or` formula, with 2 or more operands. */
class Disjunction extends TDisjunction, AstNode {
class Disjunction extends TDisjunction, AstNode, Formula {
Generated::Disjunction disj;
Disjunction() { this = TDisjunction(disj) }