Predicator.Errors.EvaluationError (predicator v4.0.0)

Copy Markdown View Source

Error struct for general evaluation errors in Predicator evaluation.

This error occurs for runtime evaluation problems like division by zero, function call errors, or insufficient operands.

Fields

  • message - Human-readable error description
  • reason - Structured reason code for the error
  • operation - The operation that failed (optional)
  • position - {line, column} of the source token that produced the failing instruction, when a position table was available (optional)
  • span - the source text the failing instruction's AST node covers, when the program was compiled with spans (optional). position names the token to blame; span is what to underline.

Examples

%Predicator.Errors.EvaluationError{
  message: "Division by zero",
  reason: "division_by_zero",
  operation: :divide
}

%Predicator.Errors.EvaluationError{
  message: "Function len() expects 1 arguments, got 0",
  reason: "insufficient_arguments",
  operation: :function_call
}

Summary

Types

t()

Functions

insufficient_operands(operation, got, expected)

Creates an evaluation error for insufficient operands.

new(message, reason, operation \\ nil)

Creates an evaluation error.

Types

t()

@type t() :: %Predicator.Errors.EvaluationError{
  message: binary(),
  operation: atom() | nil,
  position: Predicator.Types.position() | nil,
  reason: binary(),
  span: Predicator.Types.span() | nil
}

Functions

insufficient_operands(operation, got, expected)

@spec insufficient_operands(atom(), integer(), integer()) :: t()

Creates an evaluation error for insufficient operands.

new(message, reason, operation \\ nil)

@spec new(binary(), binary(), atom() | nil) :: t()

Creates an evaluation error.