Skip to main content

RuleSpec

Struct RuleSpec 

Source
pub struct RuleSpec {
    pub id: String,
    pub kind: String,
    pub level: Level,
    pub paths: Option<PathsSpec>,
    pub message: Option<String>,
    pub policy_url: Option<String>,
    pub when: Option<String>,
    pub fix: Option<FixSpec>,
    pub git_tracked_only: bool,
    pub respect_gitignore: Option<bool>,
    pub scope_filter: Option<ScopeFilterSpec>,
    pub extra: Mapping,
}
Expand description

YAML-level description of a rule before it is instantiated into a Box<dyn Rule> by a RuleBuilder.

Fields§

§id: String§kind: String§level: Level§paths: Option<PathsSpec>§message: Option<String>§policy_url: Option<String>§when: Option<String>§fix: Option<FixSpec>

Optional mechanical-fix strategy. Rules whose builders understand the chosen op attach a Fixer to the built rule; rules whose kind is incompatible with the op return a config error at build time.

§git_tracked_only: bool

Restrict the rule to files / directories tracked in git’s index. When true, the rule’s paths-matched entries are intersected with the set of git-tracked files; entries that exist in the walked tree but aren’t in git ls-files output are skipped. Only meaningful for rule kinds that opt in (currently the existence family — file_exists, file_absent, dir_exists, dir_absent); rule kinds that don’t support it surface a clean config error when this is true so silent mis-configuration doesn’t slip through.

Default false. Has no effect outside a git repo.

§respect_gitignore: Option<bool>

Per-rule override for the workspace-level respect_gitignore: setting. When Some(false), this rule treats .gitignore-listed files as if they were untracked-but-on-disk: the rule sees them. The canonical use case is the bazel-style “tracked AND gitignored” pattern (a file like .bazelversion ships a default upstream and contributors override it locally without committing the override) — the workspace walker honours the gitignore, so file_exists reports “no match” against a file that’s both on disk AND in git ls-files. This per-rule knob lets that single rule see the file without flipping the workspace-wide setting.

Currently honoured by file_exists for literal-path patterns (the common case the pitfall surfaced). Other rule kinds + glob patterns fall through to the workspace setting; future versions will broaden coverage.

Default None (inherit the workspace respect_gitignore). See docs/development/CONFIG-AUTHORING.md pitfall #18.

§scope_filter: Option<ScopeFilterSpec>

Per-file ancestor-manifest gate. When set, the rule only fires on files that have at least one ancestor directory (including the file’s own directory) containing a file matching the configured has_ancestor name(s). Composes AND with paths: and git_tracked_only:.

Only meaningful for per-file rules; cross-file rule builders MUST reject this field at build time (see the design doc for the cross-file alternative via for_each_dir + when_iter:).

Default None (no scope filter; existing rules preserve their pre-v0.9.6 behaviour).

§extra: Mapping

The entire YAML mapping, retained so each rule builder can deserialize its kind-specific fields without every option being represented here.

Implementations§

Source§

impl RuleSpec

Source

pub fn deserialize_options<T>(&self) -> Result<T>

Deserialize the full spec (common + kind-specific fields) into a typed options struct. Common fields are reconstructed into the mapping so the target struct can #[derive(Deserialize)] against the whole shape when convenient.

Source

pub fn parse_scope_filter(&self) -> Result<Option<ScopeFilter>>

Parse and validate this spec’s optional scope_filter: field into a built ScopeFilter. Returns Ok(None) when the spec has no scope_filter set (the common case).

Per-file rule builders typically don’t call this directly since v0.9.10 — they use Scope::from_spec instead, which bundles paths: + scope_filter: parsing into one call. The Scope owns the parsed filter and consults it inside Scope::matches, so the engine doesn’t need a separate per-rule accessor any more. Cross-file rules MUST NOT call this — they call reject_scope_filter_on_cross_file instead so a misconfigured scope_filter: on a cross- file rule surfaces as a clear build-time error rather than a silently-ignored field.

Trait Implementations§

Source§

impl Clone for RuleSpec

Source§

fn clone(&self) -> RuleSpec

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for RuleSpec

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for RuleSpec

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,