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.213.10.5 and 1.257

version 1.213.10.5, 2005/11/21 09:47:35	version 1.257, 2010/07/05 01:47:55
Line 2	Line 2
/** @file	/** @file
Parser: compiler(lexical parser and grammar).	Parser: compiler(lexical parser and grammar).

Copyright (c) 2001-2005 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 41	Line 41
// defines	// defines

#define USE_CONTROL_METHOD_NAME "USE"	#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	// forwards

Line 48 static int real_yyerror(Parse_control* p	Line 52 static int real_yyerror(Parse_control* p
static void yyprint(FILE* file, int type, YYSTYPE value);	static void yyprint(FILE* file, int type, YYSTYPE value);
static int yylex(YYSTYPE* lvalp, void* pc);	static int yylex(YYSTYPE* lvalp, void* pc);

static ArrayOperation* vlfalse=VL(new VBool(false), 0, 0, 0);	static const VBool vfalse(false);
static ArrayOperation* vltrue=VL(new VBool(true), 0, 0, 0);	static const VBool vtrue(true);
static ArrayOperation* vlvoid=VL(new VVoid(), 0, 0, 0);	static const VVoid vvoid;

// local convinient inplace typecast & var	// local convinient inplace typecast & var
#undef PC	#undef PC
Line 126 static ArrayOperation* vlvoid=VL(new VVo	Line 130 static ArrayOperation* vlvoid=VL(new VVo
%%	%%
all:	all:
one_big_piece {	one_big_piece {
Method& method=*new Method(Method::CT_ANY,	Method* method=new Method(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(PC.alias_method(main_method_name), method);	PC.cclass->set_method(PC.alias_method(main_method_name), method);
}	}
\| methods;	\| methods;

Line 150 control_method: '@' STRING '\n'	Line 154 control_method: '@' STRING '\n'
YYERROR;	YYERROR;
}	}
if(command==CLASS_NAME) {	if(command==CLASS_NAME) {
if(PC.cclass->base_class()) { // already changed from default?
strcpy(PC.error, "class already have a name '");
strncat(PC.error, PC.cclass->name().cstr(), 100);
strcat(PC.error, "'");
YYERROR;
}
if(strings_code->count()==1*OPERATIONS_PER_OPVALUE) {	if(strings_code->count()==1*OPERATIONS_PER_OPVALUE) {
// new class' name	// new class' name
const String& name=LA2S(strings_code);	const String& name=LA2S(strings_code);
// creating the class	// creating the class
VStateless_class* cclass=new VClass;	VStateless_class* cclass=new VClass;
PC.cclass=cclass;	PC.cclass_new=cclass;
PC.cclass->set_name(name);	PC.cclass_new->set_name(name);
// append to request's classes
PC.request.classes().put(name, cclass);
} else {	} else {
strcpy(PC.error, "@"CLASS_NAME" must contain only one line with class name (contains more then one)");	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(size_t i=0; i<strings_code->count(); i+=OPERATIONS_PER_OPVALUE)	for(size_t i=0; i<strings_code->count(); i+=OPERATIONS_PER_OPVALUE)
PC.request.use_file(PC.request.main_class, LA2S(strings_code, i));	PC.request.use_file(PC.request.main_class, LA2S(strings_code, i), PC.request.get_used_filename(PC.file_no));
} else if(command==BASE_NAME) {	} else if(command==BASE_NAME) {
	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?	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_class()->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->count()==1*OPERATIONS_PER_OPVALUE) {	if(strings_code->count()==1*OPERATIONS_PER_OPVALUE) {
const String& base_name=LA2S(strings_code);	const String& base_name=LA2S(strings_code);
if(Value* base_class_value=PC.request.classes().get(base_name)) {	if(Value* base_class_value=PC.request.get_class(base_name)) {
// @CLASS == @BASE sanity check	// @CLASS == @BASE sanity check
if(VStateless_class *base_class=base_class_value->get_class()) {	if(VStateless_class *base_class=base_class_value->get_class()) {
if(PC.cclass==base_class) {	if(PC.cclass==base_class) {
Line 203 control_method: '@' STRING '\n'	Line 206 control_method: '@' STRING '\n'
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 {
	// marks the new class as partial. we will be able to add methods here later.
	PC.cclass_new->set_partial();
	}
	} else {
	strcpy(PC.error, "'"OPTION_PARTIAL_CLASS"' option should be used straight after @"CLASS_NAME);
	YYERROR;
	}
	} else if(option==method_call_type_static){
	PC.set_methods_call_type(Method::CT_STATIC);
	} else if(option==method_call_type_dynamic){
	PC.set_methods_call_type(Method::CT_DYNAMIC);
	} else {
	strcpy(PC.error, "'");
	strncat(PC.error, option.cstr(), MAX_STRING/2);
	strcat(PC.error, "' invalid option. valid options are "
	"'"OPTION_PARTIAL_CLASS"', '"OPTION_ALL_VARS_LOCAL_NAME"'"
	", '"METHOD_CALL_TYPE_STATIC"' and '"METHOD_CALL_TYPE_DYNAMIC"'"
	);
	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;
}	}
};	};
Line 217 control_string: maybe_string '\n';	Line 256 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' {
	PC.class_add();
PC.explicit_result=false;	PC.explicit_result=false;
const String& name=LA2S($2);

YYSTYPE params_names_code=$3;	YYSTYPE params_names_code=$3;
ArrayString* params_names=0;	ArrayString* params_names=0;
Line 230 code_method: '@' STRING bracketed_maybe_	Line 269 code_method: '@' STRING bracketed_maybe_

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

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

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

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

maybe_bracketed_strings: empty \| bracketed_maybe_strings;	maybe_bracketed_strings: empty \| bracketed_maybe_strings;
Line 274 action: get \| put \| call;	Line 321 action: get \| put \| call;
/* get */	/* get */

get: get_value {	get: get_value {
$$=$1; /* stack: resulting value */	$$=N();
changetail_or_append(*$$,	YYSTYPE code=$1;
OP_GET_ELEMENT, false, /->/OP_GET_ELEMENT__WRITE,	size_t count=code->count();
/or /OP_WRITE_VALUE
); /* value=pop; wcontext.write(value) */	#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
	if(
	count!=3
	\|\| !maybe_change_first_opcode(code, OP::OP_VALUE__GET_ELEMENT, /=>*/OP::OP_VALUE__GET_ELEMENT__WRITE)
	)
	#endif

	#ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT
	if(
	count!=3
	\|\| !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(
	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(
	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 288 name_without_curly_rdive:	Line 369 name_without_curly_rdive:
\| 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();	$$=N();
ArrayOperation* diving_code=$1;	YYSTYPE diving_code=$1;
const String* first_name=LA2S(*diving_code);	size_t count=diving_code->count();
// self.xxx... -> xxx...
// OP_VALUE+origin+string+OP_GET_ELEMENT+... -> OP_WITH_SELF+...	if(maybe_make_self($$, diving_code, count)) {
if(first_name && *first_name==SELF_ELEMENT_NAME) {	// $self.
O(yyval, OP_WITH_SELF); / stack: starting context */	} else
P(yyval, diving_code,
/* skip over... */	#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT
diving_code->count()>=4?4/OP_VALUE+origin+string+OP_GET_ELEMENTx/:3/OP_+origin+string/);	if(maybe_make_get_object_element($$, diving_code, count)){
	// optimization for $object.field + ^object.method[
	} else
	#endif

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

	#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
	if(
	count>=4
	&& (*diving_code)[0].code==OP::OP_VALUE
	&& (*diving_code)[3].code==OP::OP_GET_ELEMENT
	){
	// optimization
	O(*$$,
	(PC.in_call_value && count==4)
	? 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
	if(count>4)
	P($$, diving_code, 4); // copy tail
} else {	} else {
O(yyval, OP_WITH_READ); / stack: starting context */	O($$, OP::OP_WITH_READ); / stack: starting context */
	P($$, diving_code);
	}
	#else
	{
	O($$, OP::OP_WITH_READ); / stack: starting context */

// ^if ELEMENT -> ^if ELEMENT_OR_OPERATOR	// ^if OP_ELEMENT => ^if OP_ELEMENT_OR_OPERATOR
// OP_VALUE+origin+string+OP_GET_ELEMENT. -> OP_VALUE+origin+string+OP_GET_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 && diving_code->count()==4)	if(PC.in_call_value && count==4)
diving_code->put(4-1, OP_GET_ELEMENT_OR_OPERATOR);	diving_code->put(count-1, OP::OP_GET_ELEMENT_OR_OPERATOR);
P($$, diving_code);	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) };
Line 314 name_without_curly_rdive_code: name_adva	Line 426 name_without_curly_rdive_code: name_adva
/* 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], $self.a[value], $self.a(expr)
	} 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
Line 323 name_expr_wdive:	Line 443 name_expr_wdive:
\| 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();	$$=N();
ArrayOperation* diving_code=$1;	YYSTYPE diving_code=$1;
const String* first_name=LA2S(*diving_code);	size_t count=diving_code->count();
// $self.xxx... -> $xxx...
// OP_VALUE+origin+string+OP_GET_ELEMENT+... -> OP_WITH_SELF+...	if(maybe_make_self($$, diving_code, count)) {
if(first_name && *first_name==SELF_ELEMENT_NAME) {	// $self.
O($$, OP_WITH_SELF); / stack: starting context */	} else
P($$, diving_code,	#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT
/* skip over... */	if(
diving_code->count()>=4?4/OP_VALUE+origin+string+OP_GET_ELEMENTx/:3/OP_+origin+string/);	count>=4
} else {	&& (*diving_code)[0].code==OP::OP_VALUE
O($$, OP_WITH_ROOT); / stack: starting context */	&& (*diving_code)[3].code==OP::OP_GET_ELEMENT
	){
	O(*$$, OP::OP_WITH_ROOT__VALUE__GET_ELEMENT);
	P($$, diving_code, 1/offset/, 2/limit/); // copy origin+value
	if(count>4)
	P($$, diving_code, 4); // tail
	} else
	#endif
	{
	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();	$$=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
Line 358 construct_square: '[' {	Line 487 construct_square: '[' {
} ']' {	} ']' {
// stack: context, name	// stack: context, name
$$=$3; // 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();	$$=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();	$$=N();
OA($$, OP_CURLY_CODE__CONSTRUCT, $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 382 any_constructor_code_value:	Line 511 any_constructor_code_value:
;	;
constructor_code_value: constructor_code {	constructor_code_value: constructor_code {
$$=N();	$$=N();
OA($$, OP_OBJECT_POOL, $1); / stack: empty write context */	OA($$, OP::OP_OBJECT_POOL, $1); / stack: empty write context */
/* some code that writes to that context */	/* some code that writes to that context */
/* context=pop; stack: context.value() */	/* context=pop; stack: context.value() */
};	};
Line 392 codes__excluding_sole_str_literal: actio	Line 521 codes__excluding_sole_str_literal: actio
/* call */	/* call */

call: call_value {	call: call_value {
$$=$1; /* stack: value */	#ifdef OPTIMIZE_BYTECODE_CUT_REM_OPERATOR
changetail_or_append(*$$,	if((*$1).count())
OP_CALL, true, /->/ OP_CALL__WRITE,	#endif
/or /OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */	{
	$$=$1; /* stack: value */
	if(!maybe_change_first_opcode($$, OP::OP_CONSTRUCT_OBJECT, /=>*/OP::OP_CONSTRUCT_OBJECT__WRITE))
	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 404 call_value: '^' {	Line 539 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
	#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
	{
	YYSTYPE params_code=$5;
	if(params_code->count()==3) { // probably [] case. [OP::OP_VALUE+origin+Void]
	if(Value* value=LA2V(*params_code)) // it is OP_VALUE+origin+value?
	if(value->is_void()) // value is VVoid?
	params_code=0; // ^zzz[] case. don't append lone empty param.
	}
	/* stack: context, method_junction */

YYSTYPE params_code=$5;	YYSTYPE var_code=$3;
if(params_code->count()==4) { // probably [] case. [OP_VALUE+origin+Void+STORE_PARAM]	if(
if(Value* value=LA2V(*params_code)) // it is OP_VALUE+origin+value?	var_code->count()==8
if(!value->is_defined()) // value is VVoid?	&& (*var_code)[0].code==OP::OP_VALUE__GET_CLASS
params_code=0; // ^zzz[] case. don't append lone empty param.	&& (*var_code)[3].code==OP::OP_PREPARE_TO_CONSTRUCT_OBJECT
}	&& (*var_code)[4].code==OP::OP_VALUE
/* stack: context, method_junction */	&& (*var_code)[7].code==OP::OP_GET_ELEMENT
OA(*$$, OP_CALL, params_code); // method_frame=make frame(pop junction); ncontext=pop; call(ncontext,method_frame) stack: value	){
	yyval=N();
	O(*$$, OP::OP_CONSTRUCT_OBJECT);
	P($$, var_code, 1/offset/, 2/limit/); // class name
	P($$, var_code, 5/offset/, 2/limit/); // constructor name
	OA(*$$, params_code);
	} else
	{
	$$=var_code; /* with_xxx,diving code; stack: context,method_junction */
	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;
Line 446 store_curly_param_parts:	Line 609 store_curly_param_parts:
;	;
store_code_param_part: code_param_value {	store_code_param_part: code_param_value {
$$=$1;	$$=$1;
O(*$$, OP_STORE_PARAM);
};	};
store_expr_param_part: expr_value {	store_expr_param_part: expr_value {
YYSTYPE expr_code=$1;	YYSTYPE expr_code=$1;
if(expr_code->count()==3	if(expr_code->count()==3
&& (*expr_code)[0].code==OP_VALUE) { // optimizing (double/bool/incidently 'string' too) case. [OP_VALUE+origin+Double]	&& (*expr_code)[0].code==OP::OP_VALUE) { // optimizing (double/bool/incidently 'string' too) case. [OP::OP_VALUE+origin+Double]. no evaluating
$$=expr_code;	$$=expr_code;
O(*$$, OP_STORE_PARAM); // no evaluating
} else {	} else {
ArrayOperation* code=N();	YYSTYPE code=N();
O(*code, OP_PREPARE_TO_EXPRESSION);	O(*code, OP::OP_PREPARE_TO_EXPRESSION);
P(code, expr_code);	P(code, expr_code);
O(*code, OP_WRITE_EXPR_RESULT);	O(*code, OP::OP_WRITE_EXPR_RESULT);
$$=N();	$$=N();
OA(*$$, OP_EXPR_CODE__STORE_PARAM, code);	OA(*$$, OP::OP_EXPR_CODE__STORE_PARAM, code);
}	}
};	};
store_curly_param_part: maybe_codes {	store_curly_param_part: maybe_codes {
$$=N();	$$=N();
OA(*$$, OP_CURLY_CODE__STORE_PARAM, $1);	OA(*$$, OP::OP_CURLY_CODE__STORE_PARAM, $1);
};	};
code_param_value:	code_param_value:
void_value /* optimized [;...] case */	void_value /* optimized [;...] case */
Line 485 name_advance1: name_expr_value {	Line 646 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 502 name_expr_value:	Line 663 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 {
ArrayOperation* code;	YYSTYPE code;
{	{
change_string_literal_to_write_string_literal(*(code=$1));	change_string_literal_to_write_string_literal(*(code=$1));
P(code, $2);	P(code, $2);
}	}
$$=N();	$$=N();
OA(*$$, OP_STRING_POOL, code);	OA(*$$, OP::OP_STRING_POOL, code);
};	};
name_square_code_value: '[' {	name_square_code_value: '[' {
// allow $result_or_other_variable[ letters here any time ]	// allow $result_or_other_variable[ letters here any time ]
Line 520 name_square_code_value: '[' {	Line 681 name_square_code_value: '[' {
PC.explicit_result=reinterpret_cast<bool>(&$2);	PC.explicit_result=reinterpret_cast<bool>(&$2);
} ']' {	} ']' {
$$=N();	$$=N();
OA($$, OP_OBJECT_POOL, $3); / stack: empty write context */	OA($$, OP::OP_OBJECT_POOL, $3); / stack: empty write context */
/* some code that writes to that context */	/* some code that writes to that context */
/* context=pop; stack: context.value() */	/* context=pop; stack: context.value() */
};	};
subvar_ref_name_rdive: STRING {	subvar_ref_name_rdive: STRING {
$$=N();	$$=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 549 class_static_prefix: STRING ':' {	Line 710 class_static_prefix: STRING ':' {
YYERROR;	YYERROR;
}	}
}	}
O(*$$, OP_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)
};	};
class_constructor_prefix: class_static_prefix ':' {	class_constructor_prefix: class_static_prefix ':' {
$$=$1;	$$=$1;
Line 557 class_constructor_prefix: class_static_p	Line 719 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);
};	};


Line 566 class_constructor_prefix: class_static_p	Line 728 class_constructor_prefix: class_static_p
expr_value: expr;	expr_value: expr;
expr:	expr:
double_or_STRING	double_or_STRING
\| "true" { $$ = vltrue }	\| true_value
\| "false" { $$ = vlfalse }	\| 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 NUNARY { $$=$2; O(*$$, OP_NEG) }	\| '-' expr %prec NUNARY { $$=$2; O(*$$, OP::OP_NEG) }
\| '+' expr %prec NUNARY { $$=$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_SL) }	\| expr "<<" expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_SL) }
\| expr ">>" expr { $$=$1; P($$, $3); O(*$$, OP_BIN_SR) }	\| expr ">>" expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_SR) }
\| expr '&' expr { $$=$1; P($$, $3); O(*$$, OP_BIN_AND) }	\| expr '&' expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_AND) }
\| expr '\|' expr { $$=$1; P($$, $3); O(*$$, OP_BIN_OR) }	\| expr '\|' expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_OR) }
\| expr "!\|" expr { $$=$1; P($$, $3); O(*$$, OP_BIN_XOR) }	\| expr "!\|" expr { $$=$1; P($$, $3); O(*$$, OP::OP_BIN_XOR) }
\| expr "&&" expr { $$=$1; OA($$, OP_NESTED_CODE, $3); O($$, OP_LOG_AND) }	\| expr "&&" expr { $$=$1; OA($$, OP::OP_NESTED_CODE, $3); O($$, OP::OP_LOG_AND) }
\| expr "\|\|" expr { $$=$1; OA($$, OP_NESTED_CODE, $3); O($$, OP_LOG_OR) }	\| expr "\|\|" expr { $$=$1; OA($$, OP::OP_NESTED_CODE, $3); O($$, OP::OP_LOG_OR) }
\| expr "!\|\|" expr { $$=$1; P($$, $3); O(*$$, OP_LOG_XOR) }	\| expr "!\|\|" expr { $$=$1; P($$, $3); O(*$$, OP::OP_LOG_XOR) }
\| expr '<' expr { $$=$1; P($$, $3); O(*$$, OP_NUM_LT) }	\| expr '<' expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_LT) }
\| expr '>' expr { $$=$1; P($$, $3); O(*$$, OP_NUM_GT) }	\| expr '>' expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_GT) }
\| expr "<=" expr { $$=$1; P($$, $3); O(*$$, OP_NUM_LE) }	\| expr "<=" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_LE) }
\| expr ">=" expr { $$=$1; P($$, $3); O(*$$, OP_NUM_GE) }	\| expr ">=" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_GE) }
\| expr "==" expr { $$=$1; P($$, $3); O(*$$, OP_NUM_EQ) }	\| expr "==" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_EQ) }
\| expr "!=" expr { $$=$1; P($$, $3); O(*$$, OP_NUM_NE) }	\| expr "!=" expr { $$=$1; P($$, $3); O(*$$, OP::OP_NUM_NE) }
\| expr "lt" expr { $$=$1; P($$, $3); O(*$$, OP_STR_LT) }	\| expr "lt" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_LT) }
\| expr "gt" expr { $$=$1; P($$, $3); O(*$$, OP_STR_GT) }	\| expr "gt" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_GT) }
\| expr "le" expr { $$=$1; P($$, $3); O(*$$, OP_STR_LE) }	\| expr "le" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_LE) }
\| expr "ge" expr { $$=$1; P($$, $3); O(*$$, OP_STR_GE) }	\| expr "ge" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_GE) }
\| expr "eq" expr { $$=$1; P($$, $3); O(*$$, OP_STR_EQ) }	\| expr "eq" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_EQ) }
\| expr "ne" expr { $$=$1; P($$, $3); O(*$$, OP_STR_NE) }	\| expr "ne" expr { $$=$1; P($$, $3); O(*$$, OP::OP_STR_NE) }
\| expr "is" expr { $$=$1; P($$, $3); O(*$$, OP_IS) }	\| expr "is" expr { $$=$1; P($$, $3); O(*$$, OP::OP_IS) }
;	;

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

string_inside_quotes_value: maybe_codes {	string_inside_quotes_value: maybe_codes {
	#ifdef OPTIMIZE_BYTECODE_STRING_POOL
	// it brakes ^if(" 09 "){...}
	YYSTYPE code=$1;
	$$=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();	$$=N();
OA($$, OP_STRING_POOL, $1); / stack: empty write context */	OA($$, OP::OP_STRING_POOL, $1); / stack: empty write context */
	#endif
/* some code that writes to that context */	/* some code that writes to that context */
/* context=pop; stack: context.get_string() */	/* context=pop; stack: context.get_string() */
};	};
Line 627 string_inside_quotes_value: maybe_codes	Line 801 string_inside_quotes_value: maybe_codes
/* 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 */ { $$=vlvoid };	void_value: /* empty / { $$=VL(/we know that we will not change it/const_cast<VVoid>(&vvoid), 0, 0, 0) }
	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() };	empty: /* empty */ { $$=N() };

%%	%%
Line 726 case LS_DEF_COMMENT:	Line 903 case LS_DEF_COMMENT:
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 '}':
Line 754 default:	Line 931 default:
pc.string.append_strdup_know_length(begin, end-begin);	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 c=	char c=(char)(
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(c==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
Line 773 default:	Line 950 default:
// skip analysis = forced literal	// 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;
}	}
Line 1070 default:	Line 1254 default:
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
goto break2;	skip_analized=2;
	result=DEF;
	goto break2;
	}
	// error: incorrect char after 'def'
}	}
break;	break;
case 't':	case 't':
if(end==begin) // right after whitespace	if(end==begin) // right after whitespace
if(pc.source[0]=='r' && pc.source[1]=='u' && pc.source[2]=='e') { // def	if(pc.source[0]=='r' && pc.source[1]=='u' && pc.source[2]=='e') { // true
skip_analized=3;	skip_analized=3;
result=LITERAL_TRUE;	result=LITERAL_TRUE;
goto break2;	goto break2;
Line 1085 default:	Line 1273 default:
break;	break;
case 'f':	case 'f':
if(end==begin) // right after whitespace	if(end==begin) // right after whitespace
if(pc.source[0]=='a' && pc.source[1]=='l' && pc.source[2]=='s' && pc.source[3]=='e') { // def	if(pc.source[0]=='a' && pc.source[1]=='l' && pc.source[2]=='s' && pc.source[3]=='e') { // false
skip_analized=4;	skip_analized=4;
result=LITERAL_FALSE;	result=LITERAL_FALSE;
goto break2;	goto break2;
Line 1162 default:	Line 1350 default:
case ']': case '}': case ')':	case ']': case '}': case ')':
case '"': case '\'':	case '"': case '\'':
case '<': case '>': // these stand for HTML brackets AND expression binary ops	case '<': case '>': // these stand for HTML brackets AND expression binary ops
case '+': case '*': case '/': case '%':	case '+': case '*': case '/': case '\\': case '%':
case '&': case '\|':	case '&': case '\|':
case '=': case '!':	case '=': case '!':
// common delimiters	// common delimiters
case ',': case '?': case '#':	case ',': case '?': case '#':
	// mysql column separators
	case '`':
// before call	// before call
case '^':	case '^':
pop_LS(pc);	pop_LS(pc);

E-mail:

Removed from v.1.213.10.5
changed lines
	Added in v.1.257