|
|
| version 1.5, 2001/02/21 07:31:41 | version 1.67.2.8.2.2, 2003/03/21 13:42:30 |
|---|---|
| Line 1 | Line 1 |
| /* | /** @file |
| $Id$ | Parser: compiler support helper functions decls. |
| Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com) | |
| Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) | |
| */ | */ |
| #ifndef COMPILE_TOOLS | #ifndef COMPILE_TOOLS |
| #define COMPILE_TOOLS | #define COMPILE_TOOLS |
| #include "code.h" | static const char* IDENT_COMPILE_TOOLS_H="$Date$"; |
| #include "pa_opcode.h" | |
| #include "pa_types.h" | #include "pa_types.h" |
| #include "pa_vstring.h" | |
| #include "pa_request.h" | |
| extern "C" { | |
| #include "cord.h" | |
| } | |
| enum lexical_state { | enum lexical_state { |
| LS_USER, | LS_USER, LS_NAME_SQUARE_PART, |
| LS_VAR_NAME_SIMPLE, | 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_NAME_CURLY, |
| LS_VAR_ROUND, | LS_VAR_ROUND, |
| LS_VAR_SQUARE, | |
| LS_VAR_CURLY, | LS_VAR_CURLY, |
| LS_METHOD_NAME, | LS_METHOD_NAME, |
| LS_METHOD_ROUND, | LS_METHOD_SQUARE, |
| LS_METHOD_CURLY, | LS_METHOD_CURLY, |
| LS_METHOD_ROUND, | |
| LS_METHOD_AFTER | LS_METHOD_AFTER |
| }; | }; |
| /// compiler status | |
| struct parse_control { | struct parse_control { |
| /* input */ | //@{ |
| Pool *pool; | /// @name input |
| #ifndef NO_CSTRING_ORIGIN | Request& request; |
| char *source; | VStateless_class* cclass; |
| char *file; | const char* source; |
| const char* file; | |
| int line, col; | int line, col; |
| #endif | //@} |
| /* state */ | //@{ |
| int pending_state/*=0*/; | /// @name state; initially |
| String *string/*=new(pool) String(pool)*/; | bool trim_bof; |
| int pending_state; ///< i=0 | |
| StringBody string; ///< lexical string accumulator | |
| #define MAX_LEXICAL_STATES 100 | #define MAX_LEXICAL_STATES 100 |
| enum lexical_state ls/*=LS_USER*/; | enum lexical_state ls; ///< =LS_USER; |
| int sp/*=0*/; | int ls_sp; ///< =0 |
| enum lexical_state stack[MAX_LEXICAL_STATES]; | enum lexical_state ls_stack[MAX_LEXICAL_STATES]; |
| int brackets_nestages[MAX_LEXICAL_STATES]; | int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state |
| bool in_call_value; | |
| //@} | |
| /* output: Array * */ | /// output: filled input 'methods' and 'error' if any |
| Array *result; | |
| char error[MAX_STRING]; | char error[MAX_STRING]; |
| parse_control(Request& arequest, | |
| VStateless_class* aclass, | |
| const char* asource, | |
| const char* afile): | |
| request(arequest), // input | |
| // we were told the class to compile to? | |
| cclass(aclass), // until changed with @CLASS would consider operators loading | |
| source(asource), | |
| file(afile), | |
| line(0), col(0), | |
| // initialise state | |
| trim_bof(true), | |
| pending_state(0), | |
| ls(LS_USER), | |
| ls_sp(0), | |
| in_call_value(false) { | |
| } | |
| }; | }; |
| /* New array // return empty array */ | /// New array // return empty array |
| inline Array/*<op>*/ *N(Pool *pool) { | inline ArrayOperation* N() { |
| return new(*pool) Array/*<op>*/(*pool); | return new ArrayOperation; |
| } | } |
| /* Assembler instruction // append ordinary instruction to ops */ | /// Assembler instruction // append ordinary instruction to ops |
| inline void OP(Array/*<op>*/ *result, enum OPCODE code) { | inline void O(ArrayOperation& result, OPCODE code) { |
| Operation op; op.code=code; | result+=Operation(code); |
| *result+=op.cast; | |
| } | } |
| /* Argument String // append String to ops*/ | /// aPpend 'code_array' to 'result' |
| inline void AS(Array/*<op>*/ *result, String *string) { | inline void P(ArrayOperation& result, ArrayOperation& code_array) { |
| *result+=string; | result.append(code_array); |
| } | } |
| /* Argument Array // append Array to ops */ | /// aPpend part of 'code_array', starting from offset, to 'result' |
| inline void AA(Array/*<op>*/ *result, Array/*<op>*/ *array) { | inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset) { |
| *result+=array; | result.append(code_array, offset); |
| } | |
| /* Argument Eval_expression // append eval_expression to ops */ | |
| inline void AE(Array/*<op>*/ *result, char *eval_expression) { | |
| *result+=eval_expression; | |
| } | } |
| inline void P(Array/*<op>*/ *result, Array *code_array) { | /// aPpend 'vstring' to 'result' |
| result->append_array(*code_array); | inline void PV(ArrayOperation& result, Value* value) { |
| result+=Operation(OP_VALUE); // append OP_VALUE | |
| result+=Operation(value); // append 'value' | |
| } | } |
| /// 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' | |
| } | |
| /* Literal // returns array with | /** |
| // first: OP_STRING instruction | Value Literal // returns array with |
| // second op: string itself | - first: OP_VALUE instruction |
| - second op: string itself | |
| */ | */ |
| Array *L(String *string); | inline ArrayOperation* VL(Value* value) { |
| /* Literal Array to(2) String // return string value from literal array OP+string array */ | // empty ops array |
| const String *LA2S(Array *literal_string_array); | ArrayOperation* result=N(); |
| // append 'value' to 'result' | |
| PV(*result, value); | |
| return result; | |
| } | |
| /// Literal Array to(2) Value @return Value from literal Array OP+Value | |
| Value* LA2V(ArrayOperation& literal_string_array, int offset=0); | |
| /// Literal Array to(2) String @return String value from literal Array OP+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[0].code=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(struct parse_control *pc); | void push_LS(parse_control& pc, lexical_state new_state); |
| void pop_LS(struct parse_control *pc); | void pop_LS(parse_control& pc); |
| #endif | #endif |