sql/statements/transform.rs
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
// Copyright 2023 Greptime Team
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
use std::ops::ControlFlow;
use std::sync::Arc;
use lazy_static::lazy_static;
use sqlparser::ast::{visit_expressions_mut, Expr};
use crate::error::Result;
use crate::statements::statement::Statement;
mod expand_interval;
mod type_alias;
use expand_interval::ExpandIntervalTransformRule;
pub use type_alias::get_data_type_by_alias_name;
use type_alias::TypeAliasTransformRule;
lazy_static! {
/// [TransformRule] registry
static ref RULES: Vec<Arc<dyn TransformRule>> = vec![
Arc::new(ExpandIntervalTransformRule{}),
Arc::new(TypeAliasTransformRule{}),
];
}
/// Transform rule to transform statement or expr
pub(crate) trait TransformRule: Send + Sync {
/// Visit a [Statement]
fn visit_statement(&self, _stmt: &mut Statement) -> Result<()> {
Ok(())
}
/// Visit an [Expr]
fn visit_expr(&self, _expr: &mut Expr) -> ControlFlow<()> {
ControlFlow::<()>::Continue(())
}
}
/// Transform statements by rules
pub fn transform_statements(stmts: &mut Vec<Statement>) -> Result<()> {
for stmt in &mut *stmts {
for rule in RULES.iter() {
rule.visit_statement(stmt)?;
}
}
visit_expressions_mut(stmts, |expr| {
for rule in RULES.iter() {
rule.visit_expr(expr)?;
}
ControlFlow::<()>::Continue(())
});
Ok(())
}