| // 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. | |
| //! SQL Parser for a `MERGE` statement | |
| #[cfg(not(feature = "std"))] | |
| use alloc::{boxed::Box, format, vec, vec::Vec}; | |
| use crate::{ | |
| ast::{ | |
| Merge, MergeAction, MergeClause, MergeClauseKind, MergeInsertExpr, MergeInsertKind, | |
| MergeUpdateExpr, MergeUpdateKind, ObjectName, OutputClause, SetExpr, | |
| }, | |
| dialect::{BigQueryDialect, GenericDialect, MySqlDialect}, | |
| keywords::Keyword, | |
| parser::IsOptional, | |
| tokenizer::Token, | |
| tokenizer::TokenWithSpan, | |
| }; | |
| use super::{Parser, ParserError}; | |
| impl Parser<'_> { | |
| /// Parse a `MERGE` statement, returning a `Box`ed SetExpr | |
| /// | |
| /// This is used to reduce the size of the stack frames in debug builds | |
| pub(super) fn parse_merge_setexpr_boxed( | |
| &mut self, | |
| merge_token: TokenWithSpan, | |
| ) -> Result<Box<SetExpr>, ParserError> { | |
| Ok(Box::new(SetExpr::Merge( | |
| self.parse_merge(merge_token)?.into(), | |
| ))) | |
| } | |
| /// Parse a `MERGE` statement | |
| pub fn parse_merge(&mut self, merge_token: TokenWithSpan) -> Result<Merge, ParserError> { | |
| let optimizer_hints = self.maybe_parse_optimizer_hints()?; | |
| let into = self.parse_keyword(Keyword::INTO); | |
| let table = self.parse_table_factor()?; | |
| self.expect_keyword_is(Keyword::USING)?; | |
| let source = self.parse_table_factor()?; | |
| self.expect_keyword_is(Keyword::ON)?; | |
| let on = self.parse_expr()?; | |
| let clauses = self.parse_merge_clauses()?; | |
| let output = match self.parse_one_of_keywords(&[Keyword::OUTPUT, Keyword::RETURNING]) { | |
| Some(keyword) => Some(self.parse_output(keyword, self.get_current_token().clone())?), | |
| None => None, | |
| }; | |
| Ok(Merge { | |
| merge_token: merge_token.into(), | |
| optimizer_hints, | |
| into, | |
| table, | |
| source, | |
| on: Box::new(on), | |
| clauses, | |
| output, | |
| }) | |
| } | |
| fn parse_merge_clauses(&mut self) -> Result<Vec<MergeClause>, ParserError> { | |
| let mut clauses = vec![]; | |
| loop { | |
| if !(self.parse_keyword(Keyword::WHEN)) { | |
| break; | |
| } | |
| let when_token = self.get_current_token().clone(); | |
| let mut clause_kind = MergeClauseKind::Matched; | |
| if self.parse_keyword(Keyword::NOT) { | |
| clause_kind = MergeClauseKind::NotMatched; | |
| } | |
| self.expect_keyword_is(Keyword::MATCHED)?; | |
| if matches!(clause_kind, MergeClauseKind::NotMatched) | |
| && self.parse_keywords(&[Keyword::BY, Keyword::SOURCE]) | |
| { | |
| clause_kind = MergeClauseKind::NotMatchedBySource; | |
| } else if matches!(clause_kind, MergeClauseKind::NotMatched) | |
| && self.parse_keywords(&[Keyword::BY, Keyword::TARGET]) | |
| { | |
| clause_kind = MergeClauseKind::NotMatchedByTarget; | |
| } | |
| let predicate = if self.parse_keyword(Keyword::AND) { | |
| Some(self.parse_expr()?) | |
| } else { | |
| None | |
| }; | |
| self.expect_keyword_is(Keyword::THEN)?; | |
| let merge_clause = match self.parse_one_of_keywords(&[ | |
| Keyword::UPDATE, | |
| Keyword::INSERT, | |
| Keyword::DELETE, | |
| Keyword::DO, | |
| ]) { | |
| Some(Keyword::DO) => { | |
| let do_token = self.get_current_token().clone(); | |
| let nothing_token = self.expect_keyword(Keyword::NOTHING)?; | |
| MergeAction::DoNothing { | |
| do_token: do_token.into(), | |
| nothing_token: nothing_token.into(), | |
| } | |
| } | |
| Some(Keyword::UPDATE) => { | |
| if matches!( | |
| clause_kind, | |
| MergeClauseKind::NotMatched | MergeClauseKind::NotMatchedByTarget | |
| ) { | |
| return parser_err!( | |
| format_args!("UPDATE is not allowed in a {clause_kind} merge clause"), | |
| self.get_current_token().span.start | |
| ); | |
| } | |
| let update_token = self.get_current_token().clone(); | |
| self.expect_keyword_is(Keyword::SET)?; | |
| let kind = if self.consume_token(&Token::Mul) { | |
| MergeUpdateKind::Wildcard | |
| } else { | |
| MergeUpdateKind::Set(self.parse_comma_separated(Parser::parse_assignment)?) | |
| }; | |
| let update_predicate = if self.parse_keyword(Keyword::WHERE) { | |
| Some(self.parse_expr()?) | |
| } else { | |
| None | |
| }; | |
| let delete_predicate = if self.parse_keyword(Keyword::DELETE) { | |
| let _ = self.expect_keyword(Keyword::WHERE)?; | |
| Some(self.parse_expr()?) | |
| } else { | |
| None | |
| }; | |
| MergeAction::Update(MergeUpdateExpr { | |
| update_token: update_token.into(), | |
| kind, | |
| update_predicate, | |
| delete_predicate, | |
| }) | |
| } | |
| Some(Keyword::DELETE) => { | |
| if matches!( | |
| clause_kind, | |
| MergeClauseKind::NotMatched | MergeClauseKind::NotMatchedByTarget | |
| ) { | |
| return parser_err!( | |
| format_args!("DELETE is not allowed in a {clause_kind} merge clause"), | |
| self.get_current_token().span.start | |
| ); | |
| }; | |
| let delete_token = self.get_current_token().clone(); | |
| MergeAction::Delete { | |
| delete_token: delete_token.into(), | |
| } | |
| } | |
| Some(Keyword::INSERT) => { | |
| if !matches!( | |
| clause_kind, | |
| MergeClauseKind::NotMatched | MergeClauseKind::NotMatchedByTarget | |
| ) { | |
| return parser_err!( | |
| format_args!("INSERT is not allowed in a {clause_kind} merge clause"), | |
| self.get_current_token().span.start | |
| ); | |
| }; | |
| let insert_token = self.get_current_token().clone(); | |
| if self.consume_token(&Token::Mul) { | |
| let star_token = self.get_current_token().clone(); | |
| MergeAction::Insert(MergeInsertExpr { | |
| insert_token: insert_token.into(), | |
| columns: vec![], | |
| kind_token: star_token.into(), | |
| kind: MergeInsertKind::Wildcard, | |
| insert_predicate: None, | |
| }) | |
| } else { | |
| let is_mysql = dialect_of!(self is MySqlDialect); | |
| let columns = self.parse_merge_clause_insert_columns(is_mysql)?; | |
| let (kind, kind_token) = if dialect_of!(self is BigQueryDialect | GenericDialect) | |
| && self.parse_keyword(Keyword::ROW) | |
| { | |
| (MergeInsertKind::Row, self.get_current_token().clone()) | |
| } else { | |
| self.expect_keyword_is(Keyword::VALUES)?; | |
| let values_token = self.get_current_token().clone(); | |
| let values = self.parse_values(is_mysql, false)?; | |
| (MergeInsertKind::Values(values), values_token) | |
| }; | |
| let insert_predicate = if self.parse_keyword(Keyword::WHERE) { | |
| Some(self.parse_expr()?) | |
| } else { | |
| None | |
| }; | |
| MergeAction::Insert(MergeInsertExpr { | |
| insert_token: insert_token.into(), | |
| columns, | |
| kind_token: kind_token.into(), | |
| kind, | |
| insert_predicate, | |
| }) | |
| } | |
| } | |
| _ => { | |
| return parser_err!( | |
| "expected UPDATE, DELETE, INSERT or DO NOTHING in merge clause", | |
| self.peek_token_ref().span.start | |
| ); | |
| } | |
| }; | |
| clauses.push(MergeClause { | |
| when_token: when_token.into(), | |
| clause_kind, | |
| predicate, | |
| action: merge_clause, | |
| }); | |
| } | |
| Ok(clauses) | |
| } | |
| fn parse_merge_clause_insert_columns( | |
| &mut self, | |
| allow_empty: bool, | |
| ) -> Result<Vec<ObjectName>, ParserError> { | |
| self.parse_parenthesized_qualified_column_list(IsOptional::Optional, allow_empty) | |
| } | |
| /// Parses an `OUTPUT` clause if present (MSSQL). | |
| pub(super) fn maybe_parse_output_clause( | |
| &mut self, | |
| ) -> Result<Option<OutputClause>, ParserError> { | |
| if self.parse_keyword(Keyword::OUTPUT) { | |
| Ok(Some(self.parse_output( | |
| Keyword::OUTPUT, | |
| self.get_current_token().clone(), | |
| )?)) | |
| } else { | |
| Ok(None) | |
| } | |
| } | |
| pub(super) fn parse_output( | |
| &mut self, | |
| start_keyword: Keyword, | |
| start_token: TokenWithSpan, | |
| ) -> Result<OutputClause, ParserError> { | |
| let select_items = self.parse_projection()?; | |
| let into_table = if start_keyword == Keyword::OUTPUT && self.peek_keyword(Keyword::INTO) { | |
| self.expect_keyword_is(Keyword::INTO)?; | |
| Some(self.parse_select_into()?) | |
| } else { | |
| None | |
| }; | |
| Ok(if start_keyword == Keyword::OUTPUT { | |
| OutputClause::Output { | |
| output_token: start_token.into(), | |
| select_items, | |
| into_table, | |
| } | |
| } else { | |
| OutputClause::Returning { | |
| returning_token: start_token.into(), | |
| select_items, | |
| } | |
| }) | |
| } | |
| } |