ct_regex_internal/codegen/convert_hir/

into_matcher.rs

use std::any;

use proc_macro2::{Ident, TokenStream};
use quote::{format_ident, quote};
use regex_syntax::hir::{
    Capture, Class, ClassBytesRange, ClassUnicodeRange, Hir, HirKind, Literal, Look, Repetition,
};

use crate::codegen::{CodegenItem, ExprMetadata};
use crate::matcher::{Always as A, Or, Then};

pub(crate) fn type_name<T>() -> &'static str {
    any::type_name::<T>()
        .split('<').next().unwrap()
        .rsplit("::").next().unwrap()
}

pub(crate) fn type_ident<T>() -> Ident {
    format_ident!("{}", type_name::<T>())
}

pub(crate) trait IntoMatcherExpr {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream;
}

impl IntoMatcherExpr for Hir {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        match self.into_kind() {
            HirKind::Empty              => Empty.into_matcher_expr::<I>(meta),
            HirKind::Literal(lit)       => lit.into_matcher_expr::<I>(meta),
            HirKind::Class(class)       => class.into_matcher_expr::<I>(meta),
            HirKind::Look(look)         => look.into_matcher_expr::<I>(meta),
            HirKind::Repetition(rep)    => rep.into_matcher_expr::<I>(meta),
            HirKind::Capture(cap)       => cap.into_matcher_expr::<I>(meta),
            HirKind::Concat(hirs)       => Concat(hirs).into_matcher_expr::<I>(meta),
            HirKind::Alternation(hirs)  => Alternation(hirs).into_matcher_expr::<I>(meta),
        }
    }
}

#[derive(Debug, Clone)]
struct Empty;

#[derive(Debug, Clone)]
struct Concat(pub Vec<Hir>);

#[derive(Debug, Clone)]
struct Alternation(pub Vec<Hir>);

impl IntoMatcherExpr for u8 {
    fn into_matcher_expr<I: CodegenItem>(self, _meta: &mut ExprMetadata) -> TokenStream {
        assert_eq!(type_name::<I>(), type_name::<u8>());
        quote!(::ct_regex::internal::matcher::Byte<#self>)
    }
}

impl IntoMatcherExpr for &ClassBytesRange {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        assert_eq!(type_name::<I>(), type_name::<u8>());
        if self.start() == self.end() {
            self.start().into_matcher_expr::<I>(meta)
        } else {
            let start = self.start();
            let end = self.end();
            quote!(::ct_regex::internal::matcher::ByteRange<#start, #end>)
        }
    }
}

impl IntoMatcherExpr for char {
    fn into_matcher_expr<I: CodegenItem>(self, _meta: &mut ExprMetadata) -> TokenStream {
        assert_eq!(type_name::<I>(), type_name::<char>());
        quote!(::ct_regex::internal::matcher::Scalar<#self>)
    }
}

impl IntoMatcherExpr for &ClassUnicodeRange {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        assert_eq!(type_name::<I>(), type_name::<char>(), "{:?}", self);
        if self.start() == self.end() {
            self.start().into_matcher_expr::<I>(meta)
        } else {
            let start = self.start();
            let end = self.end();
            quote!(::ct_regex::internal::matcher::ScalarRange<#start, #end>)
        }
    }
}

impl IntoMatcherExpr for Empty {
    fn into_matcher_expr<I: CodegenItem>(self, _meta: &mut ExprMetadata) -> TokenStream {
        quote!(::ct_regex::internal::matcher::Always)
    }
}

impl IntoMatcherExpr for Literal {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        #![allow(nonstandard_style)]
        let LiteralTy = meta.insert_literal(self.0);
        quote!(::ct_regex::internal::matcher::LiteralMatcher<#LiteralTy>)
    }
}

impl IntoMatcherExpr for Class {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        match I::normalize_class(self) {
            Class::Unicode(unicode) => write_chunked::<Or<u8, A, A>, I, _>(
                meta,
                unicode.ranges().iter().collect()
            ),
            Class::Bytes(bytes) => write_chunked::<Or<u8, A, A>, I, _>(
                meta,
                bytes.ranges().iter().collect()
            ),
        }
    }
}

impl IntoMatcherExpr for Look {
    fn into_matcher_expr<I: CodegenItem>(self, _meta: &mut ExprMetadata) -> TokenStream {
        match self {
            Look::Start => quote!(::ct_regex::internal::matcher::Start),
            Look::End => quote!(::ct_regex::internal::matcher::End),
            Look::StartLF => quote!(::ct_regex::internal::matcher::LineStart),
            Look::EndLF => quote!(::ct_regex::internal::matcher::LineEnd),
            Look::StartCRLF => quote!(::ct_regex::internal::matcher::CRLFStart),
            Look::EndCRLF => quote!(::ct_regex::internal::matcher::CRLFEnd),
            _ => unimplemented!("complex look arounds"),
        }
    }
}

impl IntoMatcherExpr for Repetition {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        let Repetition { min, max, greedy, sub } = self;

        let required = meta.required;
        if min == 0 {
            meta.required = false;
        }

        let item_type = type_ident::<I>();
        let sub_matcher = sub.into_matcher_expr::<I>(meta);
        // I need to document this somewhere, might as well be here: usize is used for all generic
        // parameters, even though Hir types use u32, because it is used for array indexing during
        // the conversion process.
        let (min, max) = (min as usize, max.map(|m| m as usize));

        if min == 0 {
            meta.required = required;
        }

        let tokens = match max {
            None => {
                quote!(::ct_regex::internal::matcher::QuantifierNOrMore<#item_type, #sub_matcher, #min>)
            },
            Some(max) if min == max => {
                return quote!(::ct_regex::internal::matcher::QuantifierN<#item_type, #sub_matcher, #min>);
            },
            Some(max) => {
                quote!(::ct_regex::internal::matcher::QuantifierNToM<#item_type, #sub_matcher, #min, #max>)
            },
        };

        if greedy {
            tokens
        } else {
            quote!(::ct_regex::internal::matcher::Lazy<#item_type, #tokens>)
        }
    }
}

impl IntoMatcherExpr for Capture {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        meta.insert_group(self.index, self.name);
        let item_type = type_ident::<I>();
        let sub_matcher = self.sub.into_matcher_expr::<I>(meta);
        let index = self.index as usize;

        quote!(::ct_regex::internal::matcher::CaptureGroup<#item_type, #sub_matcher, #index>)
    }
}

impl IntoMatcherExpr for Alternation {
    fn into_matcher_expr<I: CodegenItem>(self, caps: &mut ExprMetadata) -> TokenStream {
        let required = caps.required;
        caps.required = false;
        let tokens = write_chunked::<Or<u8, A, A>, I, _>(caps, self.0);
        caps.required = required;
        tokens
    }
}

impl IntoMatcherExpr for Concat {
    fn into_matcher_expr<I: CodegenItem>(self, meta: &mut ExprMetadata) -> TokenStream {
        write_chunked::<Then<u8, A, A>, I, _>(meta, self.0)
    }
}

fn write_chunked<T, I: CodegenItem, W: IntoMatcherExpr>(
    meta: &mut ExprMetadata,
    mut items: Vec<W>,
) -> TokenStream {
    let n = items.len();
    let base = format_ident!("{}", type_name::<T>());
    let item_type = type_ident::<I>();

    match n {
        0 => panic!("literal contains no items"),
        1 => items.pop().unwrap().into_matcher_expr::<I>(meta),
        2 => {
            let mut iter = items.into_iter();
            let first = iter.next().unwrap().into_matcher_expr::<I>(meta);
            let second = iter.next().unwrap().into_matcher_expr::<I>(meta);

            quote!(::ct_regex::internal::matcher::#base<#item_type, #first, #second>)
        },
        3 => {
            let mut iter = items.into_iter();
            let first = iter.next().unwrap().into_matcher_expr::<I>(meta);
            let chunked = write_chunked::<T, I, W>(meta, iter.collect());

            quote!(::ct_regex::internal::matcher::#base<#item_type, #first, #chunked>)
        },
        4 | 8 | 16 => write_n_items::<T, I, W>(meta, items, n),
        _ => {
            // Take largest chunk that fits, combine with remainder
            let chunk_size = if n > 16 {
                16
            } else if n > 8 {
                8
            } else {
                4
            };
            let remainder = items.split_off(chunk_size);
            let n_matcher = write_n_items::<T, I, W>(meta, items, chunk_size);
            let chunked = write_chunked::<T, I, W>(meta, remainder);

            quote!(::ct_regex::internal::matcher::#base<#item_type, #n_matcher, #chunked>)
        },
    }
}

fn write_n_items<T, I: CodegenItem, W: IntoMatcherExpr>(
    meta: &mut ExprMetadata,
    items: Vec<W>,
    n: usize,
) -> TokenStream {
    let name = format_ident!("{}{}", type_name::<T>(), n);
    let item_type = type_ident::<I>();

    let mut tokens = quote!(::ct_regex::internal::matcher::#name<#item_type);

    for item in items {
        tokens.extend(quote!(,));
        tokens.extend(item.into_matcher_expr::<I>(meta));
    }

    tokens.extend(quote!(>));
    tokens
}