Annotation of parser3/src/main/compile_tools.h, revision 1.67.2.8.2.11
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.11! (paf 11:: static const char* IDENT_COMPILE_TOOLS_H="$Date: 2003/04/03 15:34:02 $";
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.67.2.8.2.11! (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.67.2.8.2.7 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.67.2.8.2.8 paf 56: class Parse_control {
57: const String* main_alias;
1.67.2.8.2.9 paf 58: uint last_line_end_col;
1.67.2.8.2.8 paf 59: public:
60: const String& alias_method(const String& name);
1.38 paf 61: //@{
62: /// @name input
1.67.2.8.2.2 paf 63: Request& request;
1.67.2.7 paf 64: VStateless_class* cclass;
1.67.2.6 paf 65: const char* source;
1.67.2.8.2.6 paf 66: uint file_no;
1.67.2.8.2.7 paf 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.67.2.8.2.2 paf 73: StringBody string; ///< lexical string accumulator
1.67.2.8.2.7 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.67.2.8.2.2 paf 87:
1.67.2.8.2.7 paf 88: Parse_control(Request& arequest,
1.67.2.8.2.2 paf 89: VStateless_class* aclass,
1.67.2.8.2.8 paf 90: const char* asource, const String* amain_alias,
1.67.2.8.2.6 paf 91: uint afile_no):
1.67.2.8.2.2 paf 92: request(arequest), // input
93:
94: // we were told the class to compile to?
95: cclass(aclass), // until changed with @CLASS would consider operators loading
96:
1.67.2.8.2.8 paf 97: source(asource), main_alias(amain_alias),
1.67.2.8.2.2 paf 98:
1.67.2.8.2.6 paf 99: file_no(afile_no),
1.67.2.8.2.9 paf 100: last_line_end_col(0),
1.67.2.8.2.2 paf 101:
1.67.2.8.2.7 paf 102: // initialize state
1.67.2.8.2.2 paf 103: trim_bof(true),
104: pending_state(0),
105: ls(LS_USER),
106: ls_sp(0),
1.67.2.8.2.9 paf 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: }
1.67.2.8.2.11! (paf 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
1.67.2.8.2.9 paf 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();
1.67.2.8.2.2 paf 130: }
1.1 paf 131: };
132:
1.36 paf 133: /// New array // return empty array
1.67.2.8.2.2 paf 134: inline ArrayOperation* N() {
135: return new ArrayOperation;
1.3 paf 136: }
137:
1.67.2.8.2.10 (paf 138:: /// Assembler instruction // append ordinary instruction to ops
1.67.2.3 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.67.2.4 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.67.2.4 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.67.2.2 paf 152: /// append cOde Array
1.67.2.8.2.2 paf 153: inline void OA(ArrayOperation& result, OPCODE code, ArrayOperation* code_array) {
1.67.2.3 paf 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.67.2.8.2.10 (paf 160:: - first op: OP_VALUE instruction
161:: - second op: origin (debug information)
162:: - third op: string itself
1.36 paf 163: */
1.67.2.8.2.6 paf 164: inline ArrayOperation* VL(Value* value, uint file_no, uint line, uint col) {
1.61 paf 165: // empty ops array
1.67.2.8.2.10 (paf 166:: ArrayOperation& result=*N();
1.61 paf 167:
168: // append 'value' to 'result'
1.67.2.8.2.10 (paf 169:: result+=Operation(OP_VALUE);
170:: result+=Operation(file_no, line, col); // append origin
171:: result+=Operation(value); // append 'value'
1.61 paf 172:
1.67.2.8.2.10 (paf 173:: return &result;
1.61 paf 174: }
175:
1.67.2.8.2.10 (paf 176:: /// Literal Array to(2) Value @return Value from literal Array OP+origin+Value
1.67.2.8.2.2 paf 177: Value* LA2V(ArrayOperation& literal_string_array, int offset=0);
1.67.2.8.2.10 (paf 178:: /// Literal Array to(2) String @return String value from literal Array OP+origin+String array
1.67.2.8.2.2 paf 179: inline const String* LA2S(ArrayOperation& literal_string_array, int offset=0) {
180: if(Value* value=LA2V(literal_string_array, offset))
181: return value->get_string();
1.67.2.8.2.1 paf 182: return 0;
1.36 paf 183: }
1.61 paf 184:
1.67.2.3 paf 185: inline void change_string_literal_to_write_string_literal(ArrayOperation& literal_string_array) {
1.67.2.8.2.4 paf 186: literal_string_array.put(0, OP_STRING__WRITE);
1.61 paf 187: }
188:
189:
1.67.2.3 paf 190: void change_string_literal_to_double_literal(ArrayOperation& literal_string_array);
191:
1.67.2.8.2.1 paf 192: void change_string_literal_value(ArrayOperation& literal_string_array, const String& new_value);
1.67.2.3 paf 193:
194: void changetail_or_append(ArrayOperation& opcodes,
195: OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound);
1.64 paf 196:
1.1 paf 197:
1.67.2.8.2.7 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:
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to compile_tools.h CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [parser3project] / parser3 / src / main