errors.c

Go to the documentation of this file.

/* -*- C -*-
 * Serene programming language
 * Copyright (C) 2019-2026 Sameer Rahmani <[email protected]>
 *
 * This library is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with this library.  If not, see <https://www.gnu.org/licenses/>.
 */
 
#include "serene/rt/errors.h"
 
#if defined(__unix__) || defined(__APPLE__)
#  include "errno.h"
#endif
#include "serene/rt/context.h"
#include "serene/utils.h"
 
#ifdef SRN_WITH_SERENE
#  include "serene/rt/core.h"
#endif
 
srn_error_t *srn_errors_make(const srn_context_t *ctx, srn_error_tag_t tag, const char *msg) {
  srn_error_t *err = ALLOC(ctx, srn_error_t);
  PANIC_IF_NULL(err);
  err->tag = tag;
  err->msg = (char *)msg;
  return err;
}
 
void *srn_errors_fail(
  const srn_context_t *ctx, size_t size, size_t alignment, srn_error_tag_t tag, const char *msg
) {
  // The ERROR_HEADER convention guarantees `srn_error_t *maybe_error` is the
  // first member of any fallible T, so offset 0 of the value is that pointer.
  // Allocate the value and set it to a fresh error; the caller checks it with
  // HAS_ERROR and never reads the other fields of an errored value.
  void *value = srn_allocate(ctx, size, alignment);
  PANIC_IF_NULL(value);
  *(srn_error_t **)value = srn_errors_make(ctx, tag, msg);
  return value;
}
 
#if defined(__unix__) || defined(__APPLE__)
srn_error_tag_t srn_errno_to_tag(int errno_value, srn_error_tag_t default_tag) {
  switch (errno_value) {
  case ECONNREFUSED:
    return CONNECTION_REFUSED;
  case ECONNRESET:
    return CONNECTION_RESET;
  case ECONNABORTED:
    return CONNECTION_ABORTED;
  case EPIPE:
    return BROKEN_PIPE;
  case EBADF:
    return BAD_DESCRIPTOR;
  case ETIMEDOUT:
    return TIMED_OUT;
  case ECANCELED:
    return CANCELED;
  case ENOTCONN:
    return NOT_CONNECTED;
  case EADDRINUSE:
    return ADDRESS_IN_USE;
  case EHOSTUNREACH:
    return HOST_UNREACHABLE;
  case ENETUNREACH:
    return NETWORK_UNREACHABLE;
  case EMSGSIZE:
    return MESSAGE_TOO_LONG;
  case EMFILE:
  case ENFILE:
    return TOO_MANY_OPEN_FILES;
  case EACCES:
  case EPERM:
    return PERMISSION_DENIED;
  case ENOMEM:
  case ENOBUFS:
    return OUT_OF_MEMORY;
  case ENOENT:
    return NOT_FOUND;
  case EEXIST:
    return ALREADY_EXISTS;
  case EISDIR:
    return IS_A_DIRECTORY;
  case ENOTDIR:
    return NOT_A_DIRECTORY;
  case ENOSPC:
    return NO_SPACE;
  default:
    return default_tag;
  }
}
#else
#  error "srn_errno_to_tag has no errno mapping for this target; provide a native mapping."
#endif
 
#ifdef SRN_WITH_SERENE
srn_value_t *srn_errors_make_error(
  srn_context_t *ctx, srn_metadata_t *metadata, srn_error_tag_t tag, const char *msg
) {
  PANIC_IF_NULL(metadata);
  srn_error_t *err = srn_errors_make(ctx, tag, msg);
  return srn_value_make(ctx, VError, metadata, (void *)err);
}
 
srn_value_t *
srn_errors_err_to_value(srn_context_t *ctx, srn_metadata_t *metadata, srn_error_t *err) {
  PANIC_IF_NULL(err);
  PANIC_IF_NULL(ctx);
  return srn_value_make(ctx, VError, metadata, (void *)err);
}
#endif