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

1.32      paf         1: /** @file
1.33      paf         2:        Parser: compiler support helper functions decls.
                      3: 
1.67.2.6  paf         4:        Copyright (c) 2001-2003 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.67.2.8.2.7! paf        11: static const char* IDENT_COMPILE_TOOLS_H="$Date: 2003/04/02 14:16:18 $";
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.67.2.8.2.2  paf        17: 
1.1       paf        18: enum lexical_state {
1.48      parser     19:        LS_USER, LS_NAME_SQUARE_PART,
1.65      paf        20:        LS_USER_COMMENT,
1.7       paf        21:        LS_DEF_NAME,
                     22:        LS_DEF_PARAMS,
                     23:        LS_DEF_LOCALS,
                     24:        LS_DEF_COMMENT,
1.18      paf        25:        LS_DEF_SPECIAL_BODY,
1.42      parser     26:        LS_EXPRESSION_STRING_QUOTED,
                     27:        LS_EXPRESSION_STRING_APOSTROFED,
1.48      parser     28:        LS_EXPRESSION_VAR_NAME_WITH_COLON, LS_EXPRESSION_VAR_NAME_WITHOUT_COLON,
1.65      paf        29:        LS_EXPRESSION_COMMENT,
1.48      parser     30:        LS_VAR_NAME_SIMPLE_WITH_COLON, LS_VAR_NAME_SIMPLE_WITHOUT_COLON,
1.1       paf        31:        LS_VAR_NAME_CURLY,
1.22      paf        32:        LS_VAR_ROUND,
1.18      paf        33:        LS_VAR_SQUARE,
1.1       paf        34:        LS_VAR_CURLY,
                     35:        LS_METHOD_NAME,
1.18      paf        36:        LS_METHOD_SQUARE,
1.1       paf        37:        LS_METHOD_CURLY,
1.22      paf        38:        LS_METHOD_ROUND,
1.1       paf        39:        LS_METHOD_AFTER
                     40: };
1.67.2.8.2.7! paf        41: 
        !            42: struct Pos {
        !            43:        uint line;
        !            44:        uint col;
        !            45:        //Pos(uint aline, uint acol): line(aline), col(acol) {}
        !            46:        Pos(): line(0), col(0) {}
        !            47: 
        !            48:        void clear() { line=col=0; }
        !            49:        operator bool() { return col!=0; }
        !            50: };
        !            51: 
1.38      paf        52: /// compiler status
1.67.2.8.2.7! paf        53: struct Parse_control {
1.38      paf        54:        //@{
                     55:        /// @name input
1.67.2.8.2.2  paf        56:        Request& request;
1.67.2.7  paf        57:        VStateless_class* cclass;
1.67.2.6  paf        58:        const char* source;
1.67.2.8.2.6  paf        59:        uint file_no;
1.67.2.8.2.7! paf        60:        Pos pos;
1.38      paf        61:        //@}
                     62:        //@{
                     63:        /// @name state; initially
1.45      parser     64:        bool trim_bof;
1.38      paf        65:        int pending_state; ///< i=0
1.67.2.8.2.2  paf        66:        StringBody string; ///< lexical string accumulator
1.67.2.8.2.7! paf        67:        Pos string_start;
1.1       paf        68:        
                     69: #define MAX_LEXICAL_STATES 100
1.38      paf        70:        enum lexical_state ls; ///< =LS_USER;
1.54      paf        71:        int ls_sp; ///< =0
                     72:        enum lexical_state ls_stack[MAX_LEXICAL_STATES];
1.38      paf        73:        int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state
1.46      parser     74: 
1.56      paf        75:        bool in_call_value;
1.38      paf        76:        //@}
1.1       paf        77:        
1.36      paf        78:        /// output: filled input 'methods' and 'error' if any
1.5       paf        79:        char error[MAX_STRING];
1.67.2.8.2.2  paf        80: 
1.67.2.8.2.7! paf        81:        Parse_control(Request& arequest, 
1.67.2.8.2.2  paf        82:                VStateless_class* aclass,
                     83:                const char* asource,
1.67.2.8.2.6  paf        84:                uint afile_no):
1.67.2.8.2.2  paf        85:                request(arequest), // input 
                     86: 
                     87:                // we were told the class to compile to?
                     88:                cclass(aclass), // until changed with @CLASS would consider operators loading
                     89: 
                     90:                source(asource),
                     91: 
1.67.2.8.2.6  paf        92:                file_no(afile_no),
1.67.2.8.2.2  paf        93: 
1.67.2.8.2.7! paf        94:                // initialize state
1.67.2.8.2.2  paf        95:                trim_bof(true),
                     96:                pending_state(0),
                     97:                ls(LS_USER),
                     98:                ls_sp(0),
                     99:                in_call_value(false) {
                    100:        }
1.1       paf       101: };
                    102: 
1.36      paf       103: /// New array // return empty array
1.67.2.8.2.2  paf       104: inline ArrayOperation* N() {
                    105:        return new ArrayOperation;
1.3       paf       106: }
                    107: 
1.67.2.8.2.5  paf       108:        /// Assembler instruction // append ordinary instruction to ops
1.67.2.3  paf       109: inline void O(ArrayOperation& result, OPCODE code) {
                    110:        result+=Operation(code);
1.3       paf       111: }
                    112: 
1.36      paf       113: /// aPpend 'code_array' to 'result'
1.67.2.4  paf       114: inline void P(ArrayOperation& result, ArrayOperation& code_array) {
                    115:        result.append(code_array);
1.11      paf       116: }
1.36      paf       117: /// aPpend part of 'code_array', starting from offset, to 'result'
1.67.2.4  paf       118: inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset) {
                    119:        result.append(code_array, offset);
1.3       paf       120: }
1.53      paf       121: 
1.67.2.2  paf       122: /// append cOde Array
1.67.2.8.2.2  paf       123: inline void OA(ArrayOperation& result, OPCODE code, ArrayOperation* code_array) {
1.67.2.3  paf       124:        result+=Operation(code); // append OP_CODE
                    125:        result+=Operation(code_array); // append 'code_array'
1.61      paf       126: }
1.1       paf       127: 
1.36      paf       128: /**
                    129:        Value Literal // returns array with 
                    130:        - first: OP_VALUE instruction
                    131:        - second op: string itself
                    132: */
1.67.2.8.2.6  paf       133: inline ArrayOperation* VL(Value* value, uint file_no, uint line, uint col) {
1.61      paf       134:        // empty ops array
1.67.2.8.2.2  paf       135:        ArrayOperation* result=N();
1.61      paf       136: 
                    137:        // append 'value' to 'result'
1.67.2.8.2.6  paf       138:        *result+=Operation(OP_VALUE, file_no, line, col); // append OP_VALUE
                    139:        *result+=Operation(value); // append 'value'
1.61      paf       140: 
                    141:        return result;
                    142: }
                    143: 
1.36      paf       144: /// Literal Array to(2) Value @return Value from literal Array OP+Value
1.67.2.8.2.2  paf       145: Value* LA2V(ArrayOperation& literal_string_array, int offset=0);
1.36      paf       146: /// Literal Array to(2) String  @return String value from literal Array OP+String array
1.67.2.8.2.2  paf       147: inline const String* LA2S(ArrayOperation& literal_string_array, int offset=0) {
                    148:        if(Value* value=LA2V(literal_string_array, offset))
                    149:                return value->get_string();
1.67.2.8.2.1  paf       150:        return 0;
1.36      paf       151: }
1.61      paf       152: 
1.67.2.3  paf       153: inline void change_string_literal_to_write_string_literal(ArrayOperation& literal_string_array) {
1.67.2.8.2.4  paf       154:        literal_string_array.put(0, OP_STRING__WRITE);
1.61      paf       155: }
                    156: 
                    157: 
1.67.2.3  paf       158: void change_string_literal_to_double_literal(ArrayOperation& literal_string_array);
                    159: 
1.67.2.8.2.1  paf       160: void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value);
1.67.2.3  paf       161: 
                    162: void changetail_or_append(ArrayOperation& opcodes, 
                    163:                                                  OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound);
1.64      paf       164: 
1.1       paf       165: 
1.67.2.8.2.7! paf       166: void push_LS(Parse_control& pc, lexical_state new_state);
        !           167: void pop_LS(Parse_control& pc);
1.1       paf       168: 
                    169: #endif

E-mail: