Move Generated.qll to ast/internal/TreeSitter.qll

This commit is contained in:
Tom Hvitved
2020-12-01 15:28:33 +01:00
parent ba7a42328d
commit a370cd8bdf
23 changed files with 28 additions and 28 deletions

View File

@@ -1,9 +1,9 @@
import codeql.Locations
import codeql_ruby.ast.Method
import codeql_ruby.ast.Parameter
import codeql_ruby.ast.Pattern
import codeql_ruby.ast.Variable
private import codeql_ruby.Generated
import ast.Method
import ast.Parameter
import ast.Pattern
import ast.Variable
private import ast.internal.TreeSitter
/**
* A node in the abstract syntax tree. This class is the base class for all Ruby

View File

@@ -1,5 +1,5 @@
import codeql_ruby.AST
private import codeql_ruby.Generated
private import internal.TreeSitter
private import internal.Method
/** A callable. */

View File

@@ -1,7 +1,7 @@
import codeql_ruby.AST
private import codeql_ruby.Generated
private import Variable
private import Pattern
private import internal.TreeSitter
private import internal.Variable
/** A parameter. */

View File

@@ -1,7 +1,7 @@
import codeql_ruby.AST
private import codeql_ruby.Generated
private import codeql.Locations
private import internal.Pattern
private import internal.TreeSitter
private import internal.Variable
private import Variable

View File

@@ -1,8 +1,8 @@
/** Provides classes for modeling program variables. */
import codeql_ruby.AST
private import codeql_ruby.Generated
private import codeql.Locations
private import internal.TreeSitter
private import internal.Variable
/** A scope in which variables can be declared. */

View File

@@ -1,5 +1,5 @@
import codeql_ruby.AST
private import codeql_ruby.Generated
private import TreeSitter
abstract class CallableRange extends AstNode {
abstract Parameter getParameter(int n);

View File

@@ -1,5 +1,5 @@
import codeql_ruby.AST
private import codeql_ruby.Generated
private import TreeSitter
private import codeql.Locations
private predicate tuplePatternNode(Generated::AstNode n, boolean parameter) {

View File

@@ -1,5 +1,5 @@
import codeql_ruby.AST
private import codeql_ruby.Generated
private import TreeSitter
private import codeql.Locations
private import Pattern

View File

@@ -1,6 +1,6 @@
/** Provides classes representing basic blocks. */
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import codeql_ruby.controlflow.ControlFlowGraph
private import internal.ControlFlowGraphImpl
private import SuccessorTypes

View File

@@ -1,6 +1,6 @@
/** Provides classes representing the control flow graph. */
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import codeql_ruby.controlflow.BasicBlocks
private import SuccessorTypes
private import internal.ControlFlowGraphImpl

View File

@@ -3,7 +3,7 @@
* will likely be part of the hand-written user-facing AST layer.
*/
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
class LogicalNotAstNode extends Unary {
AstNode operand;

View File

@@ -4,7 +4,7 @@
* A completion represents how a statement or expression terminates.
*/
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import codeql_ruby.controlflow.ControlFlowGraph
private import AstNodes
private import NonReturning

View File

@@ -1,4 +1,4 @@
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import codeql_ruby.controlflow.ControlFlowGraph
private import Completion
private import Splitting

View File

@@ -31,7 +31,7 @@
* caught up by its surrounding loop and turned into a `NormalCompletion`.
*/
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import AstNodes
private import codeql_ruby.controlflow.ControlFlowGraph
private import Completion

View File

@@ -1,6 +1,6 @@
/** Provides a simple analysis for identifying calls that will not return. */
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import Completion
/** A call that definitely does not return (conservative analysis). */

View File

@@ -2,7 +2,7 @@
* Provides classes and predicates relevant for splitting the control flow graph.
*/
private import codeql_ruby.Generated::Generated
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import AstNodes
private import Completion
private import ControlFlowGraphImpl

View File

@@ -6,7 +6,7 @@
* to hold for only the AST nodes you wish to view.
*/
import codeql_ruby.Generated
import ast.internal.TreeSitter
/**
* The query can extend this class to control which nodes are printed.