Abstract:This paper describes the design and implementation of CRAQL (Composable Repository Analysis and Query Language), a new query language for source code. The growth of source code mining and its applications suggest the need for a query language that can fully utilize and correlate across the unique structure and metadata of parsed source code. CRAQL is built on an underlying abstraction analogous to the underpinnings of SQL, but aimed at parsed source code. Thus, while SQL queries' inputs and outputs are sets of tuples, CRAQL queries' inputs and outputs are sets of abstract syntax trees (ASTs). This abstraction makes CRAQL queries composable (the output of one query can become the input to another) and improves the power of the language by allowing for querying of the tree structure and metadata, as well as raw text. Furthermore, the abstraction enables tree-specific language optimizations and allows CRAQL to be easily applied to any language that is parsable into ASTs. These attributes, along with a familiar syntax similar to SQL, allow complex queries to be expressed in a compact, straightforward manner. Questions such as "find the longest series of statements without any loops," "find methods that are never called," "find getters (0-parameter methods with a single statement that returns a member variable)," or "find the percentage of variables declared at the top of a block" all translate to simple, understandable queries in CRAQL. In this paper we describe the language, its features and capabilities. We compare CRAQL to other languages for querying source code and find that it has potential advantages in clarity and compactness. We discuss the features and optimizations added to support searching parse tree collections effectively and efficiently. Finally, we summarize the application of the language to millions of Java source files, the details of which are in a companion paper.

DashQL -- Complete Analysis Workflows with SQL

A Decisions Query Language (Dql): High-Level Abstraction For Mathematical Programming Over Databases

NL2KQL: From Natural Language to Kusto Query

Taming the Expressiveness and Programmability of Graph Analytical Queries

DASH: A Bimodal Data Exploration Tool for Interactive Text and Visualizations

BlendSQL: A Scalable Dialect for Unifying Hybrid Question Answering in Relational Algebra

SQLFlow: A Bridge between SQL and Machine Learning

End-to-end Text-to-SQL Generation within an Analytics Insight Engine

AQUA: Automatic Collaborative Query Processing in Analytical Database

Lightweight Materialization for Fast Dashboards Over Joins

RASQL: A Powerful Language and Its System for Big Data Applications.

UQE: A Query Engine for Unstructured Databases

Inferring SQL Queries Using Program Synthesis

Slq: A User-Friendly Graph Querying System

Semantic SQL -- Combining and optimizing semantic predicates in SQL

Semantic Parsing for Complex Data Retrieval: Targeting Query Plans vs. SQL for No-Code Access to Relational Databases

SQL Query Completion for Data Exploration

One SQL to Rule Them All

SQLucid: Grounding Natural Language Database Queries with Interactive Explanations

CRAQL: A Composable Language for Querying Source Code

Semantic Decomposition of Question and SQL for Text-to-SQL Parsing