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

Minor tidy

Browse Source
This commit is contained in:
Calum Grant
2023-02-22 17:01:07 +00:00
parent 9980756ee8
commit f3e5a8f90f
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ql/ql/src/experimental/RA.qll
View File

@@ -1,14 +1,16 @@
/** /**
* Parses RA expressions. * Parses RA expressions.
*/ */
signature class RAstring extends string;
/**
* A predicate that contains RA.
*/
signature class RApredicate { signature class RApredicate {
string getLineOfRA(int n); string getLineOfRA(int n);
} }
/** /**
* Parses strings of RA provided by an RA predicate, * Parses strings of RA provided by an RA predicate, and represented the
*/ */
module RAParser<RApredicate Predicate> { module RAParser<RApredicate Predicate> {
private string parseRaExpr(Predicate p, int line, int arity, int lhs) { private string parseRaExpr(Predicate p, int line, int arity, int lhs) {