--- parser3/src/main/compile_tools.h 2001/02/21 06:59:43 1.4 +++ parser3/src/main/compile_tools.h 2003/01/31 12:34:35 1.67.2.6 @@ -1,86 +1,144 @@ -/* - $Id: compile_tools.h,v 1.4 2001/02/21 06:59:43 paf Exp $ +/** @file + Parser: compiler support helper functions decls. + + Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com) + Author: Alexandr Petrosian (http://paf.design.ru) */ #ifndef COMPILE_TOOLS #define COMPILE_TOOLS -#include "code.h" +static const char* IDENT_COMPILE_TOOLS_H="$Date: 2003/01/31 12:34:35 $"; + +#include "pa_opcode.h" #include "pa_types.h" +#include "pa_vstring.h" +#include "pa_request.h" enum lexical_state { - LS_USER, - LS_VAR_NAME_SIMPLE, + LS_USER, LS_NAME_SQUARE_PART, + 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_ROUND, + LS_VAR_SQUARE, LS_VAR_CURLY, LS_METHOD_NAME, - LS_METHOD_ROUND, + LS_METHOD_SQUARE, LS_METHOD_CURLY, + LS_METHOD_ROUND, LS_METHOD_AFTER }; +/// compiler status struct parse_control { - /* input */ + //@{ + /// @name input Pool *pool; - Exception *exception; -#ifndef NO_CSTRING_ORIGIN - char *source; - char *file; - int line, col; + Request *request; + VStateless_classPtr cclass; +#ifndef NO_STRING_ORIGIN + const char* source; + const char* file; #endif - /* state */ - int pending_state/*=0*/; - String *string/*=new(pool) String(pool)*/; + int line, col; + //@} + //@{ + /// @name state; initially + bool trim_bof; + int pending_state; ///< i=0 + StringPtr string; ///< lexical string accumulator #define MAX_LEXICAL_STATES 100 - enum lexical_state ls/*=LS_USER*/; - int sp/*=0*/; - enum lexical_state stack[MAX_LEXICAL_STATES]; - int brackets_nestages[MAX_LEXICAL_STATES]; + enum lexical_state ls; ///< =LS_USER; + int ls_sp; ///< =0 + enum lexical_state ls_stack[MAX_LEXICAL_STATES]; + int brackets_nestages[MAX_LEXICAL_STATES]; ///< brackets nestage on each state + + bool in_call_value; + //@} - /* output: Array * */ - Array *result; + /// output: filled input 'methods' and 'error' if any + char error[MAX_STRING]; }; -/* New array // return empty array */ -inline Array/**/ *N(Pool *pool) { - return new(*pool) Array/**/(*pool); +/// New array // return empty array +inline ArrayOperationPtr N() { + return ArrayOperationPtr(new ArrayOperation); } -/* Assembler instruction // append ordinary instruction to ops */ -inline void OP(Array/**/ *result, enum OPCODE code) { - Operation op; op.code=code; - *result+=op.cast; +/// Assembler instruction // append ordinary instruction to ops +inline void O(ArrayOperation& result, OPCODE code) { + result+=Operation(code); } -/* Argument String // append String to ops*/ -inline void AS(Array/**/ *result, String *string) { - *result+=string; -} -/* Argument Array // append Array to ops */ -inline void AA(Array/**/ *result, Array/**/ *array) { - *result+=array; +/// aPpend 'code_array' to 'result' +inline void P(ArrayOperation& result, ArrayOperation& code_array) { + result.append(code_array); } -/* Argument Eval_expression // append eval_expression to ops */ -inline void AE(Array/**/ *result, char *eval_expression) { - *result+=eval_expression; +/// aPpend part of 'code_array', starting from offset, to 'result' +inline void P(ArrayOperation& result, ArrayOperation& code_array, int offset) { + result.append(code_array, offset); } -inline void P(Array/**/ *result, Array *code_array) { - result->append_array(*code_array); +/// aPpend 'vstring' to 'result' +inline void PV(ArrayOperation& result, ValuePtr value) { + result+=Operation(OP_VALUE); // append OP_VALUE + result+=Operation(value); // append 'value' } +/// append cOde Array +inline void OA(ArrayOperation& result, OPCODE code, ArrayOperationPtr code_array) { + result+=Operation(code); // append OP_CODE + result+=Operation(code_array); // append 'code_array' +} -/* Literal // returns array with -// first: OP_STRING instruction -// second op: string itself +/** + Value Literal // returns array with + - first: OP_VALUE instruction + - second op: string itself */ -Array *L(String *string); -/* Literal Array to(2) String // return string value from literal array OP+string array */ -const String *LA2S(Array *literal_string_array); +inline ArrayOperationPtr VL(ValuePtr value) { + // empty ops array + ArrayOperationPtr result=N(); + + // append 'value' to 'result' + PV(*result, value); + + return result; +} + +/// Literal Array to(2) Value @return Value from literal Array OP+Value +ValuePtr LA2V(ArrayOperation& literal_string_array, int offset=0); +/// Literal Array to(2) String @return String value from literal Array OP+String array +inline StringPtr LA2S(ArrayOperation& literal_string_array, int offset=0) { + if(ValuePtr value=LA2V(literal_string_array, offset)) + return value->get_string(0); + 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, StringPtr 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 pop_LS(struct parse_control *pc); +void push_LS(parse_control& pc, lexical_state new_state); +void pop_LS(parse_control& pc); #endif