Enum oso::errors::polar::ValidationError

pub enum ValidationError {
    FileLoading {
        filename: String,
        contents: String,
        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

filename: String

contents: String

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.

The policy contains a call to an undefined rule. This is the validation analogue of RuntimeError::QueryForUndefinedRule.

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

Trait Implementations

impl AsRef<str> for ValidationError

fn as_ref(&self) -> &str

Converts this type into a shared reference of the (usually inferred) input type.

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<(), Error>

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl From<ValidationError> for PolarError

fn from(err: ValidationError) -> PolarError

Converts to this type from the input type.

impl Serialize for ValidationError

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

Serialize this value into the given Serde serializer.