hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add some more documentation

Browse Source
This commit is contained in:
shati-patel
2021-05-27 15:51:40 +01:00
parent 2882f6d37c
commit da65f75372
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -706,23 +706,27 @@ class Forex extends Quantifier {
override string getAPrimaryQlClass() { result = "Forex" }
}
/** A conditional formula, of the form `if a then b else c`. */
class IfFormula extends TIfFormula, Formula {
Generated::IfTerm ifterm;
IfFormula() { this = TIfFormula(ifterm) }
/** Gets the condition of this if formula. */
/** Gets the condition (the `if` part) of this formula. */
Formula getCondition() { toGenerated(result) = ifterm.getCond() }
/** Gets the then part of this if formula. */
/** Gets the `then` part of this formula. */
Formula getThenPart() { toGenerated(result) = ifterm.getFirst() }
/** Gets the else part of this if formula. */
/** Gets the `else` part of this formula. */
Formula getElsePart() { toGenerated(result) = ifterm.getSecond() }
override string getAPrimaryQlClass() { result = "IfFormula" }
}
/**
* An implication formula, of the form `foo implies bar`.
*/
class Implication extends TImplication, Formula {
Generated::Implication imp;
@@ -737,6 +741,9 @@ class Implication extends TImplication, Formula {
override string getAPrimaryQlClass() { result = "Implication" }
}
/**
* A type check formula, of the form `foo instanceof bar`.
*/
class InstanceOf extends TInstanceOf, Formula {
Generated::InstanceOf inst;