mirror of https://github.com/AMT-Cheif/drift.git
807d1ddff0 | ||
---|---|---|
.. | ||
example | ||
lib | ||
test | ||
.gitignore | ||
CHANGELOG.md | ||
LICENSE | ||
README.md | ||
analysis_options.yaml | ||
pubspec.yaml |
README.md
sqlparser
An sql parser and static analyzer, written in pure Dart. At the moment, only SELECT
statements
are supported.
Features
Not all features are available yet, put parsing select statements (even complex ones!) and performing analysis on them works!
Just parsing
You can parse the abstract syntax tree of sqlite statements with SqlEngine.parse
.
import 'package:sqlparser/sqlparser.dart';
final engine = SqlEngine();
final stmt = engine.parse('''
SELECT f.* FROM frameworks f
INNER JOIN uses_language ul ON ul.framework = f.id
INNER JOIN languages l ON l.id = ul.language
WHERE l.name = 'Dart'
ORDER BY f.name ASC, f.popularity DESC
LIMIT 5 OFFSET 5 * 3
''');
Analysis
Given information about all tables and a sql statement, this library can:
- Determine which result columns a query is going to have, including types and nullability
- Make an educated guess about what type the variables in the query should have (it's not really possible to be 100% accurate about this because sqlite is very flexible at types)
- Issue warnings about queries that are syntactically valid but won't run
To use the analyzer, first register all known tables via SqlEngine.registerTable
. Then,
SqlEngine.analyze(sql)
gives you a AnalysisContext
which contains an annotated ast and information
about errors. The type of result columns and expressions can be inferred by using
AnalysisContext.typeOf()
. Here's an example.
final id = TableColumn('id', const ResolvedType(type: BasicType.int));
final content = TableColumn('content', const ResolvedType(type: BasicType.text));
final demoTable = Table(
name: 'demo',
resolvedColumns: [id, content],
);
final engine = SqlEngine()..registerTable(demoTable);
final context =
engine.analyze('SELECT id, d.content, *, 3 + 4 FROM demo AS d');
final select = context.root as SelectStatement;
final resolvedColumns = select.resolvedColumns;
resolvedColumns.map((c) => c.name)); // id, content, id, content, 3 + 4
resolvedColumns.map((c) => context.typeOf(c).type.type) // int, text, int, text, int, int
Thanks
- To Bob Nystrom for his amazing "Crafting Interpreters" book, which was incredibly helpful when writing the parser.
- All authors of SQLDelight. This library uses their algorithm for type inference.