Struct kailua_workspace::Config [] [src]

pub struct Config {
    pub start_paths: Vec<PathBuf>,
    pub package_path: Option<Vec<u8>>,
    pub package_cpath: Option<Vec<u8>>,
    pub preload: Preload,
    pub message_locale: Option<Locale>,
    // some fields omitted
}

A configuration being built.

A configuration can be either built incrementally (e.g. from command-line options), or automatically built from a configuration file. There is a set of known paths for the configuration file (currently BASE_DIR/kailua.json and BASE_DIR/.vscode/kailua.json), so the caller can simply call Config::use_default_config_paths when no configuration file is given.

Fields

Paths to the start file, if any.

The explicit value of package.path, if any.

If this value is set, assigning to package.path does not change the checker's behavior and will rather issue an warning.

The explicit value of package.cpath, if any.

If this value is set, assigning to package.cpath does not change the checker's behavior and will rather issue an warning.

Preloading options.

A preferred message locale, if any.

Methods

impl Config
[src]

Trait Implementations

impl Clone for Config
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl Debug for Config
[src]

Formats the value using the given formatter.