Lines
76 %
Functions
29.17 %
use conjure_cp_essence_parser::parser::ParseContext;
use conjure_cp_essence_parser::util::node_is_expression;
use conjure_cp_essence_parser::{
diagnostics::source_map::SourceMap,
expression::parse_expression,
util::{get_tree, query_toplevel},
};
use polyquine::Quine;
use proc_macro2::{TokenStream, TokenTree};
use quote::{ToTokens, quote};
use syn::{Error, LitStr, Result};
use tree_sitter::Node;
pub fn expand_expr(essence: &TokenTree) -> Result<TokenStream> {
let src = to_src(essence);
let (tree, source_code) =
get_tree(&src).ok_or(Error::new(essence.span(), "Could not parse Essence AST"))?;
let root = tree.root_node();
// Get top level expressions
let mut query = query_toplevel(&root, &node_is_expression);
let expr_node = query
.next()
.ok_or(Error::new(essence.span(), "Expected an Essence expression"))?;
// We only expect one expression, error if that's not the case
if let Some(expr) = query.next() {
let tokens = &source_code[expr.start_byte()..expr.end_byte()];
return Err(Error::new(
essence.span(),
format!(
"Unexpected tokens: `{tokens}`. Expected a single Essence expression. Perhaps you meant `essence_vec!`?"
),
));
}
// Parse expression and build the token stream
let expr = mk_expr(expr_node, &source_code, &root, essence)?;
Ok(expr)
pub fn expand_expr_vec(tt: &TokenTree) -> Result<TokenStream> {
let mut ans: Vec<TokenStream> = Vec::new();
let src = to_src(tt);
get_tree(&src).ok_or(Error::new(tt.span(), "Could not parse Essence AST"))?;
let query = query_toplevel(&root, &node_is_expression);
for expr_node in query {
let expr = mk_expr(expr_node, &source_code, &root, tt)?;
ans.push(expr);
Ok(quote! { vec![#(#ans),*] })
/// Parse a single expression or make a compile time error
fn mk_expr(node: Node, src: &str, root: &Node, tt: &TokenTree) -> Result<TokenStream> {
let mut errors = Vec::new();
let mut source_map = SourceMap::default();
let mut ctx = ParseContext::new(src, root, None, &mut errors, &mut source_map);
match parse_expression(&mut ctx, node) {
Ok(Some(expr)) => Ok(expr.ctor_tokens()),
Ok(None) => {
// Recoverable error occurred - get the error message from the errors vector
let error_message = if let Some(err) = ctx.errors.first() {
format!("Recoverable parse error: {}", err)
} else {
"Parse error: Unknown error occurred".to_string()
Err(Error::new(tt.span(), error_message))
Err(err) => Err(Error::new(tt.span(), err.to_string())),
/// Parse string literals (gets rid of ""), otherwise use tokens as is
fn to_src(tt: &TokenTree) -> String {
match syn::parse::<LitStr>(tt.to_token_stream().into()) {
Ok(src) => src.value(),
Err(_) => tt.to_string(),