--- parser3/src/main/compile_tools.h 2001/02/20 19:21:13 1.2 +++ parser3/src/main/compile_tools.h 2004/02/11 15:33:15 1.72 @@ -1,92 +1,201 @@ -/* - $Id: compile_tools.h,v 1.2 2001/02/20 19:21:13 paf Exp $ +/** @file + Parser: compiler support helper functions decls. + + Copyright (c) 2001-2004 ArtLebedev Group (http://www.artlebedev.com) + Author: Alexandr Petrosian (http://paf.design.ru) */ #ifndef COMPILE_TOOLS #define COMPILE_TOOLS -#include "code.h" +static const char * const IDENT_COMPILE_TOOLS_H="$Date: 2004/02/11 15:33:15 $"; + +#include "pa_opcode.h" #include "pa_types.h" +#include "pa_vstring.h" +#include "pa_request.h" + +/// used to track source column number +#define TAB_SIZE 8 enum lexical_state { - LS_USER, - LS_VAR_NAME_SIMPLE, + LS_USER, LS_NAME_SQUARE_PART, + LS_USER_COMMENT, + LS_DEF_NAME, + LS_DEF_PARAMS, + LS_DEF_LOCALS, + LS_DEF_COMMENT, + LS_DEF_SPECIAL_BODY, + LS_EXPRESSION_STRING_QUOTED, + LS_EXPRESSION_STRING_APOSTROFED, + LS_EXPRESSION_VAR_NAME_WITH_COLON, LS_EXPRESSION_VAR_NAME_WITHOUT_COLON, + LS_EXPRESSION_COMMENT, + LS_VAR_NAME_SIMPLE_WITH_COLON, LS_VAR_NAME_SIMPLE_WITHOUT_COLON, 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 }; -struct parse_control { - /* input */ - void *pool; -#ifndef NO_CSTRING_ORIGIN - char *source; - char *file; - int line; -#endif - /* state */ - int pending_state/*=0*/; - void *string/*=string_create(...)*/; + +struct Pos { + uint line; + uint col; + //Pos(uint aline, uint acol): line(aline), col(acol) {} + Pos(): line(0), col(0) {} + + void clear() { line=col=0; } + operator bool() { return col!=0; } +}; + +/// compiler status +class Parse_control { + const String* main_alias; + uint last_line_end_col; +public: + const String& alias_method(const String& name); + //@{ + /// @name input + Request& request; + VStateless_class* cclass; + const char* source; + uint file_no; + Pos pos; + //@} + //@{ + /// @name state; initially + bool trim_bof; + int pending_state; ///< i=0 + String::Body string; ///< lexical string accumulator + Pos string_start; #define MAX_LEXICAL_STATES 100 - enum lexical_state ls/*=LS_USER*/; - int sp/*=0*/; - enum lexical_state stack[MAX_LEXICAL_STATES]; - int brackets_nestages[MAX_LEXICAL_STATES]; + enum lexical_state ls; ///< =LS_USER; + int ls_sp; ///< =0 + enum lexical_state ls_stack[MAX_LEXICAL_STATES]; + int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state + + bool in_call_value; + //@} - /* output: Array * */ - void *result; + /// output: filled input 'methods' and 'error' if any + char error[MAX_STRING]; + + Parse_control(Request& arequest, + VStateless_class* aclass, + const char* asource, const String* amain_alias, + uint afile_no): + main_alias(amain_alias), + last_line_end_col(0), + + request(arequest), // input + + // we were told the class to compile to? + cclass(aclass), // until changed with @CLASS would consider operators loading + source(asource), + file_no(afile_no), + + // initialize state + trim_bof(true), + pending_state(0), + ls(LS_USER), + ls_sp(0), + in_call_value(false) {} + + void pos_next_line() { + pos.line++; + last_line_end_col=pos.col; + pos.col=0; + } + void pos_next_c(char c) { + if(c=='\t') + pos.col=(pos.col+TAB_SIZE)&~(TAB_SIZE-1); + else + pos.col++; + } + /// not precise in case of \t in the middle of the text + void pos_prev_c() { + if(pos.col==0) { + --pos.line; pos.col=last_line_end_col; + } else + --pos.col; + } + void ungetc() { + source--; + pos_prev_c(); + } }; -#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); +/// New array // return empty array +inline ArrayOperation* N() { + return new ArrayOperation; +} - /* Assembler arGument // append instruction; append param */ - void G(void **result, void *param); +/// Assembler instruction // append ordinary instruction to ops +inline void O(ArrayOperation& result, OPCODE code) { + result+=Operation(code); +} - /* 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); +/// aPpend 'code_array' to 'result' +inline void P(ArrayOperation& result, ArrayOperation& code_array) { + result.append(code_array); +} +/// aPpend part of 'code_array', starting from offset, to 'result' +inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset) { + result.append(code_array, offset); +} + +/// append cOde Array +inline void OA(ArrayOperation& result, OPCODE code, ArrayOperation* code_array) { + result+=Operation(code); // append OP_CODE + result+=Operation(code_array); // append 'code_array' +} - void exception(void *pool, - void *atype, void *acode, - void *aproblem_source, - char *acomment); +/** + Value Literal // returns array with + - first op: OP_VALUE instruction + - second op: origin (debug information) + - third op: string itself +*/ +inline ArrayOperation* VL(Value* value, uint file_no, uint line, uint col) { + // empty ops array + ArrayOperation& result=*N(); + + // append 'value' to 'result' + result+=Operation(OP_VALUE); + result+=Operation(file_no, line, col); // append origin + result+=Operation(value); // append 'value' -#ifdef __cplusplus + return &result; } -#endif + +/// Literal Array to(2) Value @return Value from literal Array OP+origin+Value +Value* LA2V(ArrayOperation& literal_string_array, int offset=0); +/// Literal Array to(2) String @return String value from literal Array OP+origin+String array +inline const String* LA2S(ArrayOperation& literal_string_array, int offset=0) { + if(Value* value=LA2V(literal_string_array, offset)) + return value->get_string(); + return 0; +} + +inline void change_string_literal_to_write_string_literal(ArrayOperation& literal_string_array) { + literal_string_array.put(0, OP_STRING__WRITE); +} + + +void change_string_literal_to_double_literal(ArrayOperation& literal_string_array); + +void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value); + +void changetail_or_append(ArrayOperation& opcodes, + OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound); + + +void push_LS(Parse_control& pc, lexical_state new_state); +void pop_LS(Parse_control& pc); #endif