Enum polar_core::error::ValidationError

pub enum ValidationError {
    FileLoading {
        source: Source,
        msg: String,
    },
    MissingRequiredRule {
        rule_type: Rule,
    },
    InvalidRule {
        rule: Rule,
        msg: String,
    },
    InvalidRuleType {
        rule_type: Rule,
        msg: String,
    },
    UndefinedRuleCall {
        term: Term,
    },
    ResourceBlock {
        term: Term,
        msg: String,
    },
    SingletonVariable {
        term: Term,
    },
    UnregisteredClass {
        term: Term,
    },
    DuplicateResourceBlockDeclaration {
        resource: Term,
        declaration: Term,
        existing: Declaration,
        new: Declaration,
    },
}

Variants

FileLoading

Fields

source: Source

msg: String

MissingRequiredRule

Fields

rule_type: Rule

InvalidRule

Fields

rule: Rule

Rule where the error arose, tracked for lexical context.

msg: String

InvalidRuleType

Fields

rule_type: Rule

Rule type where the error arose, tracked for lexical context.

msg: String

UndefinedRuleCall

Fields

term: Term

Term where the error arose, tracked for lexical context.

ResourceBlock

Fields

term: Term

Term where the error arose, tracked for lexical context.

msg: String

SingletonVariable

Fields

term: Term

Term where the error arose, tracked for lexical context.

UnregisteredClass

Fields

term: Term

Term where the error arose, tracked for lexical context.

DuplicateResourceBlockDeclaration

Fields

resource: Term

Term where the error arose.

declaration: Term

Term where the error arose, tracked for lexical context.

existing: Declaration

new: Declaration

Implementations

impl ValidationError

pub fn with_context(self, kb: &KnowledgeBase) -> PolarError

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ValidationError

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

Deserialize this value from the given Serde deserializer.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Serialize for ValidationError

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

Serialize this value into the given Serde serializer.