Struct MineOptions 

pub struct MineOptions {
    pub kind: MineKind,
    pub project: String,
    pub lake_root: Utf8PathBuf,
    pub recursive: bool,
    pub timeout: Duration,
    pub exclude: Vec<String>,
}

Runtime options for a mine run.

Fields

kind: MineKind

What to mine.

project: String

Project name stamped onto every task.

lake_root: Utf8PathBuf

Lake workspace root, also used to derive module names.

recursive: bool

Search directories recursively.

timeout: Duration

Per-file Lean timeout for error mining.

exclude: Vec<String>

Path substrings to skip during discovery.

Implementations

impl MineOptions

pub fn new(kind: MineKind, project: String, lake_root: Utf8PathBuf) -> Self

Build options for kind rooted at lake_root, with the build directory excluded and a sixty-second per-file timeout.

Trait Implementations

impl Clone for MineOptions

fn clone(&self) -> MineOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MineOptions

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

Formats the value using the given formatter.

impl Eq for MineOptions

impl PartialEq for MineOptions

fn eq(&self, other: &MineOptions) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for MineOptions