parser3/src/main/compile.y - diff

Return to compile.y CVS log

Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/compile.y between versions 1.182 and 1.245

version 1.182, 2002/02/18 15:21:01	version 1.245, 2009/06/04 09:31:37
Line 2	Line 2
/** @file	/** @file
Parser: compiler(lexical parser and grammar).	Parser: compiler(lexical parser and grammar).

Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)	Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com)
Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)	Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)

$Id$	$Id$
Line 19	Line 19
-#: in iis make up specialized Pool object for that	-#: in iis make up specialized Pool object for that
*/	*/

#define YYSTYPE Array/<Operation>/ *	#define YYSTYPE ArrayOperation*
#define YYPARSE_PARAM pc	#define YYPARSE_PARAM pc
#define YYLEX_PARAM pc	#define YYLEX_PARAM pc
#define YYDEBUG 1	#define YYDEBUG 1
#define YYERROR_VERBOSE 1	#define YYERROR_VERBOSE 1
#define yyerror(msg) real_yyerror((parse_control *)pc, msg)	#define yyerror(msg) real_yyerror((Parse_control *)pc, msg)
#define YYPRINT(file, type, value) yyprint(file, type, value)	#define YYPRINT(file, type, value) yyprint(file, type, value)

	// includes

#include "compile_tools.h"	#include "compile_tools.h"
#include "pa_value.h"	#include "pa_value.h"
#include "pa_request.h"	#include "pa_request.h"
Line 34	Line 36
#include "pa_vdouble.h"	#include "pa_vdouble.h"
#include "pa_globals.h"	#include "pa_globals.h"
#include "pa_vvoid.h"	#include "pa_vvoid.h"
	#include "pa_vmethod_frame.h"

#define SELF_ELEMENT_NAME "self"	// defines
#define USE_CONTROL_METHOD_NAME "USE"

static int real_yyerror(parse_control pc, char s);
static void yyprint(FILE *file, int type, YYSTYPE value);
static int yylex(YYSTYPE lvalp, void pc);

	#define USE_CONTROL_METHOD_NAME "USE"
	#define OPTIONS_CONTROL_METHOD_NAME "OPTIONS"
	#define OPTION_ALL_VARS_LOCAL_NAME "locals"
	#define OPTION_PARTIAL_CLASS "partial"
	#define REM_OPERATOR_NAME "rem"

	// forwards

	static int real_yyerror(Parse_control* pc, char* s);
	static void yyprint(FILE* file, int type, YYSTYPE value);
	static int yylex(YYSTYPE* lvalp, void* pc);

	static const VBool vfalse(false);
	static const VBool vtrue(true);
	static const VVoid vvoid;

// local convinient inplace typecast & var	// local convinient inplace typecast & var
#define PC ((parse_control )pc)	#undef PC
	#define PC ((Parse_control )pc)
	#undef POOL
#define POOL (*PC.pool)	#define POOL (*PC.pool)
#undef NEW
#define NEW new(POOL)
#ifndef DOXYGEN	#ifndef DOXYGEN
%}	%}

Line 60 static int yylex(YYSTYPE lvalp, void p	Line 73 static int yylex(YYSTYPE lvalp, void p
%token BAD_STRING_COMPARISON_OPERATOR	%token BAD_STRING_COMPARISON_OPERATOR
%token BAD_HEX_LITERAL	%token BAD_HEX_LITERAL
%token BAD_METHOD_DECL_START	%token BAD_METHOD_DECL_START
	%token BAD_METHOD_PARAMETER_NAME_CHARACTER
	%token BAD_NONWHITESPACE_CHARACTER_IN_EXPLICIT_RESULT_MODE

%token LAND "&&"	%token LAND "&&"
%token LOR "\|\|"	%token LOR "\|\|"
%token LXOR "##"	%token LXOR "!\|\|"
	%token NXOR "!\|"

%token NLE "<="	%token NLE "<="
%token NGE ">="	%token NGE ">="
%token NEQ "=="	%token NEQ "=="
%token NNE "!="	%token NNE "!="
	%token NSL "<<"
	%token NSR ">>"

%token SLT "lt"	%token SLT "lt"
%token SGT "gt"	%token SGT "gt"
Line 83 static int yylex(YYSTYPE lvalp, void p	Line 101 static int yylex(YYSTYPE lvalp, void p
%token DEXISTS "-d"	%token DEXISTS "-d"
%token IS "is"	%token IS "is"

	%token LITERAL_TRUE "true"
	%token LITERAL_FALSE "false"

/* logical */	/* logical */
%left "##"	%left "!\|\|"
%left "\|\|"	%left "\|\|"
%left "&&"	%left "&&"
%left '<' '>' "<=" ">=" "lt" "gt" "le" "ge"	%left '<' '>' "<=" ">=" "lt" "gt" "le" "ge"
%left "==" "!=" "eq" "ne"	%left "==" "!=" "eq" "ne"
%left "is" "def" "in" "-f" "-d"	%left "is" "def" "in" "-f" "-d"
%left '!'

/* bitwise */	/* bitwise */
%left '#'	%left "!\|"
%left '\|'	%left '\|'
%left '&'	%left '&'
%left '~'	%left "<<" ">>"

/* numerical */	/* numerical */
%left '-' '+'	%left '+' '-'
%left '*' '/' '%' '\\'	%left '*' '/' '\\' '%'
%left NEG /* negation: unary - */	%left NUNARY /* unary - + */

	/* out-of-group */
	%left '~' /* bitwise */
	%left '!' /* logical */

%%	%%
all:	all:
one_big_piece {	one_big_piece {
Method& method=*NEW Method(POOL,	Method& method=*new Method(Method::CT_ANY,
*main_method_name,
Method::CT_ANY,
0, 0, /min, max numbered_params_count/	0, 0, /min, max numbered_params_count/
0/param_names/, 0/local_names/,	0/param_names/, 0/local_names/,
$1/parser_code/, 0/native_code/);	$1/parser_code/, 0/native_code/);
PC.cclass->add_method(*main_method_name, method);	PC.cclass->add_method(PC.alias_method(main_method_name), method);
}	}
\| methods;	\| methods;

Line 123 method: control_method \| code_method;	Line 145 method: control_method \| code_method;

control_method: '@' STRING '\n'	control_method: '@' STRING '\n'
maybe_control_strings {	maybe_control_strings {
const String& command=*LA2S($2);	const String& command=LA2S($2);
YYSTYPE strings_code=$4;	YYSTYPE strings_code=$4;
if(strings_code->size()<1*2) {	if(strings_code->count()<1*OPERATIONS_PER_OPVALUE) {
strcpy(PC.error, "@");	strcpy(PC.error, "@");
strcat(PC.error, command.cstr());	strcat(PC.error, command.cstr());
strcat(PC.error, " is empty");	strcat(PC.error, " is empty");
YYERROR;	YYERROR;
}	}
if(command==CLASS_NAME) {	if(command==CLASS_NAME) {
if(PC.cclass->base()) { // already changed from default?	if(strings_code->count()==1*OPERATIONS_PER_OPVALUE) {
strcpy(PC.error, "class already have a name '");
strncat(PC.error, PC.cclass->name().cstr(), 100);
strcat(PC.error, "'");
YYERROR;
}
if(strings_code->size()==1*2) {
// new class' name	// new class' name
const String *name=LA2S(strings_code);	const String& name=LA2S(strings_code);
// creating the class	// creating the class
PC.cclass=NEW VClass(POOL);	VStateless_class* cclass=new VClass;
PC.cclass->set_name(*name);	PC.cclass_new=cclass;
// append to request's classes	PC.cclass_new->set_name(name);
PC.request->classes().put(*name, PC.cclass);
} else {	} else {
strcpy(PC.error, "@"CLASS_NAME" must contain sole name");	strcpy(PC.error, "@"CLASS_NAME" must contain only one line with class name (contains more then one)");
YYERROR;	YYERROR;
}	}
} else if(command==USE_CONTROL_METHOD_NAME) {	} else if(command==USE_CONTROL_METHOD_NAME) {
for(int i=0; i<strings_code->size(); i+=2)	for(size_t i=0; i<strings_code->count(); i+=OPERATIONS_PER_OPVALUE)
PC.request->use_file(*LA2S(strings_code, i));	PC.request.use_file(PC.request.main_class, LA2S(strings_code, i));
} else if(command==BASE_NAME) {	} else if(command==BASE_NAME) {
if(PC.cclass->base()) { // already changed from default?	if(PC.append){
	strcpy(PC.error, "can't set base while appending methods to class '");
	strncat(PC.error, PC.cclass->name().cstr(), MAX_STRING/2);
	strcat(PC.error, "'");
	YYERROR;
	}
	PC.class_add();
	if(PC.cclass->base_class()) { // already changed from default?
strcpy(PC.error, "class already have a base '");	strcpy(PC.error, "class already have a base '");
strncat(PC.error, PC.cclass->base()->name().cstr(), 100);	strncat(PC.error, PC.cclass->base_class()->name().cstr(), MAX_STRING/2);
strcat(PC.error, "'");	strcat(PC.error, "'");
YYERROR;	YYERROR;
}	}
if(strings_code->size()==1*2) {	if(strings_code->count()==1*OPERATIONS_PER_OPVALUE) {
const String& base_name=*LA2S(strings_code);	const String& base_name=LA2S(strings_code);
VClass base=static_cast<VClass >(	if(Value* base_class_value=PC.request.classes().get(base_name)) {
PC.request->classes().get(base_name));	// @CLASS == @BASE sanity check
if(!base) {	if(VStateless_class *base_class=base_class_value->get_class()) {
	if(PC.cclass==base_class) {
	strcpy(PC.error, "@"CLASS_NAME" equals @"BASE_NAME);
	YYERROR;
	}
	PC.cclass->get_class()->set_base(base_class);
	} else { // they asked to derive from a class without methods ['env' & co]
	strcpy(PC.error, base_name.cstr());
	strcat(PC.error, ": you can not derive from this class in @"BASE_NAME);
	YYERROR;
	}
	} else {
strcpy(PC.error, base_name.cstr());	strcpy(PC.error, base_name.cstr());
strcat(PC.error, ": undefined class in @"BASE_NAME);	strcat(PC.error, ": undefined class in @"BASE_NAME);
YYERROR;	YYERROR;
}	}
// @CLASS == @BASE sanity check
if(PC.cclass==base) {
strcpy(PC.error, "@"CLASS_NAME" equals @"BASE_NAME);
YYERROR;
}
PC.cclass->set_base(*base);
} else {	} else {
strcpy(PC.error, "@"BASE_NAME" must contain sole name");	strcpy(PC.error, "@"BASE_NAME" must contain sole name");
YYERROR;	YYERROR;
}	}
	} else if(command==OPTIONS_CONTROL_METHOD_NAME) {
	for(size_t i=0; i<strings_code->count(); i+=OPERATIONS_PER_OPVALUE) {
	const String& option=LA2S(strings_code, i);
	if(option==OPTION_ALL_VARS_LOCAL_NAME){
	PC.set_all_vars_local();
	} else if(option==OPTION_PARTIAL_CLASS){
	if(PC.cclass_new){
	if(VStateless_class* existed=PC.get_existed_class(PC.cclass_new)){
	if(!PC.reuse_existed_class(existed)){
	strcpy(PC.error, "can't append methods to '");
	strncat(PC.error, PC.cclass_new->name().cstr(), MAX_STRING/2);
	strcat(PC.error, "' - the class wasn't marked as partial");
	YYERROR;
	}
	} else {
	// mark new class as partial. we can add methods to it later.
	PC.cclass_new->set_partial();
	}
	} else {
	strcpy(PC.error, "'"OPTION_PARTIAL_CLASS"' option should be used straight after @"CLASS_NAME);
	YYERROR;
	}
	} else {
	strcpy(PC.error, "'");
	strncat(PC.error, option.cstr(), MAX_STRING/2);
	strcat(PC.error, "' invalid option. valid options are "
	"'"OPTION_PARTIAL_CLASS"' and '"OPTION_ALL_VARS_LOCAL_NAME"'");
	YYERROR;
	}
	}
} else {	} else {
strcpy(PC.error, "'");	strcpy(PC.error, "'");
strncat(PC.error, command.cstr(), MAX_STRING/2);	strncat(PC.error, command.cstr(), MAX_STRING/2);
strcat(PC.error, "' invalid special name. valid names are "	strcat(PC.error, "' invalid special name. valid names are "
"'"CLASS_NAME"', '"USE_CONTROL_METHOD_NAME"' and '"BASE_NAME"'");	"'"CLASS_NAME"', '"USE_CONTROL_METHOD_NAME"', '"BASE_NAME"' and '"OPTIONS_CONTROL_METHOD_NAME"'.");
YYERROR;	YYERROR;
}	}
};	};
maybe_control_strings: empty \| control_strings;	maybe_control_strings: empty \| control_strings;
control_strings: control_string \| control_strings control_string { $$=$1; P($$, $2) };	control_strings: control_string \| control_strings control_string { $$=$1; P($$, $2) };
control_string: maybe_string '\n';	control_string: maybe_string '\n';
maybe_string: empty \| STRING;	maybe_string: empty \| STRING;

code_method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n'	code_method: '@' STRING bracketed_maybe_strings maybe_bracketed_strings maybe_comment '\n' {
maybe_codes {	PC.class_add();
const String *name=LA2S($2);	PC.explicit_result=false;

YYSTYPE params_names_code=$3;	YYSTYPE params_names_code=$3;
Array *params_names=0;	ArrayString* params_names=0;
if(int size=params_names_code->size()) {	if(int size=params_names_code->count()) {
params_names=NEW Array(POOL);	params_names=new ArrayString;
for(int i=0; i<size; i+=2)	for(int i=0; i<size; i+=OPERATIONS_PER_OPVALUE)
*params_names+=LA2S(params_names_code, i);	params_names+=LA2S(params_names_code, i);
}	}

YYSTYPE locals_names_code=$4;	YYSTYPE locals_names_code=$4;
Array *locals_names=0;	ArrayString* locals_names=0;
if(int size=locals_names_code->size()) {	bool all_vars_local=false;
locals_names=NEW Array(POOL);	if(int size=locals_names_code->count()) {
for(int i=0; i<size; i+=2)	locals_names=new ArrayString;
*locals_names+=LA2S(locals_names_code, i);	for(int i=0; i<size; i+=OPERATIONS_PER_OPVALUE) {
	const String* local_name=LA2S(*locals_names_code, i);
	if(*local_name==RESULT_VAR_NAME)
	PC.explicit_result=true;
	else if(*local_name==OPTION_ALL_VARS_LOCAL_NAME)
	all_vars_local=true;
	else
	*locals_names+=local_name;
	}
}	}
	if(!all_vars_local && PC.cclass && PC.cclass->is_vars_local())
	all_vars_local=true;

Method& method=*NEW Method(POOL,	Method* method=new Method(
*name,	//name,
Method::CT_ANY,	Method::CT_ANY,
0, 0/min,max numbered_params_count/,	0, 0/min,max numbered_params_count/,
params_names, locals_names,	params_names, locals_names,
$7, 0);	0/to be filled later in next {} /, 0, all_vars_local);
PC.cclass->add_method(*name, method);
	reinterpret_cast<Method*>(&$$)=method;

	// todo: check [][;result;]
	} maybe_codes {
	Method& method=reinterpret_cast<Method>($7);
	// fill in the code
	method.parser_code=$8;

	// register in class
	const String& name=LA2S($2);
	PC.cclass->add_method(PC.alias_method(name), method);
};	};

maybe_bracketed_strings: empty \| bracketed_maybe_strings;	maybe_bracketed_strings: empty \| bracketed_maybe_strings;
bracketed_maybe_strings: '[' maybe_strings ']' {$$=$2};	bracketed_maybe_strings: '[' maybe_strings ']' {$$=$2};
maybe_strings: empty \| strings;	maybe_strings: empty \| strings;
strings: STRING \| strings ';' STRING { $$=$1; P($$, $3) };	strings: STRING \| strings ';' STRING { $$=$1; P($$, $3) };

maybe_comment: empty \| STRING;	maybe_comment: empty \| STRING;

Line 232 maybe_comment: empty \| STRING;	Line 310 maybe_comment: empty \| STRING;

maybe_codes: empty \| codes;	maybe_codes: empty \| codes;

codes: code \| codes code { $$=$1; P($$, $2) };	codes: code \| codes code { $$=$1; P($$, $2) };
code: write_string \| action;	code: write_string \| action;
action: get \| put \| call;	action: get \| put \| call;

/* get */	/* get */

get: get_value {	get: get_value {
$$=$1; /* stack: resulting value */	$$=N();
O($$, OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */	YYSTYPE code=$1;

	#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
	if(!maybe_change_first_opcode(code, OP::OP_VALUE__GET_ELEMENT, /=>*/OP::OP_VALUE__GET_ELEMENT__WRITE))
	#endif

	#ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
	if(!maybe_change_first_opcode(code, OP::OP_WITH_SELF__VALUE__GET_ELEMENT, /=>*/OP::OP_WITH_SELF__VALUE__GET_ELEMENT__WRITE))
	#endif

	#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
	if(
	code->count()!=5
	\|\| !maybe_change_first_opcode(code, OP::OP_GET_OBJECT_ELEMENT, /=>*/OP::OP_GET_OBJECT_ELEMENT__WRITE)
	)
	#endif

	#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
	if(
	code->count()!=5
	\|\| !maybe_change_first_opcode(code, OP::OP_GET_OBJECT_VAR_ELEMENT, /=>*/OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE)
	)
	#endif
	{
	changetail_or_append(*code,
	OP::OP_GET_ELEMENT, false, /=>/OP::OP_GET_ELEMENT__WRITE,
	/or /OP::OP_WRITE_VALUE
	); /* value=pop; wcontext.write(value) */
	}

	P($$, code);
};	};
get_value: '$' get_name_value { $$=$2 };	get_value: '$' get_name_value { $$=$2 };
get_name_value: name_without_curly_rdive EON \| name_in_curly_rdive;	get_name_value: name_without_curly_rdive EON \| name_in_curly_rdive;
Line 249 name_without_curly_rdive:	Line 357 name_without_curly_rdive:
name_without_curly_rdive_read	name_without_curly_rdive_read
\| name_without_curly_rdive_class;	\| name_without_curly_rdive_class;
name_without_curly_rdive_read: name_without_curly_rdive_code {	name_without_curly_rdive_read: name_without_curly_rdive_code {
$$=N(POOL);	$$=N();
Array *diving_code=$1;	YYSTYPE diving_code=$1;
const String *first_name=LA2S(diving_code);	const String* first_name=LA2S(*diving_code);
// self.xxx... -> xxx...	size_t count=diving_code->count();
// OP_VALUE+string+OP_GET_ELEMENT+... -> OP_WITH_SELF+...	// self.xxx... => xxx...
	// OP_VALUE+origin+string+OP_GET_ELEMENT+... -> OP_WITH_SELF+...
if(first_name && *first_name==SELF_ELEMENT_NAME) {	if(first_name && *first_name==SELF_ELEMENT_NAME) {
O($$, OP_WITH_SELF); /* stack: starting context */	#ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
P($$, diving_code,	if(maybe_make_with_self_get_element($$, diving_code, count)){
/* skip over... */	// optimization for $self.field and ^self.method
diving_code->size()>=3?3/OP_VALUE+string+OP_GET_ELEMENTx/:2/OP_+string/);	} else
} else {	#endif
O($$, OP_WITH_READ); /* stack: starting context */	{
	O($$, OP::OP_WITH_SELF); / stack: starting context */
	P($$, diving_code,
	/* skip over... */
	count>=4?4/OP_VALUE+origin+string+OP_GET_ELEMENTx/:3/OP::OP_+origin+string/);
	}
	}

	#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
	else if(maybe_make_get_object_element($$, diving_code, count)){
	// optimization for $object.field + ^object.method[
	}
	#endif

	#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT
	else if(maybe_make_get_object_var_element($$, diving_code, count)){
	// optimization for $object.$var
	}
	#endif

// ^if ELEMENT -> ^if ELEMENT_OR_OPERATOR	#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
// OP_VALUE+string+OP_GET_ELEMENT. -> OP_VALUE+string+OP_GET_ELEMENT_OR_OPERATOR.	else if(count==4){ // optimization
if(PC.in_call_value && diving_code->size()==3)	O(*$$,
diving_code->put_int(2, OP_GET_ELEMENT_OR_OPERATOR);	(PC.in_call_value)
P($$, diving_code);	? OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR // ^object[ : OP_VALUE+origin+string+OP_GET_ELEMENT => OP_VALUE__GET_ELEMENT_OR_OPERATOR+origin+string
	: OP::OP_VALUE__GET_ELEMENT // $object : OP_VALUE+origin+string+OP_GET_ELEMENT => OP_VALUE__GET_ELEMENT+origin+string
	);
	P($$, diving_code, 1/offset/, 2/limit/); // copy origin+value
	} else {
	O($$, OP::OP_WITH_READ); / stack: starting context */
	P($$, diving_code);
}	}
	#else
	else {
	O($$, OP::OP_WITH_READ); / stack: starting context */

	// ^if OP_ELEMENT => ^if OP_ELEMENT_OR_OPERATOR
	// optimized OP_VALUE+origin+string+OP_GET_ELEMENT. => OP_VALUE+origin+string+OP_GET_ELEMENT_OR_OPERATOR.
	if(PC.in_call_value && count==4)
	diving_code->put(count-1, OP::OP_GET_ELEMENT_OR_OPERATOR);
	P($$, diving_code);
	}
	#endif
/* diving code; stack: current context */	/* diving code; stack: current context */
};	};
name_without_curly_rdive_class: class_prefix name_without_curly_rdive_code { $$=$1; P($$, $2) };	name_without_curly_rdive_class: class_prefix name_without_curly_rdive_code { $$=$1; P($$, $2) };
name_without_curly_rdive_code: name_advance2 \| name_path name_advance2 { $$=$1; P($$, $2) };	name_without_curly_rdive_code: name_advance2 \| name_path name_advance2 { $$=$1; P($$, $2) };

/* put */	/* put */

put: '$' name_expr_wdive construct {	put: '$' name_expr_wdive construct {
$$=$2; /* stack: context,name */	$$=N();
P($$, $3); /* stack: context,name,constructor_value */	#ifdef OPTIMIZE_BYTECODE_CONSTRUCT
	if(maybe_optimize_construct($$, $2, *$3)){
	// $a(expr), $.a(expr), $a[value], $.a[value]
	} else
	#endif
	{
	P($$, $2); /* stack: context,name */
	P($$, $3); /* stack: context,name,constructor_value */
	}
};	};
name_expr_wdive:	name_expr_wdive:
name_expr_wdive_root	name_expr_wdive_root
\| name_expr_wdive_write	\| name_expr_wdive_write
\| name_expr_wdive_class;	\| name_expr_wdive_class;
name_expr_wdive_root: name_expr_dive_code {	name_expr_wdive_root: name_expr_dive_code {
$$=N(POOL);	$$=N();
Array *diving_code=$1;	YYSTYPE diving_code=$1;
const String *first_name=LA2S(diving_code);	const String* first_name=LA2S(*diving_code);
// $self.xxx... -> $xxx...	// $self.xxx... => $xxx...
// OP_VALUE+string+OP_GET_ELEMENT+... -> OP_WITH_SELF+...	// OP_VALUE+origin+string+OP_GET_ELEMENT+... => OP_WITH_SELF+...
if(first_name && *first_name==SELF_ELEMENT_NAME) {	if(first_name && *first_name==SELF_ELEMENT_NAME) {
O($$, OP_WITH_SELF); /* stack: starting context */	O($$, OP::OP_WITH_SELF); / stack: starting context */
P($$, diving_code,	P($$, diving_code,
/* skip over... */	/* skip over... */
diving_code->size()>=3?3/OP_VALUE+string+OP_GET_ELEMENTx/:2/OP_+string/);	diving_code->count()>=4?4/OP::OP_VALUE+origin+string+OP::OP_GET_ELEMENTx/:3/OP::OP_+origin+string/);
} else {	} else {
O($$, OP_WITH_ROOT); /* stack: starting context */	O($$, OP::OP_WITH_ROOT); / stack: starting context */
P($$, diving_code);	P($$, diving_code);
}	}
/* diving code; stack: current context */	/* diving code; stack: current context */
};	};
name_expr_wdive_write: '.' name_expr_dive_code {	name_expr_wdive_write: '.' name_expr_dive_code {
$$=N(POOL);	$$=N();
O($$, OP_WITH_WRITE); /* stack: starting context */	O($$, OP::OP_WITH_WRITE); / stack: starting context */
P($$, $2); /* diving code; stack: context,name */	P($$, $2); /* diving code; stack: context,name */
};	};
name_expr_wdive_class: class_prefix name_expr_dive_code { $$=$1; P($$, $2) };	name_expr_wdive_class: class_prefix name_expr_dive_code { $$=$1; P($$, $2) };

construct:	construct:
construct_square	construct_square
\| construct_round	\| construct_round
\| construct_curly	\| construct_curly
;	;
construct_square: '[' any_constructor_code_value ']' {	construct_square: '[' {
	// allow $result_or_other_variable[ letters here any time ]
	reinterpret_cast<bool>(&$$)=PC.explicit_result; PC.explicit_result=false;
	} any_constructor_code_value {
	PC.explicit_result=reinterpret_cast<bool>(&$2);
	} ']' {
// stack: context, name	// stack: context, name
$$=$2; // stack: context, name, value	$$=$3; // stack: context, name, value
O($$, OP_CONSTRUCT_VALUE); /* value=pop; name=pop; context=pop; construct(context,name,value) */	O($$, OP::OP_CONSTRUCT_VALUE); / value=pop; name=pop; context=pop; construct(context,name,value) */
}	}
;	;
construct_round: '(' expr_value ')' {	construct_round: '(' expr_value ')' {
$$=N(POOL);	$$=N();
O($$, OP_PREPARE_TO_EXPRESSION);	O(*$$, OP::OP_PREPARE_TO_EXPRESSION);
// stack: context, name	// stack: context, name
P($$, $2); // stack: context, name, value	P($$, $2); // stack: context, name, value
O($$, OP_CONSTRUCT_EXPR); /* value=pop->as_expr_result; name=pop; context=pop; construct(context,name,value) */	O($$, OP::OP_CONSTRUCT_EXPR); / value=pop->as_expr_result; name=pop; context=pop; construct(context,name,value) */
}	}
;	;
construct_curly: '{' maybe_codes '}' {	construct_curly: '{' maybe_codes '}' {
// stack: context, name	// stack: context, name
$$=N(POOL);	$$=N();
CCA($$, $2); /* code=pop; name=pop; context=pop; construct(context,name,junction(code)) */	OA($$, OP::OP_CURLY_CODE__CONSTRUCT, $2); / code=pop; name=pop; context=pop; construct(context,name,junction(code)) */
};	};

any_constructor_code_value:	any_constructor_code_value:
Line 338 any_constructor_code_value:	Line 495 any_constructor_code_value:
\| constructor_code_value /* $var[something complex] */	\| constructor_code_value /* $var[something complex] */
;	;
constructor_code_value: constructor_code {	constructor_code_value: constructor_code {
$$=N(POOL);	$$=N();
O($$, OP_CREATE_EWPOOL); /* stack: empty write context */	OA($$, OP::OP_OBJECT_POOL, $1); / stack: empty write context */
P($$, $1); /* some code that writes to that context */	/* some code that writes to that context */
O($$, OP_REDUCE_EWPOOL); /* context=pop; stack: context.value() */	/* context=pop; stack: context.value() */
};	};
constructor_code: codes__excluding_sole_str_literal;	constructor_code: codes__excluding_sole_str_literal;
codes__excluding_sole_str_literal: action \| code codes { $$=$1; P($$, $2) };	codes__excluding_sole_str_literal: action \| code codes { $$=$1; P($$, $2) };

/* call */	/* call */

call: call_value {	call: call_value {
$$=$1; /* stack: value */	#ifdef OPTIMIZE_BYTECODE_CUT_REM_OPERATOR
O($$, OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */	if((*$1).count())
	#endif
	{
	$$=$1; /* stack: value */
	changetail_or_append(*$$,
	OP::OP_CALL, true, /=>/ OP::OP_CALL__WRITE,
	/or /OP::OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */
	}
};	};
call_value: '^' {	call_value: '^' {
PC.in_call_value=true;	PC.in_call_value=true;
Line 359 call_value: '^' {	Line 523 call_value: '^' {
PC.in_call_value=false;	PC.in_call_value=false;
}	}
store_params EON { /* ^field.$method{vasya} */	store_params EON { /* ^field.$method{vasya} */
$$=$3; /* with_xxx,diving code; stack: context,method_junction */	#ifdef OPTIMIZE_BYTECODE_CUT_REM_OPERATOR
O($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */	#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
	const String* operator_name=LA2S(*$3, 0, OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR);
	#else
	const String* operator_name=LA2S(*$3, 1);
	#endif
	if(operator_name && *operator_name == REM_OPERATOR_NAME){
	$$=N();
	} else
	#endif
	{
	$$=$3; /* with_xxx,diving code; stack: context,method_junction */

YYSTYPE params_code=$5;	YYSTYPE params_code=$5;
if(params_code->size()==3) // probably [] case. [OP_VALUE + Void + STORE_PARAM]	if(params_code->count()==3) { // probably [] case. [OP::OP_VALUE+origin+Void]
if(Value *value=LA2V(params_code)) // it is OP_VALUE + value?	if(Value* value=LA2V(*params_code)) // it is OP_VALUE+origin+value?
if(!value->is_defined()) // value is VVoid?	if(value->is_void()) // value is VVoid?
params_code=0; // ^zzz[] case. don't append lone empty param.	params_code=0; // ^zzz[] case. don't append lone empty param.
if(params_code)	}
P($$, params_code); // filling method_frame.store_params	/* stack: context, method_junction */
O($$, OP_CALL); // method_frame=pop; ncontext=pop; call(ncontext,method_frame) stack: value	OA(*$$, OP::OP_CALL, params_code); // method_frame=make frame(pop junction); ncontext=pop; call(ncontext,method_frame) stack: value
	}
};	};

call_name: name_without_curly_rdive;	call_name: name_without_curly_rdive;

store_params: store_param \| store_params store_param { $$=$1; P($$, $2) };	store_params: store_param \| store_params store_param { $$=$1; P($$, $2) };
store_param:	store_param:
store_square_param	store_square_param
\| store_round_param	\| store_round_param
\| store_curly_param	\| store_curly_param
;	;
store_square_param: '[' store_code_param_parts ']' {$$=$2};	store_square_param: '[' {
	// allow ^call[ letters here any time ]
	reinterpret_cast<bool>(&$$)=PC.explicit_result; PC.explicit_result=false;
	} store_code_param_parts {
	PC.explicit_result=reinterpret_cast<bool>(&$2);
	} ']' {$$=$3};
store_round_param: '(' store_expr_param_parts ')' {$$=$2};	store_round_param: '(' store_expr_param_parts ')' {$$=$2};
store_curly_param: '{' store_curly_param_parts '}' {$$=$2};	store_curly_param: '{' store_curly_param_parts '}' {$$=$2};
store_code_param_parts:	store_code_param_parts:
store_code_param_part	store_code_param_part
\| store_code_param_parts ';' store_code_param_part { $$=$1; P($$, $3) }	\| store_code_param_parts ';' store_code_param_part { $$=$1; P($$, $3) }
;	;
store_expr_param_parts:	store_expr_param_parts:
store_expr_param_part	store_expr_param_part
\| store_expr_param_parts ';' store_expr_param_part { $$=$1; P($$, $3) }	\| store_expr_param_parts ';' store_expr_param_part { $$=$1; P($$, $3) }
;	;
store_curly_param_parts:	store_curly_param_parts:
store_curly_param_part	store_curly_param_part
\| store_curly_param_parts ';' store_curly_param_part { $$=$1; P($$, $3) }	\| store_curly_param_parts ';' store_curly_param_part { $$=$1; P($$, $3) }
;	;
store_code_param_part: code_param_value {	store_code_param_part: code_param_value {
$$=$1;	$$=$1;
O($$, OP_STORE_PARAM);
};	};
store_expr_param_part: write_expr_value {	store_expr_param_part: expr_value {
$$=N(POOL);	YYSTYPE expr_code=$1;
PEA($$, $1);	if(expr_code->count()==3
	&& (*expr_code)[0].code==OP::OP_VALUE) { // optimizing (double/bool/incidently 'string' too) case. [OP::OP_VALUE+origin+Double]. no evaluating
	$$=expr_code;
	} else {
	YYSTYPE code=N();
	O(*code, OP::OP_PREPARE_TO_EXPRESSION);
	P(code, expr_code);
	O(*code, OP::OP_WRITE_EXPR_RESULT);
	$$=N();
	OA(*$$, OP::OP_EXPR_CODE__STORE_PARAM, code);
	}
};	};
store_curly_param_part: maybe_codes {	store_curly_param_part: maybe_codes {
$$=N(POOL);	$$=N();
PCA($$, $1);	OA(*$$, OP::OP_CURLY_CODE__STORE_PARAM, $1);
};	};
code_param_value:	code_param_value:
void_value /* optimized [;...] case */	void_value /* optimized [;...] case */
\| STRING /* optimized [STRING] case */	\| STRING /* optimized [STRING] case */
\| constructor_code_value /* [something complex] */	\| constructor_code_value /* [something complex] */
;	;
write_expr_value: expr_value {
$$=N(POOL);
O($$, OP_PREPARE_TO_EXPRESSION);
P($$, $1);
O($$, OP_WRITE_EXPR_RESULT);
};

/* name */	/* name */

name_expr_dive_code: name_expr_value \| name_path name_expr_value { $$=$1; P($$, $2) };	name_expr_dive_code: name_expr_value \| name_path name_expr_value { $$=$1; P($$, $2) };

name_path: name_step \| name_path name_step { $$=$1; P($$, $2) };	name_path: name_step \| name_path name_step { $$=$1; P($$, $2) };
name_step: name_advance1 '.';	name_step: name_advance1 '.';
name_advance1: name_expr_value {	name_advance1: name_expr_value {
// we know that name_advance1 not called from ^xxx context	// we know that name_advance1 not called from ^xxx context
Line 431 name_advance1: name_expr_value {	Line 614 name_advance1: name_expr_value {

/* stack: context */	/* stack: context */
$$=$1; /* stack: context,name */	$$=$1; /* stack: context,name */
O($$, OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */	O($$, OP::OP_GET_ELEMENT); / name=pop; context=pop; stack: context.get_element(name) */
};	};
name_advance2: name_expr_value {	name_advance2: name_expr_value {
/* stack: context */	/* stack: context */
$$=$1; /* stack: context,name */	$$=$1; /* stack: context,name */
O($$, OP_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */	O($$, OP::OP_GET_ELEMENT); / name=pop; context=pop; stack: context.get_element(name) */
}	}
\| STRING BOGUS	\| STRING BOGUS
;	;
Line 448 name_expr_value:	Line 631 name_expr_value:
;	;
name_expr_subvar_value: '$' subvar_ref_name_rdive {	name_expr_subvar_value: '$' subvar_ref_name_rdive {
$$=$2;	$$=$2;
O($$, OP_GET_ELEMENT);	O(*$$, OP::OP_GET_ELEMENT);
};	};
name_expr_with_subvar_value: STRING subvar_get_writes {	name_expr_with_subvar_value: STRING subvar_get_writes {
$$=N(POOL);	YYSTYPE code;
O($$, OP_CREATE_EWPOOL);	{
P($$, $1);	change_string_literal_to_write_string_literal(*(code=$1));
O($$, OP_WRITE_VALUE);	P(code, $2);
P($$, $2);	}
O($$, OP_REDUCE_EWPOOL);	$$=N();
};	OA(*$$, OP::OP_STRING_POOL, code);
name_square_code_value: '[' codes ']' {	};
$$=N(POOL);	name_square_code_value: '[' {
O($$, OP_CREATE_EWPOOL);	// allow $result_or_other_variable[ letters here any time ]
P($$, $2);	reinterpret_cast<bool>(&$$)=PC.explicit_result; PC.explicit_result=false;
O($$, OP_REDUCE_EWPOOL);	} codes {
	PC.explicit_result=reinterpret_cast<bool>(&$2);
	} ']' {
	$$=N();
	OA($$, OP::OP_OBJECT_POOL, $3); / stack: empty write context */
	/* some code that writes to that context */
	/* context=pop; stack: context.value() */
};	};
subvar_ref_name_rdive: STRING {	subvar_ref_name_rdive: STRING {
$$=N(POOL);	$$=N();
O($$, OP_WITH_READ);	O(*$$, OP::OP_WITH_READ);
P($$, $1);	P($$, $1);
};	};
subvar_get_writes: subvar__get_write \| subvar_get_writes subvar__get_write { $$=$1; P($$, $2) };	subvar_get_writes: subvar__get_write \| subvar_get_writes subvar__get_write { $$=$1; P($$, $2) };
subvar__get_write: '$' subvar_ref_name_rdive {	subvar__get_write: '$' subvar_ref_name_rdive {
$$=$2;	$$=$2;
O($$, OP_GET_ELEMENT__WRITE);	O(*$$, OP::OP_GET_ELEMENT__WRITE);
};	};

class_prefix:	class_prefix:
Line 481 class_prefix:	Line 670 class_prefix:
;	;
class_static_prefix: STRING ':' {	class_static_prefix: STRING ':' {
$$=$1; // stack: class name string	$$=$1; // stack: class name string
O($$, OP_GET_CLASS);	if(LA2S($$) == BASE_NAME) { // pseudo BASE class
	if(VStateless_class* base=PC.cclass->base_class()) {
	change_string_literal_value(*$$, base->name());
	} else {
	strcpy(PC.error, "no base class declared");
	YYERROR;
	}
	}
	#ifdef OPTIMIZE_BYTECODE_GET_CLASS
	// optimized OP_VALUE+origin+string+OP_GET_CLASS => OP_VALUE__GET_CLASS+origin+string
	maybe_change_first_opcode(*$$, OP::OP_VALUE, OP::OP_VALUE__GET_CLASS)
	#else
	O(*$$, OP::OP_GET_CLASS);
	#endif
};	};
class_constructor_prefix: class_static_prefix ':' {	class_constructor_prefix: class_static_prefix ':' {
$$=$1;	$$=$1;
Line 489 class_constructor_prefix: class_static_p	Line 691 class_constructor_prefix: class_static_p
strcpy(PC.error, ":: not allowed here");	strcpy(PC.error, ":: not allowed here");
YYERROR;	YYERROR;
}	}
O($$, OP_PREPARE_TO_CONSTRUCT_OBJECT);	O(*$$, OP::OP_PREPARE_TO_CONSTRUCT_OBJECT);
};	};


/* expr */	/* expr */

expr_value: expr {	expr_value: expr;
// see OP_PREPARE_TO_EXPRESSION!!
if(($$=$1)->size()==2) // only one string literal in there?
change_string_literal_to_double_literal($$); // make that string literal Double
};
expr:	expr:
STRING	double_or_STRING
	\| true_value
	\| false_value
\| get_value	\| get_value
\| call_value	\| call_value
\| '"' string_inside_quotes_value '"' { $$ = $2; }	\| '"' string_inside_quotes_value '"' { $$ = $2 }
\| '\'' string_inside_quotes_value '\'' { $$ = $2; }	\| '\'' string_inside_quotes_value '\'' { $$ = $2 }
\| '(' expr ')' { $$ = $2; }	\| '(' expr ')' { $$ = $2; }
/* stack: operand // stack: @operand */	/* stack: operand // stack: @operand */
\| '-' expr %prec NEG { $$=$2; O($$, OP_NEG) }	\| '-' expr %prec NUNARY { $$=$2; O(*$$, OP::OP_NEG) }
\| '+' expr %prec NEG { $$=$2 }	\| '+' expr %prec NUNARY { $$=$2 }
\| '~' expr { $$=$2; O($$, OP_INV) }	\| '~' expr { $$=$2; O(*$$, OP::OP_INV) }
\| '!' expr { $$=$2; O($$, OP_NOT) }	\| '!' expr { $$=$2; O(*$$, OP::OP_NOT) }
\| "def" expr { $$=$2; O($$, OP_DEF) }	\| "def" expr { $$=$2; O(*$$, OP::OP_DEF) }
\| "in" expr { $$=$2; O($$, OP_IN) }	\| "in" expr { $$=$2; O(*$$, OP::OP_IN) }
\| "-f" expr { $$=$2; O($$, OP_FEXISTS) }	\| "-f" expr { $$=$2; O(*$$, OP::OP_FEXISTS) }
\| "-d" expr { $$=$2; O($$, OP_DEXISTS) }	\| "-d" expr { $$=$2; O(*$$, OP::OP_DEXISTS) }
/* stack: a,b // stack: a@b */	/* stack: a,b // stack: a@b */
\| expr '-' expr { $$=$1; P($$, $3); O($$, OP_SUB) }	\| expr '-' expr { $$=$1; P($$, $3); O(*$$, OP::OP_SUB) }
\| expr '+' expr { $$=$1; P($$, $3); O($$, OP_ADD) }	\| expr '+' expr { $$=$1; P($$, $3); O(*$$, OP::OP_ADD) }
\| expr '*' expr { $$=$1; P($$, $3); O($$, OP_MUL) }	\| expr '' expr { $$=$1; P($$, $3); O($$, OP::OP_MUL) }
\| expr '/' expr { $$=$1; P($$, $3); O($$, OP_DIV) }	\| expr '/' expr { $$=$1; P($$, $3); O(*$$, OP::OP_DIV) }
\| expr '%' expr { $$=$1; P($$, $3); O($$, OP_MOD) }	\| expr '%' expr { $$=$1; P($$, $3); O(*$$, OP::OP_MOD) }
\| expr '\\' expr { $$=$1; P($$, $3); O($$, OP_INTDIV) }	\| expr '\\' expr { $$=$1; P($$, $3); O(*$$, OP::OP_INTDIV) }
\| expr '&' expr { $$=$1; P($$, $3); O($$, OP_BIN_AND) }	\| expr "<<" expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_SL) }
\| expr '\|' expr { $$=$1; P($$, $3); O($$, OP_BIN_OR) }	\| expr ">>" expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_SR) }
\| expr '#' expr { $$=$1; P($$, $3); O($$, OP_BIN_XOR) }	\| expr '&' expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_AND) }
\| expr "&&" expr { $$=$1; PNC($$, $3); O($$, OP_LOG_AND) }	\| expr '\|' expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_OR) }
\| expr "\|\|" expr { $$=$1; PNC($$, $3); O($$, OP_LOG_OR) }	\| expr "!\|" expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_XOR) }
\| expr "##" expr { $$=$1; P($$, $3); O($$, OP_LOG_XOR) }	\| expr "&&" expr { $$=$1; OA($$, OP::OP_NESTED_CODE, $3); O($$, OP::OP_LOG_AND) }
\| expr '<' expr { $$=$1; P($$, $3); O($$, OP_NUM_LT) }	\| expr "\|\|" expr { $$=$1; OA($$, OP::OP_NESTED_CODE, $3); O($$, OP::OP_LOG_OR) }
\| expr '>' expr { $$=$1; P($$, $3); O($$, OP_NUM_GT) }	\| expr "!\|\|" expr { $$=$1; P($$, $3); O(*$$, OP::OP_LOG_XOR) }
\| expr "<=" expr { $$=$1; P($$, $3); O($$, OP_NUM_LE) }	\| expr '<' expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_LT) }
\| expr ">=" expr { $$=$1; P($$, $3); O($$, OP_NUM_GE) }	\| expr '>' expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_GT) }
\| expr "==" expr { $$=$1; P($$, $3); O($$, OP_NUM_EQ) }	\| expr "<=" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_LE) }
\| expr "!=" expr { $$=$1; P($$, $3); O($$, OP_NUM_NE) }	\| expr ">=" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_GE) }
\| expr "lt" expr { $$=$1; P($$, $3); O($$, OP_STR_LT) }	\| expr "==" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_EQ) }
\| expr "gt" expr { $$=$1; P($$, $3); O($$, OP_STR_GT) }	\| expr "!=" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_NE) }
\| expr "le" expr { $$=$1; P($$, $3); O($$, OP_STR_LE) }	\| expr "lt" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_LT) }
\| expr "ge" expr { $$=$1; P($$, $3); O($$, OP_STR_GE) }	\| expr "gt" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_GT) }
\| expr "eq" expr { $$=$1; P($$, $3); O($$, OP_STR_EQ) }	\| expr "le" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_LE) }
\| expr "ne" expr { $$=$1; P($$, $3); O($$, OP_STR_NE) }	\| expr "ge" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_GE) }
\| expr "is" expr { $$=$1; P($$, $3); O($$, OP_IS) }	\| expr "eq" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_EQ) }
	\| expr "ne" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_NE) }
	\| expr "is" expr { $$=$1; P($$, $3); O(*$$, OP::OP_IS) }
;	;

	double_or_STRING: STRING {
	// optimized OP_STRING => OP_VALUE for doubles
	maybe_change_string_literal_to_double_literal(*($$=$1));
	};

string_inside_quotes_value: maybe_codes {	string_inside_quotes_value: maybe_codes {
$$=N(POOL);	#ifdef OPTIMIZE_BYTECODE_STRING_POOL
O($$, OP_CREATE_SWPOOL); /* stack: empty write context */	// it brakes ^if(" 09 "){...}
P($$, $1); /* some code that writes to that context */	YYSTYPE code=$1;
O($$, OP_REDUCE_SWPOOL); /* context=pop; stack: context.get_string() */	$$=N();
	if(code->count()==3 && maybe_change_first_opcode(*code, OP::OP_STRING__WRITE, OP::OP_VALUE)){
	// optimized OP_STRING__WRITE+origin+value => OP_VALUE+origin+value without starting OP_STRING_POOL
	P($$, code);
	} else {
	OA($$, OP::OP_STRING_POOL, code); / stack: empty write context */
	}
	#else
	$$=N();
	OA($$, OP::OP_STRING_POOL, $1); / stack: empty write context */
	#endif
	/* some code that writes to that context */
	/* context=pop; stack: context.get_string() */
};	};

/* basics */	/* basics */

write_string: STRING {	write_string: STRING {
// optimized from OP_STRING+OP_WRITE_VALUE to OP_STRING__WRITE	// optimized OP_STRING+OP_WRITE_VALUE => OP_STRING__WRITE
change_string_literal_to_write_string_literal($$=$1)	change_string_literal_to_write_string_literal(*($$=$1))
};	};

void_value: /* empty */ { $$=VL(NEW VVoid(POOL)) };	void_value: /* empty / { $$=VL(/we know that we will not change it/const_cast<VVoid>(&vvoid), 0, 0, 0) }
empty: /* empty */ { $$=N(POOL) };	true_value: "true" { $$ = VL(/we know that we will not change it/const_cast<VBool*>(&vtrue), 0, 0, 0) }
	false_value: "false" { $$ = VL(/we know that we will not change it/const_cast<VBool*>(&vfalse), 0, 0, 0) }

	empty: /* empty */ { $$=N() };

%%	%%
#endif	#endif
Line 580 empty: /* empty */ { $$=N(POOL) };	Line 802 empty: /* empty */ { $$=N(POOL) };
4:[^({]=pop	4:[^({]=pop
*/	*/

static int yylex(YYSTYPE lvalp, void pc) {	inline void ungetc(Parse_control& pc, uint last_line_end_col) {
#define lexical_brackets_nestage PC.brackets_nestages[PC.ls_sp]	pc.source--;
	if(pc.pos.col==0) {
	--pc.pos.line; pc.pos.col=last_line_end_col;
	} else
	--pc.pos.col;

	}
	static int yylex(YYSTYPE lvalp, void apc) {
	register Parse_control& pc=static_cast<Parse_control>(apc);

	#define lexical_brackets_nestage pc.brackets_nestages[pc.ls_sp]
#define RC {result=c; goto break2; }	#define RC {result=c; goto break2; }

register int c;	register int c;
int result;	int result;

if(PC.pending_state) {	if(pc.pending_state) {
result=PC.pending_state;	result=pc.pending_state;
PC.pending_state=0;	pc.pending_state=0;
return result;	return result;
}	}

const char *begin=PC.source;	const char *begin=pc.source;
	Pos begin_pos=pc.pos;
const char *end;	const char *end;
int begin_line=PC.line;
int skip_analized=0;	int skip_analized=0;
while(true) {	while(true) {
c=*(end=(PC.source++));	c=*(end=(pc.source++));
// fprintf(stderr, "\nchar: %c %02X; nestage: %d, sp=%d", c, c, lexical_brackets_nestage, PC.sp);	// fprintf(stderr, "\nchar: %c %02X; nestage: %d, sp=%d", c, c, lexical_brackets_nestage, pc.sp);

if(c=='\n') {	if(c=='\n')
PC.line++;	pc.pos_next_line();
PC.col=0;	else
} else	pc.pos_next_c(c);
PC.col++;	// fprintf(stderr, "\nchar: %c file(%d:%d)", c, pc.pos.line, pc.pos.col);

if(c=='@' && PC.col==0+1) {	if(pc.pos.col==0+1 && c=='@') {
if(PC.ls==LS_DEF_SPECIAL_BODY) {	if(pc.ls==LS_DEF_SPECIAL_BODY) {
// @SPECIAL	// @SPECIAL
// ...	// ...
// @<here =	// @<here =
pop_LS(PC); // exiting from LS_DEF_SPECIAL_BODY state	pop_LS(pc); // exiting from LS_DEF_SPECIAL_BODY state
} // continuing checks	} // continuing checks
if(PC.ls==LS_USER) {	if(pc.ls==LS_USER) {
push_LS(PC, LS_DEF_NAME);	push_LS(pc, LS_DEF_NAME);
RC;	RC;
} else // @ in first column inside some code [when could that be?]	} else // @ in first column inside some code [when could that be?]
result=BAD_METHOD_DECL_START;	result=BAD_METHOD_DECL_START;
goto break2;	goto break2;
} else if(c=='^')	}
switch(PC.ls) {	if(c=='^') {
	if(pc.ls==LS_METHOD_AFTER) {
	// handle after-method situation
	pop_LS(pc);
	result=EON;
	skip_analized=-1; // return to punctuation afterwards to assure it's literality
	goto break2;
	}
	switch(pc.ls) {
case LS_EXPRESSION_VAR_NAME_WITH_COLON:	case LS_EXPRESSION_VAR_NAME_WITH_COLON:
case LS_EXPRESSION_VAR_NAME_WITHOUT_COLON:	case LS_EXPRESSION_VAR_NAME_WITHOUT_COLON:
case LS_VAR_NAME_SIMPLE_WITH_COLON:	case LS_VAR_NAME_SIMPLE_WITH_COLON:
case LS_VAR_NAME_SIMPLE_WITHOUT_COLON:	case LS_VAR_NAME_SIMPLE_WITHOUT_COLON:
case LS_VAR_NAME_CURLY:	case LS_VAR_NAME_CURLY:
case LS_METHOD_NAME:	case LS_METHOD_NAME:
case LS_COMMENT:	case LS_USER_COMMENT:
case LS_DEF_COMMENT:	case LS_DEF_COMMENT:
// no literals in names, please	// no literals in names, please
break;	break;
default:	default:
switch(*PC.source) {	switch(*pc.source) {
// ^escaping some punctuators	// ^escaping some punctuators
case '^': case '$': case ';':	case '^': case '$': case ';': case '@':
case '(': case ')':	case '(': case ')':
case '[': case ']':	case '[': case ']':
case '{': case '}':	case '{': case '}':
case '"': case ':':	case '"': case ':':
if(end!=begin) {	if(end!=begin) {
	if(!pc.string_start)
	pc.string_start=begin_pos;
// append piece till ^	// append piece till ^
PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line);	pc.string.append_strdup_know_length(begin, end-begin);
}	}
// reset piece 'begin' position & line	// reset piece 'begin' position & line
end=begin=PC.source; // ^	begin=pc.source; // ->punctuation
begin_line=PC.line;	begin_pos=pc.pos;
if(PC.ls==LS_METHOD_AFTER) {	// skip over _ after ^
pop_LS(PC);	pc.source++; pc.pos.col++;
result=EON;	// skip analysis = forced literal
skip_analized=-1; // return to ^ afterwards to assure it's literality	continue;
goto break2;
} else {
// skip over _ after ^
PC.source++; PC.col++;
// skip analysis = forced literal
continue;
}

// converting ^#HH into char(hex(HH))	// converting ^#HH into char(hex(HH))
case '#':	case '#':
if(end!=begin) {	if(end!=begin) {
	if(!pc.string_start)
	pc.string_start=begin_pos;
// append piece till ^	// append piece till ^
PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line);	pc.string.append_strdup_know_length(begin, end-begin);
}	}
// #HH ?	// #HH ?
if(PC.source[0]=='#' && PC.source[1] && PC.source[2]) {	if(pc.source[1] && isxdigit(pc.source[1]) && pc.source[2] && isxdigit(pc.source[2])) {
char hex=(char )POOL.malloc(1);	char c=(char)(
hex[0]=	hex_value[(unsigned char)pc.source[1]]*0x10+
hex_value[(unsigned char)PC.source[1]]*0x10+	hex_value[(unsigned char)pc.source[2]]);
hex_value[(unsigned char)PC.source[2]];	if(c==0) {
if(hex[0]==0) {
result=BAD_HEX_LITERAL;	result=BAD_HEX_LITERAL;
goto break2; // wrong hex value[no ^#00 chars allowed]: bail out	goto break2; // wrong hex value[no ^#00 chars allowed]: bail out
}	}
// append char(hex(HH))	// append char(hex(HH))
PC.string->APPEND_CLEAN(hex, 1, PC.file, begin_line);	pc.string.append(c);
// skip over ^#HH	// skip over ^#HH
PC.source+=3;	pc.source+=3;
PC.col+=3;	pc.pos.col+=3;
// reset piece 'begin' position & line	// reset piece 'begin' position & line
begin=PC.source; // ^	begin=pc.source; // ->after ^#HH
begin_line=PC.line;	begin_pos=pc.pos;
	// skip analysis = forced literal
continue;	continue;
}	}
break;	// just escaped char
	// reset piece 'begin' position & line
	begin=pc.source;
	begin_pos=pc.pos;
	// skip over _ after ^
	pc.source++; pc.pos.col++;
	// skip analysis = forced literal
	continue;
}	}
break;	break;
	}
}	}
// #comment start skipping	// #comment start skipping
if(c=='#' && PC.col==1) {	if(c=='#' && pc.pos.col==1) {
if(end!=begin) {	if(end!=begin) {
	if(!pc.string_start)
	pc.string_start=begin_pos;
// append piece till #	// append piece till #
PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line);	pc.string.append_strdup_know_length(begin, end-begin);
}	}
// fall into COMMENT lexical state [wait for \n]	// fall into COMMENT lexical state [wait for \n]
push_LS(PC, LS_COMMENT);	push_LS(pc, LS_USER_COMMENT);
continue;	continue;
}	}
switch(PC.ls) {	switch(pc.ls) {

// USER'S = NOT OURS	// USER'S = NOT OURS
case LS_USER:	case LS_USER:
case LS_NAME_SQUARE_PART: // name.[here].xxx	case LS_NAME_SQUARE_PART: // name.[here].xxx
if(PC.trim_bof)	if(pc.trim_bof)
switch(c) {	switch(c) {
case '\n': case ' ': case '\t':	case '\n': case ' ': case '\t':
begin=PC.source;	begin=pc.source;
begin_line=PC.line;	begin_pos=pc.pos;
continue; // skip it	continue; // skip it
default:	default:
PC.trim_bof=false;	pc.trim_bof=false;
}	}
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE_WITH_COLON);	push_LS(pc, LS_VAR_NAME_SIMPLE_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
case ']':	case ']':
if(PC.ls==LS_NAME_SQUARE_PART)	if(pc.ls==LS_NAME_SQUARE_PART)
if(--lexical_brackets_nestage==0) {// $name.[co<]?>de<]?>	if(--lexical_brackets_nestage==0) {// $name.[co<]?>de<]?>
pop_LS(PC); // $name.[co<]>de<]!>	pop_LS(pc); // $name.[co<]>de<]!>
RC;	RC;
}	}
break;	break;
case '[': // $name.[co<[>de]	case '[': // $name.[co<[>de]
if(PC.ls==LS_NAME_SQUARE_PART)	if(pc.ls==LS_NAME_SQUARE_PART)
lexical_brackets_nestage++;	lexical_brackets_nestage++;
break;	break;
}	}
	if(pc.explicit_result && c)
	switch(c) {
	case '\n': case ' ': case '\t':
	begin=pc.source;
	begin_pos=pc.pos;
	continue; // skip it
	default:
	result=BAD_NONWHITESPACE_CHARACTER_IN_EXPLICIT_RESULT_MODE;
	goto break2;
	}
break;	break;

// #COMMENT	// #COMMENT
case LS_COMMENT:	case LS_USER_COMMENT:
if(c=='\n') {	if(c=='\n') {
// skip comment	// skip comment
begin=PC.source;	begin=pc.source;
begin_line=PC.line;	begin_pos=pc.pos;

pop_LS(PC);	pop_LS(pc);
continue;	continue;
}	}
break;	break;
Line 753 default:	Line 1010 default:
case '"':	case '"':
case '\'':	case '\'':
if(	if(
PC.ls == LS_EXPRESSION_STRING_QUOTED && c=='"' \|\|	pc.ls == LS_EXPRESSION_STRING_QUOTED && c=='"' \|\|
PC.ls == LS_EXPRESSION_STRING_APOSTROFED && c=='\'') {	pc.ls == LS_EXPRESSION_STRING_APOSTROFED && c=='\'') {
pop_LS(PC); //"abc". \| 'abc'.	pop_LS(pc); //"abc". \| 'abc'.
RC;	RC;
}	}
break;	break;
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE_WITH_COLON);	push_LS(pc, LS_VAR_NAME_SIMPLE_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
}	}
break;	break;
Line 772 default:	Line 1029 default:
case LS_DEF_NAME:	case LS_DEF_NAME:
switch(c) {	switch(c) {
case '[':	case '[':
PC.ls=LS_DEF_PARAMS;	pc.ls=LS_DEF_PARAMS;
RC;	RC;
case '\n':	case '\n':
PC.ls=LS_DEF_SPECIAL_BODY;	pc.ls=LS_DEF_SPECIAL_BODY;
RC;	RC;
}	}
break;	break;

case LS_DEF_PARAMS:	case LS_DEF_PARAMS:
switch(c) {	switch(c) {
	case '$': // common error
	result=BAD_METHOD_PARAMETER_NAME_CHARACTER;
	goto break2;
case ';':	case ';':
RC;	RC;
case ']':	case ']':
PC.ls=*PC.source=='['?LS_DEF_LOCALS:LS_DEF_COMMENT;	pc.ls=*pc.source=='['?LS_DEF_LOCALS:LS_DEF_COMMENT;
RC;	RC;
case '\n': // wrong. bailing out	case '\n': // wrong. bailing out
pop_LS(PC);	pop_LS(pc);
RC;	RC;
}	}
break;	break;
Line 799 default:	Line 1059 default:
case ';':	case ';':
RC;	RC;
case ']':	case ']':
PC.ls=LS_DEF_COMMENT;	pc.ls=LS_DEF_COMMENT;
RC;	RC;
case '\n': // wrong. bailing out	case '\n': // wrong. bailing out
pop_LS(PC);	pop_LS(pc);
RC;	RC;
}	}
break;	break;

case LS_DEF_COMMENT:	case LS_DEF_COMMENT:
if(c=='\n') {	if(c=='\n') {
pop_LS(PC);	pop_LS(pc);
RC;	RC;
}	}
break;	break;
Line 825 default:	Line 1085 default:
switch(c) {	switch(c) {
case ')':	case ')':
if(--lexical_brackets_nestage==0)	if(--lexical_brackets_nestage==0)
if(PC.ls==LS_METHOD_ROUND) // method round param ended	if(pc.ls==LS_METHOD_ROUND) // method round param ended
PC.ls=LS_METHOD_AFTER; // look for method end	pc.ls=LS_METHOD_AFTER; // look for method end
else // PC.ls==LS_VAR_ROUND // variable constructor ended	else // pc.ls==LS_VAR_ROUND // variable constructor ended
pop_LS(PC); // return to normal life	pop_LS(pc); // return to normal life
RC;	RC;
	case '#': // comment start skipping
	if(end!=begin) {
	if(!pc.string_start)
	pc.string_start=begin_pos;
	// append piece till #
	pc.string.append_strdup_know_length(begin, end-begin);
	}
	// fall into COMMENT lexical state [wait for \n]
	push_LS(pc, LS_EXPRESSION_COMMENT);
	lexical_brackets_nestage=1;
	continue;
case '$':	case '$':
push_LS(PC, LS_EXPRESSION_VAR_NAME_WITH_COLON);	push_LS(pc, LS_EXPRESSION_VAR_NAME_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
case '(':	case '(':
lexical_brackets_nestage++;	lexical_brackets_nestage++;
RC;	RC;
case '-':	case '-':
switch(*PC.source) {	switch(*pc.source) {
case 'f': // -f	case 'f': // -f
skip_analized=1;	skip_analized=1;
result=FEXISTS;	result=FEXISTS;
Line 849 default:	Line 1120 default:
skip_analized=1;	skip_analized=1;
result=DEXISTS;	result=DEXISTS;
goto break2;	goto break2;
default:	default: // minus
result=c;	result=c;
goto break2;	goto break2;
}	}
Line 858 default:	Line 1129 default:
case '~':	case '~':
case ';':	case ';':
RC;	RC;
case '&': case '\|': case '#':	case '&': case '\|':
if(*PC.source==c) { // && \|\|	if(*pc.source==c) { // && \|\|
result=c=='#'?LXOR:c=='&'?LAND:LOR;	result=c=='&'?LAND:LOR;
skip_analized=1;	skip_analized=1;
} else	} else
result=c;	result=c;
goto break2;	goto break2;
case '<': case '>': case '=': case '!':	case '!':
if(*PC.source=='=') { // <= >= == !=	switch(pc.source[0]) {
	case '\|': // !\| !\|\|
skip_analized=1;	skip_analized=1;
switch(c) {	if(pc.source[1]=='\|') {
case '<': result=NLE; break;	skip_analized++;
case '>': result=NGE; break;	result=LXOR;
case '=': result=NEQ; break;	} else
case '!': result=NNE; break;	result=NXOR;
}	goto break2;
} else	case '=': // !=
result=c;	skip_analized=1;
	result=NNE;
	goto break2;
	}
	RC;

	case '<': // <<, <=, <
	switch(*pc.source) {
	case '<': // <[<]
	skip_analized=1; result=NSL; break;
	case '=': // <[=]
	skip_analized=1; result=NLE; break;
	default: // <[]
	result=c; break;
	}
	goto break2;
	case '>': // >>, >=, >
	switch(*pc.source) {
	case '>': // >[>]
	skip_analized=1; result=NSR; break;
	case '=': // >[=]
	skip_analized=1; result=NGE; break;
	default: // >[]
	result=c; break;
	}
	goto break2;
	case '=': // ==
	switch(*pc.source) {
	case '=': // =[=]
	skip_analized=1; result=NEQ; break;
	default: // =[]
	result=c; break; // not used now
	}
goto break2;	goto break2;

case '"':	case '"':
push_LS(PC, LS_EXPRESSION_STRING_QUOTED);	push_LS(pc, LS_EXPRESSION_STRING_QUOTED);
RC;	RC;
case '\'':	case '\'':
push_LS(PC, LS_EXPRESSION_STRING_APOSTROFED);	push_LS(pc, LS_EXPRESSION_STRING_APOSTROFED);
RC;	RC;
case 'l': case 'g': case 'e': case 'n':	case 'l': case 'g': case 'e': case 'n':
if(end==begin) // right after whitespace	if(end==begin) // right after whitespace
if(isspace(PC.source[1])) {	if(isspace(pc.source[1])) {
switch(*PC.source) {	switch(*pc.source) {
// case '?': // ok [and bad cases, yacc would bark at them]	// case '?': // ok [and bad cases, yacc would bark at them]
case 't': // lt gt [et nt]	case 't': // lt gt [et nt]
result=c=='l'?SLT:c=='g'?SGT:BAD_STRING_COMPARISON_OPERATOR;	result=c=='l'?SLT:c=='g'?SGT:BAD_STRING_COMPARISON_OPERATOR;
Line 905 default:	Line 1210 default:
break;	break;
case 'i':	case 'i':
if(end==begin) // right after whitespace	if(end==begin) // right after whitespace
if(isspace(PC.source[1])) {	if(isspace(pc.source[1])) {
switch(PC.source[0]) {	switch(pc.source[0]) {
case 'n': // in	case 'n': // in
skip_analized=1;	skip_analized=1;
result=IN;	result=IN;
Line 920 default:	Line 1225 default:
break;	break;
case 'd':	case 'd':
if(end==begin) // right after whitespace	if(end==begin) // right after whitespace
if(PC.source[0]=='e' && PC.source[1]=='f') { // def	if(pc.source[0]=='e' && pc.source[1]=='f') { // def
skip_analized=2;	switch(pc.source[2]){
result=DEF;	case ' ': case '\t': case '\n': case '"': case '\'': case '^': case '$': // non-quoted string without whitespace after 'def' is not allowed
	skip_analized=2;
	result=DEF;
	goto break2;
	}
	// error: incorrect char after 'def'
	}
	break;
	case 't':
	if(end==begin) // right after whitespace
	if(pc.source[0]=='r' && pc.source[1]=='u' && pc.source[2]=='e') { // true
	skip_analized=3;
	result=LITERAL_TRUE;
	goto break2;
	}
	break;
	case 'f':
	if(end==begin) // right after whitespace
	if(pc.source[0]=='a' && pc.source[1]=='l' && pc.source[2]=='s' && pc.source[3]=='e') { // false
	skip_analized=4;
	result=LITERAL_FALSE;
goto break2;	goto break2;
}	}
break;	break;
Line 934 default:	Line 1259 default:
// that's a leading\|traling space or after-operator-space	// that's a leading\|traling space or after-operator-space
// ignoring it	// ignoring it
// reset piece 'begin' position & line	// reset piece 'begin' position & line
begin=PC.source; // after whitespace char	begin=pc.source; // after whitespace char
begin_line=PC.line;	begin_pos=pc.pos;
	continue;
	}
	break;
	case LS_EXPRESSION_COMMENT:
	if(c=='(')
	lexical_brackets_nestage++;

	switch(*pc.source) {
	case '\n': case ')':
	if(*pc.source==')')
	if(--lexical_brackets_nestage!=0)
	continue;

	// skip comment
	begin=pc.source;
	begin_pos=pc.pos;

	pop_LS(pc);
continue;	continue;
}	}
break;	break;
Line 946 default:	Line 1289 default:
case LS_EXPRESSION_VAR_NAME_WITH_COLON:	case LS_EXPRESSION_VAR_NAME_WITH_COLON:
case LS_EXPRESSION_VAR_NAME_WITHOUT_COLON:	case LS_EXPRESSION_VAR_NAME_WITHOUT_COLON:
if(	if(
PC.ls==LS_EXPRESSION_VAR_NAME_WITH_COLON \|\|	pc.ls==LS_EXPRESSION_VAR_NAME_WITH_COLON \|\|
PC.ls==LS_EXPRESSION_VAR_NAME_WITHOUT_COLON) {	pc.ls==LS_EXPRESSION_VAR_NAME_WITHOUT_COLON) {
// name in expr ends also before	// name in expr ends also before
switch(c) {	switch(c) {
// expression minus	// expression minus
case '-':	case '-':
// expression integer division	// expression integer division
case '\\':	case '\\':
pop_LS(PC);	pop_LS(pc);
PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; }	pc.ungetc();
result=EON;	result=EON;
goto break2;	goto break2;
}	}
}	}
if(	if(
PC.ls==LS_VAR_NAME_SIMPLE_WITHOUT_COLON \|\|	pc.ls==LS_VAR_NAME_SIMPLE_WITHOUT_COLON \|\|
PC.ls==LS_EXPRESSION_VAR_NAME_WITHOUT_COLON) {	pc.ls==LS_EXPRESSION_VAR_NAME_WITHOUT_COLON) {
// name already has ':', stop before next	// name already has ':', stop before next
switch(c) {	switch(c) {
case ':':	case ':':
pop_LS(PC);	pop_LS(pc);
PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; }	pc.ungetc();
result=EON;	result=EON;
goto break2;	goto break2;
}	}
Line 983 default:	Line 1326 default:
case '&': case '\|':	case '&': case '\|':
case '=': case '!':	case '=': case '!':
// common delimiters	// common delimiters
case ',': case '?':	case ',': case '?': case '#':
	// mysql column separators
	case '`':
// before call	// before call
case '^':	case '^':
pop_LS(PC);	pop_LS(pc);
PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; }	pc.ungetc();
result=EON;	result=EON;
goto break2;	goto break2;
case '[':	case '[':
// $name.<[>code]	// $name.<[>code]
if(PC.col>1/not first column/ && (	if(pc.pos.col>1/not first column/ && (
end[-1]=='$'/was start of get/ \|\|	end[-1]=='$'/was start of get/ \|\|
end[-1]==':'/was class name delim / \|\|	end[-1]==':'/was class name delim / \|\|
end[-1]=='.'/was name delim /	end[-1]=='.'/was name delim /
)) {	)) {
push_LS(PC, LS_NAME_SQUARE_PART);	push_LS(pc, LS_NAME_SQUARE_PART);
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
}	}
PC.ls=LS_VAR_SQUARE;	pc.ls=LS_VAR_SQUARE;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
case '{':	case '{':
if(begin==end) { // ${name}, no need of EON, switching LS	if(begin==end) { // ${name}, no need of EON, switching LS
PC.ls=LS_VAR_NAME_CURLY;	pc.ls=LS_VAR_NAME_CURLY;
} else {	} else {
PC.ls=LS_VAR_CURLY;	pc.ls=LS_VAR_CURLY;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
}	}

RC;	RC;
case '(':	case '(':
PC.ls=LS_VAR_ROUND;	pc.ls=LS_VAR_ROUND;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
case '.': // name part delim	case '.': // name part delim
case '$': // name part subvar	case '$': // name part subvar
case ':': // class<:>name	case ':': // class<:>name
// go to _WITHOUT_COLON state variant...	// go to _WITHOUT_COLON state variant...
if(PC.ls==LS_VAR_NAME_SIMPLE_WITH_COLON)	if(pc.ls==LS_VAR_NAME_SIMPLE_WITH_COLON)
PC.ls=LS_VAR_NAME_SIMPLE_WITHOUT_COLON;	pc.ls=LS_VAR_NAME_SIMPLE_WITHOUT_COLON;
else if(PC.ls==LS_EXPRESSION_VAR_NAME_WITH_COLON)	else if(pc.ls==LS_EXPRESSION_VAR_NAME_WITH_COLON)
PC.ls=LS_EXPRESSION_VAR_NAME_WITHOUT_COLON;	pc.ls=LS_EXPRESSION_VAR_NAME_WITHOUT_COLON;
// ...stop before next ':'	// ...stop before next ':'
RC;	RC;
}	}
Line 1034 default:	Line 1379 default:
switch(c) {	switch(c) {
case '[':	case '[':
// ${name.<[>code]}	// ${name.<[>code]}
push_LS(PC, LS_NAME_SQUARE_PART);	push_LS(pc, LS_NAME_SQUARE_PART);
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
case '}': // ${name} finished, restoring LS	case '}': // ${name} finished, restoring LS
pop_LS(PC);	pop_LS(pc);
RC;	RC;
case '.': // name part delim	case '.': // name part delim
case '$': // name part subvar	case '$': // name part subvar
Line 1050 default:	Line 1395 default:
case LS_VAR_SQUARE:	case LS_VAR_SQUARE:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE_WITH_COLON);	push_LS(pc, LS_VAR_NAME_SIMPLE_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
case ']':	case ']':
if(--lexical_brackets_nestage==0) {	if(--lexical_brackets_nestage==0) {
pop_LS(PC);	pop_LS(pc);
RC;	RC;
}	}
break;	break;
Line 1072 default:	Line 1417 default:
case LS_VAR_CURLY:	case LS_VAR_CURLY:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE_WITH_COLON);	push_LS(pc, LS_VAR_NAME_SIMPLE_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
case '}':	case '}':
if(--lexical_brackets_nestage==0) {	if(--lexical_brackets_nestage==0) {
pop_LS(PC);	pop_LS(pc);
RC;	RC;
}	}
break;	break;
Line 1094 default:	Line 1439 default:
switch(c) {	switch(c) {
case '[':	case '[':
// ^name.<[>code].xxx	// ^name.<[>code].xxx
if(PC.col>1/not first column/ && (	if(pc.pos.col>1/not first column/ && (
end[-1]=='^'/was start of call/ \|\| // never, ^[ is literal...	end[-1]=='^'/was start of call/ \|\| // never, ^[ is literal...
end[-1]==':'/was class name delim / \|\|	end[-1]==':'/was class name delim / \|\|
end[-1]=='.'/was name delim /	end[-1]=='.'/was name delim /
)) {	)) {
push_LS(PC, LS_NAME_SQUARE_PART);	push_LS(pc, LS_NAME_SQUARE_PART);
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
}	}
PC.ls=LS_METHOD_SQUARE;	pc.ls=LS_METHOD_SQUARE;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
case '{':	case '{':
PC.ls=LS_METHOD_CURLY;	pc.ls=LS_METHOD_CURLY;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
case '(':	case '(':
PC.ls=LS_METHOD_ROUND;	pc.ls=LS_METHOD_ROUND;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
case '.': // name part delim	case '.': // name part delim
Line 1119 default:	Line 1464 default:
case ':': // ':name' or 'class:name'	case ':': // ':name' or 'class:name'
case '^': // ^abc^xxx wrong. bailing out	case '^': // ^abc^xxx wrong. bailing out
case ']': case '}': case ')': // ^abc]}) wrong. bailing out	case ']': case '}': case ')': // ^abc]}) wrong. bailing out
	case ' ': // ^if ( wrong. bailing out
RC;	RC;
}	}
break;	break;
Line 1126 default:	Line 1472 default:
case LS_METHOD_SQUARE:	case LS_METHOD_SQUARE:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE_WITH_COLON);	push_LS(pc, LS_VAR_NAME_SIMPLE_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
case ';': // param delim	case ';': // param delim
RC;	RC;
case ']':	case ']':
if(--lexical_brackets_nestage==0) {	if(--lexical_brackets_nestage==0) {
PC.ls=LS_METHOD_AFTER;	pc.ls=LS_METHOD_AFTER;
RC;	RC;
}	}
break;	break;
Line 1148 default:	Line 1494 default:
case LS_METHOD_CURLY:	case LS_METHOD_CURLY:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE_WITH_COLON);	push_LS(pc, LS_VAR_NAME_SIMPLE_WITH_COLON);
RC;	RC;
case '^':	case '^':
push_LS(PC, LS_METHOD_NAME);	push_LS(pc, LS_METHOD_NAME);
RC;	RC;
case ';': // param delim	case ';': // param delim
RC;	RC;
case '}':	case '}':
if(--lexical_brackets_nestage==0) {	if(--lexical_brackets_nestage==0) {
PC.ls=LS_METHOD_AFTER;	pc.ls=LS_METHOD_AFTER;
RC;	RC;
}	}
break;	break;
Line 1165 default:	Line 1511 default:
lexical_brackets_nestage++;	lexical_brackets_nestage++;
break;	break;
}	}
	if(pc.explicit_result && c)
	switch(c) {
	case '\n': case ' ': case '\t':
	begin=pc.source;
	begin_pos=pc.pos;
	continue; // skip it
	default:
	result=BAD_NONWHITESPACE_CHARACTER_IN_EXPLICIT_RESULT_MODE;
	goto break2;
	}
break;	break;

case LS_METHOD_AFTER:	case LS_METHOD_AFTER:
if(c=='[') {/* ][ }[ )[ */	if(c=='[') {/* ][ }[ )[ */
PC.ls=LS_METHOD_SQUARE;	pc.ls=LS_METHOD_SQUARE;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
}	}
if(c=='{') {/* ]{ }{ ){ */	if(c=='{') {/* ]{ }{ ){ */
PC.ls=LS_METHOD_CURLY;	pc.ls=LS_METHOD_CURLY;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
}	}
if(c=='(') {/* ]( }( )( */	if(c=='(') {/* ]( }( )( */
PC.ls=LS_METHOD_ROUND;	pc.ls=LS_METHOD_ROUND;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
}	}
pop_LS(PC);	pop_LS(pc);
PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; }	pc.ungetc();
result=EON;	result=EON;
goto break2;	goto break2;
}	}
Line 1202 break2:	Line 1558 break2:
if(end!=begin && end[-1]=='\n') // allow one empty line before LS_DEF_NAME	if(end!=begin && end[-1]=='\n') // allow one empty line before LS_DEF_NAME
end--;	end--;
}	}
if(end!=begin && PC.ls!=LS_COMMENT) { // last piece still alive and not comment?	if(end!=begin && pc.ls!=LS_USER_COMMENT) { // last piece still alive and not comment?
	if(!pc.string_start)
	pc.string_start=begin_pos;
// append it	// append it
PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line/, start_col/);	pc.string.append_strdup_know_length(begin, end-begin);
}	}
}	}
if(PC.string->size()) { // something accumulated?	if(!pc.string.is_empty()) { // something accumulated?
// create STRING value: array of OP_VALUE+vstring	// create STRING value: array of OP_VALUE+origin+vstring
lvalp=VL(NEW VString(PC.string));	*lvalp=VL(
	new VString(*new String(pc.string, String::L_CLEAN)),
	pc.file_no, pc.string_start.line, pc.string_start.col);
// new pieces storage	// new pieces storage
PC.string=NEW String(POOL);	pc.string.clear();
	pc.string_start.clear();
// make current result be pending for next call, return STRING for now	// make current result be pending for next call, return STRING for now
PC.pending_state=result; result=STRING;	pc.pending_state=result; result=STRING;
}	}
if(skip_analized) {	if(skip_analized) {
PC.source+=skip_analized; PC.col+=skip_analized;	pc.source+=skip_analized; pc.pos.col+=skip_analized;
}	}
return result;	return result;
}	}

static int real_yyerror(parse_control pc, char s) { // Called by yyparse on error	static int real_yyerror(Parse_control pc, char s) { // Called by yyparse on error
strncpy(PC.error, s, MAX_STRING);	strncpy(PC.error, s, MAX_STRING);
return 1;	return 1;
}	}

static void yyprint(FILE *file, int type, YYSTYPE value) {	static void yyprint(FILE *file, int type, YYSTYPE value) {
if(type==STRING)	if(type==STRING)
fprintf(file, " \"%s\"", LA2S(value)->cstr());	fprintf(file, " \"%s\"", LA2S(*value)->cstr());
}	}

E-mail:

Removed from v.1.182
changed lines
	Added in v.1.245