Parse key=value named flag support. (#3515)

This commit is contained in:
Andrés N. Robalino 2021-05-29 20:42:03 -05:00 committed by GitHub
parent bff81f24aa
commit 6fdfc84904
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 189 additions and 63 deletions

View File

@ -0,0 +1,138 @@
use nu_errors::{ArgumentError, ParseError};
use nu_protocol::hir::InternalCommand;
use nu_protocol::NamedType;
use nu_source::{Span, Spanned, SpannedItem};
/// Match the available flags in a signature with what the user provided. This will check both long-form flags (--long) and shorthand flags (-l)
/// This also allows users to provide a group of shorthand flags (-la) that correspond to multiple shorthand flags at once.
pub fn get_flag_signature_spec(
signature: &nu_protocol::Signature,
cmd: &InternalCommand,
arg: &Spanned<String>,
) -> (Vec<(String, NamedType)>, Option<ParseError>) {
if arg.item.starts_with('-') {
// It's a flag (or set of flags)
let mut output = vec![];
let mut error = None;
let remainder: String = arg.item.chars().skip(1).collect();
if remainder.starts_with('-') {
// Long flag expected
let mut remainder: String = remainder.chars().skip(1).collect();
if remainder.contains('=') {
let assignment: Vec<_> = remainder.split('=').collect();
if assignment.len() != 2 {
error = Some(ParseError::argument_error(
cmd.name.to_string().spanned(cmd.name_span),
ArgumentError::InvalidExternalWord,
));
} else {
remainder = assignment[0].to_string();
}
}
if let Some((named_type, _)) = signature.named.get(&remainder) {
output.push((remainder.clone(), named_type.clone()));
} else {
error = Some(ParseError::argument_error(
cmd.name.to_string().spanned(cmd.name_span),
ArgumentError::UnexpectedFlag(arg.clone()),
));
}
} else {
// Short flag(s) expected
let mut starting_pos = arg.span.start() + 1;
for c in remainder.chars() {
let mut found = false;
for (full_name, named_arg) in signature.named.iter() {
if Some(c) == named_arg.0.get_short() {
found = true;
output.push((full_name.clone(), named_arg.0.clone()));
break;
}
}
if !found {
error = Some(ParseError::argument_error(
cmd.name.to_string().spanned(cmd.name_span),
ArgumentError::UnexpectedFlag(
arg.item
.clone()
.spanned(Span::new(starting_pos, starting_pos + c.len_utf8())),
),
));
}
starting_pos += c.len_utf8();
}
}
(output, error)
} else {
// It's not a flag, so don't bother with it
(vec![], None)
}
}
#[cfg(test)]
mod tests {
use super::get_flag_signature_spec;
use crate::{lex, parse_block};
use nu_protocol::{hir::InternalCommand, NamedType, Signature, SyntaxShape};
use nu_source::{HasSpan, Span};
fn bundle() -> Signature {
Signature::build("bundle add")
.switch("skip-install", "Adds the gem to the Gemfile but does not install it.", None)
.named("group", SyntaxShape::String, "Specify the group(s) for the added gem. Multiple groups should be separated by commas.", Some('g'))
.rest(SyntaxShape::Any, "options")
}
#[test]
fn parses_longform_flag_containing_equal_sign() {
let input = "bundle add rails --group=development";
let (tokens, _) = lex(&input, 0);
let (root_node, _) = parse_block(tokens);
assert_eq!(root_node.block.len(), 1);
assert_eq!(root_node.block[0].pipelines.len(), 1);
assert_eq!(root_node.block[0].pipelines[0].commands.len(), 1);
assert_eq!(root_node.block[0].pipelines[0].commands[0].parts.len(), 4);
let command_node = root_node.block[0].pipelines[0].commands[0].clone();
let idx = 1;
let (name, name_span) = (
command_node.parts[0..(idx + 1)]
.iter()
.map(|x| x.item.clone())
.collect::<Vec<String>>()
.join(" "),
Span::new(
command_node.parts[0].span.start(),
command_node.parts[idx].span.end(),
),
);
let mut internal = InternalCommand::new(name, name_span, command_node.span());
let signature = bundle();
internal.args.set_initial_flags(&signature);
let (flags, err) = get_flag_signature_spec(&signature, &internal, &command_node.parts[3]);
let (long_name, spec) = flags[0].clone();
assert!(err.is_none());
assert_eq!(long_name, "group".to_string());
assert_eq!(spec.get_short(), Some('g'));
match spec {
NamedType::Optional(_, _) => {}
_ => panic!("optional flag didn't parse succesfully"),
}
}
}

View File

@ -4,6 +4,7 @@ extern crate derive_is_enum_variant;
extern crate derive_new; extern crate derive_new;
mod errors; mod errors;
mod flag;
mod lex; mod lex;
mod parse; mod parse;
mod path; mod path;

View File

@ -1110,66 +1110,6 @@ fn parse_arg(
} }
} }
/// Match the available flags in a signature with what the user provided. This will check both long-form flags (--long) and shorthand flags (-l)
/// This also allows users to provide a group of shorthand flags (-la) that correspond to multiple shorthand flags at once.
fn get_flags_from_flag(
signature: &nu_protocol::Signature,
cmd: &InternalCommand,
arg: &Spanned<String>,
) -> (Vec<(String, NamedType)>, Option<ParseError>) {
if arg.item.starts_with('-') {
// It's a flag (or set of flags)
let mut output = vec![];
let mut error = None;
let remainder: String = arg.item.chars().skip(1).collect();
if remainder.starts_with('-') {
// Long flag expected
let remainder: String = remainder.chars().skip(1).collect();
if let Some((named_type, _)) = signature.named.get(&remainder) {
output.push((remainder.clone(), named_type.clone()));
} else {
error = Some(ParseError::argument_error(
cmd.name.to_string().spanned(cmd.name_span),
ArgumentError::UnexpectedFlag(arg.clone()),
));
}
} else {
// Short flag(s) expected
let mut starting_pos = arg.span.start() + 1;
for c in remainder.chars() {
let mut found = false;
for (full_name, named_arg) in signature.named.iter() {
if Some(c) == named_arg.0.get_short() {
found = true;
output.push((full_name.clone(), named_arg.0.clone()));
break;
}
}
if !found {
error = Some(ParseError::argument_error(
cmd.name.to_string().spanned(cmd.name_span),
ArgumentError::UnexpectedFlag(
arg.item
.clone()
.spanned(Span::new(starting_pos, starting_pos + c.len_utf8())),
),
));
}
starting_pos += c.len_utf8();
}
}
(output, error)
} else {
// It's not a flag, so don't bother with it
(vec![], None)
}
}
/// This is a bit of a "fix-up" of previously parsed areas. In cases where we're in shorthand mode (eg in the `where` command), we need /// This is a bit of a "fix-up" of previously parsed areas. In cases where we're in shorthand mode (eg in the `where` command), we need
/// to use the original source to parse a column path. Without it, we'll lose a little too much information to parse it correctly. As we'll /// to use the original source to parse a column path. Without it, we'll lose a little too much information to parse it correctly. As we'll
/// only know we were on the left-hand side of an expression after we do the full math parse, we need to do this step after rather than during /// only know we were on the left-hand side of an expression after we do the full math parse, we need to do this step after rather than during
@ -1486,14 +1426,53 @@ fn parse_internal_command(
while idx < lite_cmd.parts.len() { while idx < lite_cmd.parts.len() {
if lite_cmd.parts[idx].item.starts_with('-') && lite_cmd.parts[idx].item.len() > 1 { if lite_cmd.parts[idx].item.starts_with('-') && lite_cmd.parts[idx].item.len() > 1 {
let (named_types, err) = let (named_types, err) = super::flag::get_flag_signature_spec(
get_flags_from_flag(&signature, &internal_command, &lite_cmd.parts[idx]); &signature,
&internal_command,
&lite_cmd.parts[idx],
);
if err.is_none() { if err.is_none() {
for (full_name, named_type) in &named_types { for (full_name, named_type) in &named_types {
match named_type { match named_type {
NamedType::Mandatory(_, shape) | NamedType::Optional(_, shape) => { NamedType::Mandatory(_, shape) | NamedType::Optional(_, shape) => {
if idx == lite_cmd.parts.len() { if lite_cmd.parts[idx].item.contains('=') {
let mut offset = 0;
lite_cmd.parts[idx]
.item
.chars()
.skip_while(|prop| {
offset += 1;
*prop != '='
})
.skip(1)
.for_each(drop);
let flag_value = Span::new_option(
lite_cmd.parts[idx].span.start()
+ (lite_cmd.parts[idx].span.start() - offset),
lite_cmd.parts[idx].span.end(),
);
if let Some(value_span) = flag_value {
let value = lite_cmd.parts[idx].item[offset..]
.to_string()
.spanned(value_span);
let (arg, err) = parse_arg(*shape, scope, &value);
named.insert_mandatory(
full_name.clone(),
lite_cmd.parts[idx].span,
arg,
);
if error.is_none() {
error = err;
}
}
} else if idx == lite_cmd.parts.len() {
// Oops, we're missing the argument to our named argument // Oops, we're missing the argument to our named argument
if error.is_none() { if error.is_none() {
error = Some(ParseError::argument_error( error = Some(ParseError::argument_error(

View File

@ -525,6 +525,14 @@ impl Span {
Span { start, end } Span { start, end }
} }
pub fn new_option(start: usize, end: usize) -> Option<Span> {
if end >= start {
None
} else {
Some(Span { start, end })
}
}
/// Creates a `Span` with a length of 1 from the given position. /// Creates a `Span` with a length of 1 from the given position.
/// ///
/// # Example /// # Example