graphene/Pal/src/pal_error.h

/* Copyright (C) 2014 Stony Brook University
   This file is part of Graphene Library OS.

   Graphene Library OS 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.

   Graphene Library OS 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 program.  If not, see <http://www.gnu.org/licenses/>.  */

/*
 * pal_error.h
 *
 * This file contains definitions of PAL error codes.
 */

#ifndef PAL_ERROR_H
#define PAL_ERROR_H

#define PAL_ERROR_NOTIMPLEMENTED 1
#define PAL_ERROR_NOTDEFINED     2
#define PAL_ERROR_NOTSUPPORT     3
#define PAL_ERROR_INVAL          4
#define PAL_ERROR_TOOLONG        5
#define PAL_ERROR_DENIED         6
#define PAL_ERROR_BADHANDLE      7
#define PAL_ERROR_STREAMEXIST    8
#define PAL_ERROR_STREAMNOTEXIST 9
#define PAL_ERROR_STREAMISFILE   10
#define PAL_ERROR_STREAMISDIR    11
#define PAL_ERROR_STREAMISDEVICE 12
#define PAL_ERROR_INTERRUPTED    13
#define PAL_ERROR_OVERFLOW       14
#define PAL_ERROR_BADADDR        15
#define PAL_ERROR_NOMEM          16
#define PAL_ERROR_NOTKILLABLE    17
#define PAL_ERROR_INCONSIST      18
#define PAL_ERROR_TRYAGAIN       19
#define PAL_ERROR_ENDOFSTREAM    20
#define PAL_ERROR_NOTSERVER      21
#define PAL_ERROR_NOTCONNECTION  22
#define PAL_ERROR_ZEROSIZE       23
#define PAL_ERROR_CONNFAILED     24
#define PAL_ERROR_ADDRNOTEXIST   25

#define PAL_ERROR_BOUND 25

static const char* pal_errstring[]
#ifdef __GNUC__
    __attribute__((unused))
#endif
    = {
        /*  0. */ "Success",
        /*  1. */ "Function not implemented",
        /*  2. */ "Symbol not defined",
        /*  3. */ "Function not supported",
        /*  4. */ "Invalid argument",
        /*  5. */ "Name/Path is too long",
        /*  6. */ "Operation Denied",
        /*  7. */ "Handle Corrupted",
        /*  8. */ "Stream already exists",
        /*  9. */ "Stream does not exists",
        /* 10. */ "Stream is File",
        /* 11. */ "Stream is Directory",
        /* 12. */ "Stream is Device",
        /* 13. */ "Operation interrupted",
        /* 14. */ "Buffer overflowed",
        /* 15. */ "Invalid address",
        /* 16. */ "Not enough memory",
        /* 17. */ "Thread state unkillable",
        /* 18. */ "Inconsistent system state",
        /* 19. */ "Try again",
        /* 20. */ "End of stream",
        /* 21. */ "Not a server",
        /* 22. */ "Not a connection",
        /* 23. */ "Zero size",
        /* 24. */ "Connection failed",
        /* 25. */ "Resource address not exist",
};

static inline const char* PAL_STRERROR(int err) {
    int _e = -err;
    if (_e >= 0 && _e <= PAL_ERROR_BOUND)
        return pal_errstring[_e];
    return "Unknown error";
}

#endif