Return to compile_tools.h CVS log

Up to [parser3project] / parser3 / src / main

2002->2003

/** @file
	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
#define COMPILE_TOOLS

static const char* IDENT_COMPILE_TOOLS_H="$Date: 2003/01/21 15:51:13 $";

#include "pa_opcode.h"
#include "pa_types.h"
#include "pa_vstring.h"
#include "pa_request.h"

enum lexical_state {
	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_SQUARE,
	LS_METHOD_CURLY,
	LS_METHOD_ROUND,
	LS_METHOD_AFTER
};
/// compiler status
struct parse_control {
	//@{
	/// @name input
	Pool *pool;
	Request *request;
	VStateless_class *cclass;
#ifndef NO_STRING_ORIGIN
	const char *source;
	const char *file;
#endif
	int line, col;
	//@}
	//@{
	/// @name state; initially
	bool trim_bof;
	int pending_state; ///< i=0
	String *string; ///< =new(pool) String(pool)
	
#define MAX_LEXICAL_STATES 100
	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: filled input 'methods' and 'error' if any
	char error[MAX_STRING];
};

/// New array // return empty array
inline Array/*<Operation>*/ *N(Pool& pool) {
	return new(pool) Array/*<Operation>*/(pool);
}

/// Assembler instruction // append ordinary instruction to ops
inline void O(Array/*<Operation>*/ *result, enum OPCODE code) {
	Operation op; op.code=code;
	*result+=op.cast;
}

/// aPpend 'code_array' to 'result'
inline void P(Array/*<Operation>*/ *result, Array *code_array) {
	result->append_array(*code_array);
}
/// aPpend part of 'code_array', starting from offset, to 'result'
inline void P(Array/*<Operation>*/ *result, Array *code_array, int offset) {
	result->append_array(*code_array, offset);
}

/// aPpend 'vstring' to 'result'
void PV(Array/*<Operation>*/ *result, Value *value);

inline void OA(Array/*<Operation>*/ *result, OPCODE opcode, Array/*<Operation>*/ *code_array) {
	// append OP_CODE
	Operation op; op.code=opcode;
	*result+=op.cast;

	// append 'vstring'
	*result+=code_array;
}

/**
	Value Literal // returns array with 
	- first: OP_VALUE instruction
	- second op: string itself
*/
inline Array *VL(Value *value) {
	// empty ops array
	Array *result=N(value->pool());

	// append 'value' to 'result'
	PV(result, value);

	return result;
}

/// Literal Array to(2) Value @return Value from literal Array OP+Value
Value *LA2V(Array *literal_string_array, int offset=0);
/// Literal Array to(2) String  @return String value from literal Array OP+String array
inline const String *LA2S(Array *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(Array *literal_string_array) {
	Operation op; op.code=OP_STRING__WRITE;
	literal_string_array->put(0, op.cast);
}

void changetail_or_append(Array *opcodes, 
						  OPCODE find, bool with_argument, OPCODE replace, OPCODE notfound);

void change_string_literal_to_double_literal(Array *literal_string_array);

void change_string_literal_value(Array *literal_string_array, const String& new_value);

void push_LS(parse_control& pc, lexical_state new_state);
void pop_LS(parse_control& pc);

#endif