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: