Annotation of parser3/src/main/compile_tools.h, revision 1.72

1.32      paf         1: /** @file
1.33      paf         2:        Parser: compiler support helper functions decls.
                      3: 
1.72    ! paf         4:        Copyright (c) 2001-2004 ArtLebedev Group (http://www.artlebedev.com)
1.58      paf         5:        Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
1.1       paf         6: */
                      7: 
                      8: #ifndef COMPILE_TOOLS
                      9: #define COMPILE_TOOLS
1.62      paf        10: 
1.72    ! paf        11: static const char * const IDENT_COMPILE_TOOLS_H="$Date: 2003/11/20 16:34:26 $";
1.1       paf        12: 
1.39      paf        13: #include "pa_opcode.h"
1.1       paf        14: #include "pa_types.h"
1.10      paf        15: #include "pa_vstring.h"
1.14      paf        16: #include "pa_request.h"
1.1       paf        17: 
1.68      paf        18: /// used to track source column number
                     19: #define TAB_SIZE 8
                     20: 
1.1       paf        21: enum lexical_state {
1.48      parser     22:        LS_USER, LS_NAME_SQUARE_PART,
1.65      paf        23:        LS_USER_COMMENT,
1.7       paf        24:        LS_DEF_NAME,
                     25:        LS_DEF_PARAMS,
                     26:        LS_DEF_LOCALS,
                     27:        LS_DEF_COMMENT,
1.18      paf        28:        LS_DEF_SPECIAL_BODY,
1.42      parser     29:        LS_EXPRESSION_STRING_QUOTED,
                     30:        LS_EXPRESSION_STRING_APOSTROFED,
1.48      parser     31:        LS_EXPRESSION_VAR_NAME_WITH_COLON, LS_EXPRESSION_VAR_NAME_WITHOUT_COLON,
1.65      paf        32:        LS_EXPRESSION_COMMENT,
1.48      parser     33:        LS_VAR_NAME_SIMPLE_WITH_COLON, LS_VAR_NAME_SIMPLE_WITHOUT_COLON,
1.1       paf        34:        LS_VAR_NAME_CURLY,
1.22      paf        35:        LS_VAR_ROUND,
1.18      paf        36:        LS_VAR_SQUARE,
1.1       paf        37:        LS_VAR_CURLY,
                     38:        LS_METHOD_NAME,
1.18      paf        39:        LS_METHOD_SQUARE,
1.1       paf        40:        LS_METHOD_CURLY,
1.22      paf        41:        LS_METHOD_ROUND,
1.1       paf        42:        LS_METHOD_AFTER
                     43: };
1.68      paf        44: 
                     45: struct Pos {
                     46:        uint line;
                     47:        uint col;
                     48:        //Pos(uint aline, uint acol): line(aline), col(acol) {}
                     49:        Pos(): line(0), col(0) {}
                     50: 
                     51:        void clear() { line=col=0; }
                     52:        operator bool() { return col!=0; }
                     53: };
                     54: 
1.38      paf        55: /// compiler status
1.68      paf        56: class Parse_control {
                     57:        const String* main_alias;
                     58:        uint last_line_end_col;
                     59: public:
                     60:        const String& alias_method(const String& name);
1.38      paf        61:        //@{
                     62:        /// @name input
1.68      paf        63:        Request& request;
                     64:        VStateless_class* cclass;
                     65:        const char* source;
                     66:        uint file_no;
                     67:        Pos pos;
1.38      paf        68:        //@}
                     69:        //@{
                     70:        /// @name state; initially
1.45      parser     71:        bool trim_bof;
1.38      paf        72:        int pending_state; ///< i=0
1.69      paf        73:        String::Body string; ///< lexical string accumulator
1.68      paf        74:        Pos string_start;
1.1       paf        75:        
                     76: #define MAX_LEXICAL_STATES 100
1.38      paf        77:        enum lexical_state ls; ///< =LS_USER;
1.54      paf        78:        int ls_sp; ///< =0
                     79:        enum lexical_state ls_stack[MAX_LEXICAL_STATES];
1.38      paf        80:        int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state
1.46      parser     81: 
1.56      paf        82:        bool in_call_value;
1.38      paf        83:        //@}
1.1       paf        84:        
1.36      paf        85:        /// output: filled input 'methods' and 'error' if any
1.5       paf        86:        char error[MAX_STRING];
1.68      paf        87: 
                     88:        Parse_control(Request& arequest, 
                     89:                VStateless_class* aclass,
                     90:                const char* asource, const String* amain_alias, 
                     91:                uint afile_no):
1.70      paf        92:                main_alias(amain_alias),
                     93:                last_line_end_col(0),
                     94: 
1.68      paf        95:                request(arequest), // input 
                     96: 
                     97:                // we were told the class to compile to?
                     98:                cclass(aclass), // until changed with @CLASS would consider operators loading
1.70      paf        99:                source(asource), 
1.68      paf       100:                file_no(afile_no),
                    101: 
                    102:                // initialize state
                    103:                trim_bof(true),
                    104:                pending_state(0),
                    105:                ls(LS_USER),
                    106:                ls_sp(0),
                    107:                in_call_value(false) {}
                    108: 
                    109:        void pos_next_line() {
                    110:                pos.line++;
                    111:                last_line_end_col=pos.col;
                    112:                pos.col=0;
                    113:        }
                    114:        void pos_next_c(char c) {
                    115:                if(c=='\t')
                    116:                        pos.col=(pos.col+TAB_SIZE)&~(TAB_SIZE-1);
                    117:                else
                    118:                        pos.col++;
                    119:        }
                    120:        /// not precise in case of \t in the middle of the text
                    121:        void pos_prev_c() {
                    122:                if(pos.col==0) {
                    123:                        --pos.line;  pos.col=last_line_end_col;
                    124:                } else
                    125:                        --pos.col;
                    126:        }
                    127:        void ungetc() {
                    128:                source--;
                    129:                pos_prev_c();
                    130:        }
1.1       paf       131: };
                    132: 
1.36      paf       133: /// New array // return empty array
1.68      paf       134: inline ArrayOperation* N() {
                    135:        return new ArrayOperation;
1.3       paf       136: }
                    137: 
1.36      paf       138: /// Assembler instruction // append ordinary instruction to ops
1.68      paf       139: inline void O(ArrayOperation& result, OPCODE code) {
                    140:        result+=Operation(code);
1.3       paf       141: }
                    142: 
1.36      paf       143: /// aPpend 'code_array' to 'result'
1.68      paf       144: inline void P(ArrayOperation& result, ArrayOperation& code_array) {
                    145:        result.append(code_array);
1.11      paf       146: }
1.36      paf       147: /// aPpend part of 'code_array', starting from offset, to 'result'
1.68      paf       148: inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset) {
                    149:        result.append(code_array, offset);
1.3       paf       150: }
1.53      paf       151: 
1.68      paf       152: /// append cOde Array
                    153: inline void OA(ArrayOperation& result, OPCODE code, ArrayOperation* code_array) {
                    154:        result+=Operation(code); // append OP_CODE
                    155:        result+=Operation(code_array); // append 'code_array'
1.61      paf       156: }
1.1       paf       157: 
1.36      paf       158: /**
                    159:        Value Literal // returns array with 
1.68      paf       160:        - first op: OP_VALUE instruction
                    161:        - second op: origin (debug information)
                    162:        - third op: string itself
1.36      paf       163: */
1.68      paf       164: inline ArrayOperation* VL(Value* value, uint file_no, uint line, uint col) {
1.61      paf       165:        // empty ops array
1.68      paf       166:        ArrayOperation& result=*N();
1.61      paf       167: 
                    168:        // append 'value' to 'result'
1.68      paf       169:        result+=Operation(OP_VALUE);
                    170:        result+=Operation(file_no, line, col); // append origin
                    171:        result+=Operation(value); // append 'value'
                    172: 
                    173:        return &result;
1.61      paf       174: }
                    175: 
1.68      paf       176: /// Literal Array to(2) Value @return Value from literal Array OP+origin+Value
                    177: Value* LA2V(ArrayOperation& literal_string_array, int offset=0);
                    178: /// Literal Array to(2) String  @return String value from literal Array OP+origin+String array
                    179: inline const String* LA2S(ArrayOperation& literal_string_array, int offset=0) {
                    180:        if(Value* value=LA2V(literal_string_array, offset))
1.37      paf       181:                return value->get_string();
                    182:        return 0;
1.36      paf       183: }
1.61      paf       184: 
1.68      paf       185: inline void change_string_literal_to_write_string_literal(ArrayOperation& literal_string_array) {
                    186:        literal_string_array.put(0, OP_STRING__WRITE);
1.61      paf       187: }
                    188: 
1.68      paf       189: 
                    190: void change_string_literal_to_double_literal(ArrayOperation& literal_string_array);
                    191: 
                    192: void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value);
                    193: 
                    194: void changetail_or_append(ArrayOperation& opcodes, 
1.61      paf       195:                                                  OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound);
                    196: 
1.1       paf       197: 
1.68      paf       198: void push_LS(Parse_control& pc, lexical_state new_state);
                    199: void pop_LS(Parse_control& pc);
1.1       paf       200: 
                    201: #endif

E-mail: