--- parser3/src/main/compile_tools.h 2001/02/20 18:45:52 1.1 +++ parser3/src/main/compile_tools.h 2001/05/07 14:00:49 1.39 @@ -1,92 +1,120 @@ -/* - $Id: compile_tools.h,v 1.1 2001/02/20 18:45:52 paf Exp $ +/** @file + Parser: compiler support helper functions decls. + + Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) + + Author: Alexander Petrosyan (http://design.ru/paf) + + $Id: compile_tools.h,v 1.39 2001/05/07 14:00:49 paf Exp $ */ #ifndef COMPILE_TOOLS #define COMPILE_TOOLS -#include "code.h" +#include "pa_opcode.h" #include "pa_types.h" +#include "pa_vstring.h" +#include "pa_request.h" enum lexical_state { LS_USER, + LS_COMMENT, + LS_DEF_NAME, + LS_DEF_PARAMS, + LS_DEF_LOCALS, + LS_DEF_COMMENT, + LS_DEF_SPECIAL_BODY, + LS_EXPRESSION_STRING, + LS_EXPRESSION_VAR_NAME, LS_VAR_NAME_SIMPLE, LS_VAR_NAME_CURLY, LS_VAR_ROUND, + LS_VAR_SQUARE, LS_VAR_CURLY, LS_METHOD_NAME, - LS_METHOD_ROUND, + LS_METHOD_SQUARE, LS_METHOD_CURLY, + LS_METHOD_ROUND, LS_METHOD_AFTER }; +/// compiler status struct parse_control { - /* input */ - void *pool; + //@{ + /// @name input + Pool *pool; + Request *request; + VStateless_class *cclass; #ifndef NO_CSTRING_ORIGIN - char *source; - char *file; - int line; + const char *source; + const char *file; + int line, col; #endif - /* state */ - int pending_state/*=0*/; - void *string/*=string_create(...)*/; + //@} + //@{ + /// @name state; initially + int pending_state; ///< i=0 + String *string; ///< =new(pool) String(pool) #define MAX_LEXICAL_STATES 100 - enum lexical_state ls/*=LS_USER*/; - int sp/*=0*/; + enum lexical_state ls; ///< =LS_USER; + int sp; ///< =0 enum lexical_state stack[MAX_LEXICAL_STATES]; - int brackets_nestages[MAX_LEXICAL_STATES]; + int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state + //@} - /* output: Array * */ - void *result; + /// output: filled input 'methods' and 'error' if any + char error[MAX_STRING]; }; -#ifdef __cplusplus -extern "C" { -#endif - /* New array // return empty array */ - void *N(void *apool); - - /* Assembler instruction // append ordinary instruction to result */ - void A(void **result, enum OPCODE acode); - - /* Assembler parametrized instruction // append instruction; append param */ - void AP(void **result, enum OPCODE acode, void *param); +/// New array // return empty array +inline Array/**/ *N(Pool& pool) { + return new(pool) Array/**/(pool); +} - /* Literal // returns array with - // first: OP_STRING instruction - // second op: string itself - */ - void *L(void *astring); - /* Literal String // return string value from literal array OP+string array */ - void *LS(void *literal); - - /* aPpend code array // append code_array to result */ - void P(void **result, void *code_array); - - - void push_LS(struct parse_control *pc); - void pop_LS(struct parse_control *pc); - - void *string_create(void *pool); - -#ifndef NO_STRING_ORIGIN -# define CSTRING_APPEND_PARAMS void *astring, char *piece, size_t size, char *file, uint line -# define CSTRING_APPEND(astring, piece, size, file, line) real_cstring_append(astring, piece, size, file, line) -#else -# define CSTRING_APPEND_PARAMS void *astring, char *piece, size_t size -# define CSTRING_APPEND(astring, piece, size, file, line) real_cstring_append(astring, piece, size) -#endif - void real_cstring_append(CSTRING_APPEND_PARAMS); - char *string_cstr(void *astring); +/// Assembler instruction // append ordinary instruction to ops +inline void O(Array/**/ *result, enum OPCODE code) { + Operation op; op.code=code; + *result+=op.cast; +} - void exception(void *pool, - void *atype, void *acode, - void *aproblem_source, - char *acomment); +/// Argument Eval_expression // append eval_expression to ops +inline void AE(Array/**/ *result, char *eval_expression) { + *result+=eval_expression; +} -#ifdef __cplusplus +/// aPpend 'code_array' to 'result' +inline void P(Array/**/ *result, Array *code_array) { + result->append_array(*code_array); } -#endif +/// aPpend part of 'code_array', starting from offset, to 'result' +inline void P(Array/**/ *result, Array *code_array, int offset) { + result->append_array(*code_array, offset); +} +/// aPpend 'vstring' to 'result' +void PV(Array/**/ *result, VString *vstring); +/// aPpend 'simple Code_Array' to result +void PCA(Array/**/ *result, Array/**/ *code_array); +/// aPpend 'expression Code_Array' to result +void PEA(Array/**/ *result, Array/**/ *code_array); + +/** + Value Literal // returns array with + - first: OP_VALUE instruction + - second op: string itself +*/ +Array *VL(Value *value); +/// Literal Array to(2) Value @return Value from literal Array OP+Value +Value *LA2V(Array *literal_string_array, int offset=0); +/// Literal Array to(2) String @return String value from literal Array OP+String array +inline const String *LA2S(Array *literal_string_array, int offset=0) { + if(Value *value=LA2V(literal_string_array, offset)) + return value->get_string(); + return 0; +} +void change_string_literal_to_double_literal(Array *literal_string_array); +void change_string_literal_to_write_string_literal(Array *literal_string_array); + +void push_LS(parse_control& pc, lexical_state new_state); +void pop_LS(parse_control& pc); #endif