having problems with optionality

This commit is contained in:
nora 2021-09-25 11:42:12 +02:00
parent cb734a708d
commit 346c8835cd
4 changed files with 142 additions and 48 deletions

View file

@ -7,7 +7,7 @@ arg!(OLevel: "optimize" -> usize);
fn main() { fn main() {
let args = badargs::badargs::<(OutFile, (Force, OLevel))>().unwrap(); let args = badargs::badargs::<(OutFile, (Force, OLevel))>().unwrap();
let outfile = args.get::<OutFile>(); let _outfile = args.get::<OutFile>();
let force = args.get::<Force>(); let _force = args.get::<Force>();
let o_level = args.get::<OLevel>(); let _o_level = args.get::<OLevel>();
} }

View file

@ -5,10 +5,11 @@ mod schema;
use crate::parse::CliArgs; use crate::parse::CliArgs;
use crate::schema::{IntoSchema, Schema, SchemaKind}; use crate::schema::{IntoSchema, Schema, SchemaKind};
pub use error::ArgError; pub use error::SchemaError;
pub use macros::*; pub use macros::*;
use std::any::Any;
pub type Result<T> = std::result::Result<T, ArgError>; pub type Result<T> = std::result::Result<T, SchemaError>;
/// ///
/// Parses the command line arguments based on the provided schema S /// Parses the command line arguments based on the provided schema S
@ -18,7 +19,7 @@ where
{ {
let arg_schema = Schema::create::<S>()?; let arg_schema = Schema::create::<S>()?;
let args = CliArgs::from_args(&arg_schema, std::env::args())?; let args = CliArgs::from_args(&arg_schema, std::env::args()).expect("todo");
Ok(BadArgs { args }) Ok(BadArgs { args })
} }
@ -33,7 +34,8 @@ where
/// arg!(OutFile: "output", 'o' -> Option<String>); /// arg!(OutFile: "output", 'o' -> Option<String>);
/// // OutFile now implements CliArg /// // OutFile now implements CliArg
/// ``` /// ```
pub trait CliArg { // This trait requires any because some dynamic typing is done in the background
pub trait CliArg: Any {
type Content: CliReturnValue; type Content: CliReturnValue;
fn long() -> &'static str; fn long() -> &'static str;
@ -41,7 +43,7 @@ pub trait CliArg {
} }
/// The struct containing parsed argument information /// The struct containing parsed argument information
#[derive(Debug, Clone, Default)] #[derive(Debug, Default)]
pub struct BadArgs { pub struct BadArgs {
args: CliArgs, args: CliArgs,
} }
@ -52,7 +54,10 @@ impl BadArgs {
where where
T: CliArg, T: CliArg,
{ {
todo!() let long_name = T::long();
self.args
.get::<T::Content>(long_name)
.expect("it has been validated")
} }
} }
@ -89,14 +94,19 @@ mod sealed {
} }
mod error { mod error {
/// The error type for `badargs` /// Invalid schema
#[derive(Debug, Clone, Eq, PartialEq)] #[derive(Debug, Clone, Eq, PartialEq)]
pub enum ArgError { pub enum SchemaError {
InvalidUtf8,
NameAlreadyExists(String), NameAlreadyExists(String),
InvalidSchema(String), InvalidSchema(String),
IdkYet, }
UnnamedArgument,
/// Invalid arguments provided
#[derive(Debug, Clone, Eq, PartialEq)]
pub enum CallError {
SingleMinus, SingleMinus,
UnnamedArgument,
ShortFlagNotFound(char),
ExpectedValue(String),
} }
} }

View file

@ -1,16 +1,14 @@
use super::Result; use crate::error::CallError;
use crate::schema::Schema; use crate::schema::{Schema, SchemaKind, SchemaKindType};
use crate::ArgError; use std::any::Any;
use std::collections::HashMap; use std::collections::HashMap;
use std::iter::Peekable; use std::iter::Peekable;
#[derive(Debug, Clone, Default)] type Result<T> = std::result::Result<T, CallError>;
#[derive(Debug, Default)]
pub struct CliArgs { pub struct CliArgs {
pub isize: HashMap<&'static str, isize>, args: HashMap<&'static str, Box<dyn Any>>,
pub usize: HashMap<&'static str, isize>,
pub string: HashMap<&'static str, String>,
pub option_string: HashMap<&'static str, Option<String>>,
pub bool: HashMap<&'static str, bool>,
} }
impl CliArgs { impl CliArgs {
@ -21,14 +19,25 @@ impl CliArgs {
while let Some(arg) = args.next() { while let Some(arg) = args.next() {
if let Some(shorts) = arg.strip_prefix('-') { if let Some(shorts) = arg.strip_prefix('-') {
parse_shorts(schema, &mut result, shorts, &mut args)?; parse_shorts(schema, &mut result, shorts, &mut args)?;
} else if let Some(longs) = arg.strip_prefix("--") { } else if let Some(_longs) = arg.strip_prefix("--") {
} else { } else {
return Err(ArgError::UnnamedArgument); return Err(CallError::UnnamedArgument);
} }
} }
Ok(result) Ok(result)
} }
/// Get a value from the map, expecting it to have type T
/// Important: T should never be Option, making thisfh sjfhsekld fjkdsaljföoilkaesdf jikasoeldöojfliköesdafjisdolkyafj idrs
pub fn get<T: Any>(&self, long: &str) -> Option<&T> {
let any = self.args.get(long)?;
any.downcast_ref()
}
fn insert(&mut self, long: &'static str, value: Box<dyn Any>) {
self.args.insert(long, value);
}
} }
fn parse_shorts( fn parse_shorts(
@ -37,16 +46,72 @@ fn parse_shorts(
shorts: &str, shorts: &str,
args: &mut Peekable<impl Iterator<Item = String>>, args: &mut Peekable<impl Iterator<Item = String>>,
) -> Result<()> { ) -> Result<()> {
if shorts.len() == 0 { // there are kinds of short arguments
return Err(ArgError::SingleMinus); // single shorts that takes values: `-o main`
// multiple flags combined: `-xzf`
// combining these is invalid: `-xo main`
let mut chars = shorts.chars();
let first_flag = chars.next();
if let Some(flag) = first_flag {
let command = schema
.short(flag)
.ok_or_else(|| CallError::ShortFlagNotFound(flag))?;
let inner_kind = match command.kind {
SchemaKind::Required(inner) => inner,
SchemaKind::Optional(inner) => inner,
};
match inner_kind {
SchemaKindType::String => {
let next = args
.next()
.ok_or_else(|| CallError::ExpectedValue(command.long.to_string()))?;
results.insert(command.long, Box::new(next));
}
_ => todo!(),
}
} else {
return Err(CallError::SingleMinus);
} }
for flag_name in shorts.chars() {} for _flag_name in chars {}
Ok(()) Ok(())
} }
fn expects_value_short(schema: &Schema, name: char) -> bool { #[cfg(test)]
schema.short('5'); mod test {
true use super::*;
use crate::arg;
use crate::schema::Schema;
arg!(OutFile: "output", 'o' -> Option<String>);
arg!(Input: "input", 'i' -> String);
arg!(Force: "force", 'f' -> bool);
arg!(SetUpstream: "set-upstream" -> String);
fn schema() -> Schema {
Schema::create::<((OutFile, Input), (Force, SetUpstream))>().unwrap()
}
fn parse_args(args: &str) -> Result<CliArgs> {
CliArgs::from_args(&schema(), args.split_whitespace().map(|s| s.to_owned()))
}
#[test]
#[ignore]
fn single_short_flag() {
let args = parse_args("-f").unwrap();
assert_eq!(args.get::<bool>("force"), Some(&true))
}
#[test]
fn single_string_arg() {
let args = parse_args("-i stdin").unwrap();
assert_eq!(args.get::<String>("input"), Some(&"stdin".to_string()))
}
} }

View file

@ -4,17 +4,22 @@
//! This makes the interface of this crate fully type-safe! (and kind of cursed) //! This makes the interface of this crate fully type-safe! (and kind of cursed)
use super::Result; use super::Result;
use crate::{ArgError, CliArg, CliReturnValue}; use crate::{CliArg, CliReturnValue, SchemaError};
use std::collections::HashMap; use std::collections::HashMap;
#[derive(Debug, Copy, Clone, Eq, PartialEq)]
pub enum SchemaKind {
Required(SchemaKindType),
Optional(SchemaKindType),
}
/// ///
/// The type of value the argument returns /// The type of value the argument returns
/// ///
/// This could *maybe* also be solved with trait objects but lets keep this for now /// This could *maybe* also be solved with trait objects but lets keep this for now
#[derive(Debug, Copy, Clone, Eq, PartialEq)] #[derive(Debug, Copy, Clone, Eq, PartialEq)]
pub enum SchemaKind { pub enum SchemaKindType {
String, String,
OptionString,
Bool, Bool,
INum, INum,
UNum, UNum,
@ -24,7 +29,9 @@ pub enum SchemaKind {
/// A single command in the schema /// A single command in the schema
#[derive(Debug, Clone, Eq, PartialEq, Copy)] #[derive(Debug, Clone, Eq, PartialEq, Copy)]
pub struct SchemaCommand { pub struct SchemaCommand {
kind: SchemaKind, pub kind: SchemaKind,
pub long: &'static str,
pub short: Option<char>,
} }
/// ///
@ -48,7 +55,7 @@ impl Schema {
fn add_command(&mut self, long_name: &'static str, command: SchemaCommand) -> Result<()> { fn add_command(&mut self, long_name: &'static str, command: SchemaCommand) -> Result<()> {
if let Some(_) = self.longs.insert(long_name, command) { if let Some(_) = self.longs.insert(long_name, command) {
Err(ArgError::NameAlreadyExists(long_name.to_string())) Err(SchemaError::NameAlreadyExists(long_name.to_string()))
} else { } else {
Ok(()) Ok(())
} }
@ -64,7 +71,7 @@ impl Schema {
fn add_short_command(&mut self, short_name: char, command: SchemaCommand) -> Result<()> { fn add_short_command(&mut self, short_name: char, command: SchemaCommand) -> Result<()> {
if let Some(_) = self.shorts.insert(short_name, command) { if let Some(_) = self.shorts.insert(short_name, command) {
Err(ArgError::NameAlreadyExists(short_name.to_string())) Err(SchemaError::NameAlreadyExists(short_name.to_string()))
} else { } else {
Ok(()) Ok(())
} }
@ -101,20 +108,20 @@ where
{ {
fn add_schema(schema: &mut Schema) -> Result<()> { fn add_schema(schema: &mut Schema) -> Result<()> {
let kind = T::Content::kind(); let kind = T::Content::kind();
let name = T::long(); let long = T::long();
let short = T::short(); let short = T::short();
let command = SchemaCommand { kind }; let command = SchemaCommand { kind, long, short };
if let Some(short_name) = short { if let Some(short_name) = short {
schema.add_short_command(short_name, command)?; schema.add_short_command(short_name, command)?;
} }
schema.add_command(name, command) schema.add_command(long, command)
} }
} }
#[cfg(test)] #[cfg(test)]
mod test { mod test {
use crate::schema::{Schema, SchemaCommand, SchemaKind}; use crate::arg;
use crate::{arg, ArgError}; use crate::schema::{Schema, SchemaCommand, SchemaKind, SchemaKindType};
arg!(OutFile: "output", 'o' -> Option<String>); arg!(OutFile: "output", 'o' -> Option<String>);
arg!(Force: "force", 'f' -> bool); arg!(Force: "force", 'f' -> bool);
@ -125,7 +132,9 @@ mod test {
fn one_command_schema() { fn one_command_schema() {
let schema = Schema::create::<OutFile>().unwrap(); let schema = Schema::create::<OutFile>().unwrap();
let out_file = SchemaCommand { let out_file = SchemaCommand {
kind: SchemaKind::OptionString, kind: SchemaKind::Optional(SchemaKindType::String),
long: "output",
short: Some('o'),
}; };
assert_eq!(schema.longs.get("output"), Some(&out_file)); assert_eq!(schema.longs.get("output"), Some(&out_file));
assert_eq!(schema.shorts.get(&'o'), Some(&out_file)); assert_eq!(schema.shorts.get(&'o'), Some(&out_file));
@ -136,10 +145,14 @@ mod test {
fn two_command_schema() { fn two_command_schema() {
let schema = Schema::create::<(OutFile, Force)>().unwrap(); let schema = Schema::create::<(OutFile, Force)>().unwrap();
let out_file = SchemaCommand { let out_file = SchemaCommand {
kind: SchemaKind::OptionString, kind: SchemaKind::Optional(SchemaKindType::String),
long: "output",
short: Some('o'),
}; };
let force = SchemaCommand { let force = SchemaCommand {
kind: SchemaKind::Bool, kind: SchemaKind::Required(SchemaKindType::Bool),
long: "force",
short: Some('f'),
}; };
assert_eq!(schema.longs.get("output"), Some(&out_file)); assert_eq!(schema.longs.get("output"), Some(&out_file));
@ -155,13 +168,19 @@ mod test {
fn three_command_schema() { fn three_command_schema() {
let schema = Schema::create::<(OutFile, (Force, SetUpstream))>().unwrap(); let schema = Schema::create::<(OutFile, (Force, SetUpstream))>().unwrap();
let out_file = SchemaCommand { let out_file = SchemaCommand {
kind: SchemaKind::OptionString, kind: SchemaKind::Optional(SchemaKindType::String),
long: "output",
short: Some('o'),
}; };
let force = SchemaCommand { let force = SchemaCommand {
kind: SchemaKind::Bool, kind: SchemaKind::Required(SchemaKindType::Bool),
long: "force",
short: Some('f'),
}; };
let set_upstream = SchemaCommand { let set_upstream = SchemaCommand {
kind: SchemaKind::String, kind: SchemaKind::Required(SchemaKindType::String),
long: "set-upstream",
short: None,
}; };
assert_eq!(schema.longs.get("output"), Some(&out_file)); assert_eq!(schema.longs.get("output"), Some(&out_file));