prequel/error/validation_error

Types

TODO: add doc

pub type ValidationError {
  LowerBoundGreaterThanUpperBound(
    hint: Option(String),
    enclosing_definition: Span,
    cardinality: Cardinality,
  )
  DuplicateEntityName(
    hint: Option(String),
    first_entity: Entity,
    other_entity: Entity,
  )
  DuplicateRelationshipName(
    hint: Option(String),
    first_relationship: Relationship,
    other_relationship: Relationship,
  )
}

Constructors

  • LowerBoundGreaterThanUpperBound(
      hint: Option(String),
      enclosing_definition: Span,
      cardinality: Cardinality,
    )
  • DuplicateEntityName(
      hint: Option(String),
      first_entity: Entity,
      other_entity: Entity,
    )
  • DuplicateRelationshipName(
      hint: Option(String),
      first_relationship: Relationship,
      other_relationship: Relationship,
    )

Functions

pub fn to_report(error: ValidationError, file_name: String, source_code: String) -> Report
Search Document