Struct BisectPredicates 

pub struct BisectPredicates {
    pub node_count_min: Option<u64>,
    pub node_count_max: Option<u64>,
    pub nodes_exist: Vec<String>,
    pub nodes_missing: Vec<String>,
    pub nodes_alive: Vec<String>,
    pub rule_violations_max: Option<u64>,
}

The set of predicates the user wrote in .cgx/bisect.toml.

Empty fields are treated as “no constraint”. All present fields must hold for a commit to be considered “good”.

Fields

node_count_min: Option<u64>

Graph must have at least this many nodes.

node_count_max: Option<u64>

Graph must have at most this many nodes.

nodes_exist: Vec<String>

Every node ID in this list must exist.

nodes_missing: Vec<String>

No node ID in this list may exist.

nodes_alive: Vec<String>

Every node ID in this list must exist AND not be flagged as a dead-code candidate.

rule_violations_max: Option<u64>

Total rule violations (per cgx rules check) must be ≤ this number.

Implementations

impl BisectPredicates

pub fn load(repo_path: &Path, custom: Option<&Path>) -> Result<Self>

Read predicates from .cgx/bisect.toml (or the supplied custom path).

pub fn default_path(repo_path: &Path) -> PathBuf

Path the bisect script writes to by default.

pub fn evaluate(&self, db: &GraphDb) -> Result<BisectReport>

Evaluate every populated predicate against the live graph.

Trait Implementations

impl Clone for BisectPredicates

fn clone(&self) -> BisectPredicates

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BisectPredicates

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

Formats the value using the given formatter.

impl Default for BisectPredicates

fn default() -> BisectPredicates

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for BisectPredicates

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for BisectPredicates

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.