| /* |
| * ***************************************************************************** |
| * |
| * Copyright 2018 Gavin D. Howard |
| * |
| * Permission to use, copy, modify, and/or distribute this software for any |
| * purpose with or without fee is hereby granted. |
| * |
| * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH |
| * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY |
| * AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, |
| * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM |
| * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR |
| * OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR |
| * PERFORMANCE OF THIS SOFTWARE. |
| * |
| * ***************************************************************************** |
| * |
| * Definitions for bc's parser. |
| * |
| */ |
| |
| #ifndef BC_PARSE_H |
| #define BC_PARSE_H |
| |
| #include <stdbool.h> |
| #include <stdint.h> |
| |
| #include <status.h> |
| #include <vector.h> |
| #include <lex.h> |
| #include <lang.h> |
| |
| #define BC_PARSE_STREND ((char) 255) |
| |
| #define BC_PARSE_CODE(p) \ |
| (&(((BcFunc*) bc_vec_item(&(p)->prog->fns, (p)->func))->code)) |
| |
| #define BC_PARSE_POSIX_REL (1<<0) |
| #define BC_PARSE_PRINT (1<<1) |
| #define BC_PARSE_NOCALL (1<<2) |
| #define BC_PARSE_NOREAD (1<<3) |
| #define BC_PARSE_ARRAY (1<<4) |
| |
| #define BC_PARSE_TOP_FLAG_PTR(parse) ((uint8_t*) bc_vec_top(&(parse)->flags)) |
| #define BC_PARSE_TOP_FLAG(parse) (*(BC_PARSE_TOP_FLAG_PTR(parse))) |
| |
| #define BC_PARSE_FLAG_FUNC_INNER (1<<0) |
| #define BC_PARSE_FUNC_INNER(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_FUNC_INNER) |
| |
| #define BC_PARSE_FLAG_FUNC (1<<1) |
| #define BC_PARSE_FUNC(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_FUNC) |
| |
| #define BC_PARSE_FLAG_BODY (1<<2) |
| #define BC_PARSE_BODY(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_BODY) |
| |
| #define BC_PARSE_FLAG_LOOP (1<<3) |
| #define BC_PARSE_LOOP(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_LOOP) |
| |
| #define BC_PARSE_FLAG_LOOP_INNER (1<<4) |
| #define BC_PARSE_LOOP_INNER(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_LOOP_INNER) |
| |
| #define BC_PARSE_FLAG_IF (1<<5) |
| #define BC_PARSE_IF(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_IF) |
| |
| #define BC_PARSE_FLAG_ELSE (1<<6) |
| #define BC_PARSE_ELSE(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_ELSE) |
| |
| #define BC_PARSE_FLAG_IF_END (1<<7) |
| #define BC_PARSE_IF_END(parse) \ |
| (BC_PARSE_TOP_FLAG(parse) & BC_PARSE_FLAG_IF_END) |
| |
| #define BC_PARSE_CAN_EXEC(parse) \ |
| (!(BC_PARSE_TOP_FLAG(parse) & (BC_PARSE_FLAG_FUNC_INNER | \ |
| BC_PARSE_FLAG_FUNC | \ |
| BC_PARSE_FLAG_BODY | \ |
| BC_PARSE_FLAG_LOOP | \ |
| BC_PARSE_FLAG_LOOP_INNER | \ |
| BC_PARSE_FLAG_IF | \ |
| BC_PARSE_FLAG_ELSE | \ |
| BC_PARSE_FLAG_IF_END))) |
| |
| typedef struct BcOp { |
| |
| uint8_t prec; |
| bool left; |
| |
| } BcOp; |
| |
| typedef struct BcParseNext { |
| |
| uint32_t len; |
| BcLexType tokens[3]; |
| |
| } BcParseNext; |
| |
| #define BC_PARSE_NEXT_TOKENS(...) .tokens = { __VA_ARGS__ } |
| #define BC_PARSE_NEXT(a, ...) { .len = (a), BC_PARSE_NEXT_TOKENS(__VA_ARGS__) } |
| |
| // ** Exclude start. ** |
| struct BcParse; |
| // ** Exclude end. ** |
| |
| struct BcProgram; |
| |
| // ** Exclude start. ** |
| typedef BcStatus (*BcParseInit)(struct BcParse*, struct BcProgram*, size_t); |
| typedef BcStatus (*BcParseParse)(struct BcParse*); |
| typedef BcStatus (*BcParseExpr)(struct BcParse*, uint8_t); |
| // ** Exclude end. ** |
| |
| typedef struct BcParse { |
| |
| // ** Exclude start. ** |
| BcParseParse parse; |
| // ** Exclude end. ** |
| |
| BcLex l; |
| |
| BcVec flags; |
| |
| BcVec exits; |
| BcVec conds; |
| |
| BcVec ops; |
| |
| struct BcProgram *prog; |
| BcVec *code; |
| size_t func; |
| |
| size_t nbraces; |
| bool auto_part; |
| |
| } BcParse; |
| |
| // ** Exclude start. ** |
| |
| BcStatus bc_parse_create(BcParse *p, struct BcProgram *prog, size_t func, |
| BcParseParse parse, BcLexNext next); |
| void bc_parse_free(BcParse *p); |
| BcStatus bc_parse_reset(BcParse *p, BcStatus s); |
| BcStatus bc_parse_pushName(BcParse* p, char *name); |
| BcStatus bc_parse_pushIndex(BcParse* p, size_t idx); |
| BcStatus bc_parse_number(BcParse *p, BcInst *prev, size_t* nexs); |
| void bc_parse_file(BcParse *p, const char *file); |
| |
| #ifdef BC_ENABLED |
| extern const bool bc_parse_exprs[]; |
| extern const BcOp bc_parse_ops[]; |
| extern const BcParseNext bc_parse_next_expr; |
| extern const BcParseNext bc_parse_next_param; |
| extern const BcParseNext bc_parse_next_print; |
| extern const BcParseNext bc_parse_next_rel; |
| extern const BcParseNext bc_parse_next_elem; |
| extern const BcParseNext bc_parse_next_for; |
| extern const BcParseNext bc_parse_next_read; |
| #endif // BC_ENABLED |
| |
| // ** Exclude end. ** |
| |
| #endif // BC_PARSE_H |