1mod ext;2mod manifest;3mod tla;4mod trace;56pub use ext::*;7pub use manifest::*;8pub use tla::*;9pub use trace::*;1011use clap::Clap;12use jrsonnet_evaluator::{error::Result, EvaluationState, FileImportResolver};13use std::path::PathBuf;1415pub trait ConfigureState {16 fn configure(&self, state: &EvaluationState) -> Result<()>;17}1819#[derive(Clap)]20#[clap(help_heading = "INPUT")]21pub struct InputOpts {22 #[clap(23 long,24 short = 'e',25 about = "Treat input as code, evaluate them instead of reading file"26 )]27 pub exec: bool,2829 #[clap(30 about = "Path to the file to be compiled if `--evaluate` is unset, otherwise code itself"31 )]32 pub input: String,33}3435#[derive(Clap)]36#[clap(help_heading = "OPTIONS")]37pub struct MiscOpts {38 39 40 41 42 #[clap(long)]43 no_stdlib: bool,4445 46 47 #[clap(long, short = 's', default_value = "200")]48 max_stack: usize,4950 51 52 53 54 #[clap(long, short = 'J')]55 jpath: Vec<PathBuf>,56}57impl ConfigureState for MiscOpts {58 fn configure(&self, state: &EvaluationState) -> Result<()> {59 if !self.no_stdlib {60 state.with_stdlib();61 }6263 state.set_import_resolver(Box::new(FileImportResolver {64 library_paths: self.jpath.clone(),65 }));6667 state.set_max_stack(self.max_stack);68 Ok(())69 }70}717273#[derive(Clap)]74#[clap(name = "jrsonnet", version, author)]75pub struct GeneralOpts {76 #[clap(flatten)]77 misc: MiscOpts,7879 #[clap(flatten)]80 tla: TLAOpts,81 #[clap(flatten)]82 ext: ExtVarOpts,8384 #[clap(flatten)]85 trace: TraceOpts,86}8788impl ConfigureState for GeneralOpts {89 fn configure(&self, state: &EvaluationState) -> Result<()> {90 91 self.trace.configure(state)?;92 self.misc.configure(state)?;93 self.tla.configure(state)?;94 self.ext.configure(state)?;95 Ok(())96 }97}