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

Add missing extends Formula

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2021-10-13 09:47:10 +00:00
committed by GitHub
parent ed767b4a54
commit 7bd0bf9908
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) }