text/plain
•
8.11 KB
•
268 lines
/*
| nujel.h
|
| This file contains the public interface to the Nujel runtime.
| While it is still not stable, it shouldn't change as often anymore.
*/
#ifndef NUJEL_LIB_NUJEL_PUBLIC
#define NUJEL_LIB_NUJEL_PUBLIC
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#include <stdio.h>
#if defined(__WATCOMC__) || defined(_MSC_VER)
#define NORETURN
#define likely(x) x
#define unlikely(x) x
#else
#define NORETURN __attribute__((noreturn))
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)
#endif
#define MAX(x, y) (((x) > (y)) ? (x) : (y))
#define MIN(x, y) (((x) < (y)) ? (x) : (y))
#define countof(x) (sizeof(x)/sizeof(*x))
#define typeswitch(v) switch(v ? v->type : ltNoAlloc)
/*
| Now for some type/struct definitions
*/
typedef unsigned int uint;
typedef uint64_t u64;
typedef uint32_t u32;
typedef uint16_t u16;
typedef uint8_t u8;
typedef int64_t i64;
typedef int32_t i32;
typedef int16_t i16;
typedef int8_t i8;
/*
| And some Windows workarounds
*/
#ifdef _MSC_VER
typedef int64_t ssize_t;
#endif
typedef enum {
ltNoAlloc = 0,
ltSymbol,
ltKeyword,
ltBool,
ltInt,
ltFloat,
ltPair,
ltString,
ltArray,
ltTree,
ltLambda,
ltMacro,
ltObject,
ltNativeFunc,
ltBytecodeOp,
ltBuffer,
ltBufferView,
ltBytecodeArr,
ltFileHandle,
ltThread,
ltComment
} lType;
typedef struct lBuffer lBuffer;
typedef struct lBufferView lBufferView;
typedef struct lArray lArray;
typedef struct lClosure lClosure;
typedef struct lThread lThread;
typedef struct lNFunc lNFunc;
typedef struct lSymbol lSymbol;
typedef struct lTree lTree;
typedef struct lVec lVec;
typedef struct lVal lVal;
typedef struct lBytecodeArray lBytecodeArray;
typedef uint8_t lBytecodeOp;
typedef lBuffer lString;
typedef struct {
lVal *car,*cdr;
} lPair;
struct lVal {
u32 type;
union {
bool vBool;
lPair vList;
i64 vInt;
double vFloat;
lBytecodeOp vBytecodeOp;
FILE * vFileHandle;
lBytecodeArray *vBytecodeArr;
lArray * vArray;
lTree * vTree;
lString * vString;
const lSymbol * vSymbol;
lClosure * vClosure;
lNFunc * vNFunc;
void * vPointer;
lVal * nextFree;
lBuffer * vBuffer;
lBufferView * vBufferView;
};
};
/*
| Some pretty core Nujel procedures
*/
void lInit ();
lClosure *lNewRoot ();
lVal *lApply (lClosure *c, lVal *args, lVal *fun);
lClosure *lLoad (lClosure *c, const char *expr);
int lListLength (lVal *v);
const char *lStringData (const lString *v);
const void *lBufferData (lBuffer *v);
void * lBufferDataMutable(lBuffer *v);
size_t lBufferLength (const lBuffer *v);
static inline size_t lStringLength(const lString *v){return lBufferLength(v);}
const void * lBufferViewData(lBufferView *v);
void * lBufferViewDataMutable(lBufferView *v);
size_t lBufferViewLength(const lBufferView *v);
lVal *lCons(lVal *car, lVal *cdr);
static inline lVal *lCar(lVal *v){
return (v != NULL) && (v->type == ltPair) ? v->vList.car : NULL;
}
static inline lVal *lCdr(lVal *v){
return (v != NULL) && (v->type == ltPair) ? v->vList.cdr : NULL;
}
static inline lVal *lCaar (lVal *v){return lCar(lCar(v));}
static inline lVal *lCadr (lVal *v){return lCar(lCdr(v));}
static inline lVal *lCdar (lVal *v){return lCdr(lCar(v));}
static inline lVal *lCddr (lVal *v){return lCdr(lCdr(v));}
static inline lVal *lCaddr (lVal *v){return lCar(lCdr(lCdr(v)));}
static inline lVal *lCadddr(lVal *v){return lCar(lCdr(lCdr(lCdr(v))));}
void lExceptionThrowRaw (lVal *v) NORETURN;
void lExceptionThrowValClo (const char *symbol, const char *error, lVal *v, lClosure *c) NORETURN;
/*
| Reader/Printer
*/
lVal *lRead(lClosure *c, const char *str);
char *spf(char *buf, char *bufEnd, const char *format, ...);
/*
| Type related procedores
*/
i64 castToInt (const lVal *v, i64 fallback);
bool castToBool (const lVal *v);
const char * castToString(const lVal *v, const char *fallback);
NORETURN void throwTypeError (lClosure *c, lVal *v, lType T);
NORETURN void throwArityError (lClosure *c, lVal *v, int arity);
i64 requireInt (lClosure *c, lVal *v);
i64 requireNaturalInt (lClosure *c, lVal *v);
double requireFloat (lClosure *c, lVal *v);
FILE *requireFileHandle (lClosure *c, lVal *v);
lArray * requireArray (lClosure *c, lVal *v);
lArray * requireMutableArray (lClosure *c, lVal *v);
const lSymbol * requireSymbol (lClosure *c, lVal *v);
const lSymbol * requireKeyword (lClosure *c, lVal *v);
const lSymbol * requireSymbolic (lClosure *c, lVal *v);
const lSymbol * optionalSymbolic (lClosure *c, lVal *v, const lSymbol *fallback);
lString * requireString (lClosure *c, lVal *v);
lTree * requireTree (lClosure *c, lVal *v);
lTree * requireMutableTree (lClosure *c, lVal *v);
lVal *requireCallable (lClosure *c, lVal *v);
lBuffer *requireBuffer (lClosure *c, lVal *v);
lBuffer *requireMutableBuffer (lClosure *c, lVal *v);
lBufferView *requireBufferView (lClosure *c, lVal *v);
lBufferView *requireMutableBufferView(lClosure *c, lVal *v);
/*
| Closure related procedores
*/
lVal *lDefineAliased (lClosure *c, lVal *lNF, const char *sym);
lVal *lGetClosureSym (lClosure *c, const lSymbol *s);
void lDefineClosureSym (lClosure *c, const lSymbol *s, lVal *v);
bool lSetClosureSym (lClosure *c, const lSymbol *s, lVal *v);
void lDefineVal (lClosure *c, const char *str, lVal *v);
lVal *lResolveVal (lClosure *c, const char *str);
lVal *lAddNativeFunc (lClosure *c, const char *sym, const char *args, const char *doc, lVal *(*func)(lClosure *,lVal *));
lVal *lAddNativeFuncFold (lClosure *c, const char *sym, const char *args, const char *doc, lVal *(*func)(lClosure *,lVal *));
lVal *lAddNativeFuncPure (lClosure *c, const char *sym, const char *args, const char *doc, lVal *(*func)(lClosure *,lVal *));
lVal *lAddNativeFuncPureFold (lClosure *c, const char *sym, const char *args, const char *doc, lVal *(*func)(lClosure *,lVal *));
/*
| Tree related procedures
*/
lTree *lTreeNew (const lSymbol *s, lVal *v);
lTree *lTreeDup (const lTree *t);
lVal *lTreeGet (const lTree *t, const lSymbol *s, bool *found);
bool lTreeHas (const lTree *t, const lSymbol *s, lVal **value);
void lTreeSet ( lTree *t, const lSymbol *s, lVal *v, bool *found);
lTree *lTreeInsert ( lTree *t, const lSymbol *s, lVal *v);
/*
| lVal related procedures
*/
lVal *lValSymS (const lSymbol *s);
lVal *lValKeywordS (const lSymbol *s);
lVal *lValSym (const char *s);
lVal *lValKeyword (const char *s);
lVal *lValBool (bool v);
lVal *lValInt (i64 v);
lVal *lValFloat (double v);
lVal *lValTree (lTree *v);
lVal *lValObject (lClosure *v);
lVal *lValLambda (lClosure *v);
lVal *lValString (const char *s);
lVal *lValStringLen (const char *s, int len);
lVal *lValStringNoCopy (const char *s, int len);
lVal *lValBufferNoCopy (void *s, size_t len, bool immutable);
lVal *lValFileHandle (FILE *fh);
extern lSymbol *symNull;
static inline const lSymbol *lGetSymbol(const lVal *v){
return ((v == NULL) || (v->type != ltSymbol))
? symNull
: v->vSymbol;
}
/*
| Allocator related procedures
*/
lVal * lValAlloc (lType t);
lArray * lArrayAlloc (size_t len);
lBuffer * lBufferAlloc (size_t length, bool immutable);
lString * lStringNew (const char *str, uint len);
lString * lStringDup (const lString *s);
/*
| Symbolic routines
*/
lSymbol *lSymS (const char *s);
lSymbol *lSymSM (const char *s);
lSymbol *lSymSL (const char *s, uint len);
#endif
