Struct SemanticReportArgs 

pub struct SemanticReportArgs {
    pub input: Vec<PathBuf>,
    pub reference_zic: String,
    pub zdump: String,
    pub zone: Vec<String>,
    pub format: ReportFormatArg,
}

semantic-report (T15.3): typed zdump-backed semantic witnesses for a compact zone set.

Fields

input: Vec<PathBuf>

Source file(s) of tzdata.

reference_zic: String

Reference zic program (compiles the oracle side).

zdump: String

Reference zdump program (the footer-aware behaviour oracle).

zone: Vec<String>

Zones to witness (repeatable). Default: a small curated set (those present in the input).

format: ReportFormatArg

Output format (JSON is the machine-readable conformance surface).

Trait Implementations

impl Args for SemanticReportArgs

fn group_id() -> Option<Id>

Report the ArgGroup::id for this set of arguments

fn augment_args<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_args_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

impl Debug for SemanticReportArgs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FromArgMatches for SemanticReportArgs

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.