Predicator.Errors.EvaluationError (predicator v3.8.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)

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()
}

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.