Struct FieldEnumRule

Source

pub struct FieldEnumRule;

Expand description

Check that field values are members of the configured enumeration.

Handles project-specific fields declared under schema.enums / schema.overrides.enums AND the two built-in scalar fields (kind, status) which are implicitly constrained by the global kinds.allowed / statuses.allowed. An override enum on kind or status supersedes the implicit backstop — the override is always a subset of the global (Config::validate enforces that), so the stricter rule wins without drift.

FieldEnumRule

Struct FieldEnumRule Copy item path

Trait Implementations§

impl Rule for FieldEnumRule

fn id(&self) -> &str

fn severity(&self) -> Severity

fn check(&self, graph: &Graph, config: &Config) -> Vec<Violation>

Auto Trait Implementations§

impl Freeze for FieldEnumRule

impl RefUnwindSafe for FieldEnumRule

impl Send for FieldEnumRule

impl Sync for FieldEnumRule

impl Unpin for FieldEnumRule

impl UnsafeUnpin for FieldEnumRule

impl UnwindSafe for FieldEnumRule

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> IntoEither for T

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

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

impl<T> Pointable for T

const ALIGN: usize

type Init = T

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

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

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

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

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

type Error = Infallible

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

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

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

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

Struct FieldEnumRule

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

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

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

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

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

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

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