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.144 and 1.191

version 1.144, 2001/06/28 07:45:21	version 1.191, 2002/09/13 10:43:26
Line 1	Line 1
	%{
/** @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 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$
*/	*/
%{
static char *RCSId="$Id$";

/**	/**
@todo parser4:	@todo parser4:
Line 37 static char *RCSId="$Id$";	Line 37 static char *RCSId="$Id$";

#define SELF_ELEMENT_NAME "self"	#define SELF_ELEMENT_NAME "self"
#define USE_CONTROL_METHOD_NAME "USE"	#define USE_CONTROL_METHOD_NAME "USE"
#define END_CONTROL_METHOD_NAME "end"

static int real_yyerror(parse_control pc, char s);	static int real_yyerror(parse_control pc, char s);
static void yyprint(FILE *file, int type, YYSTYPE value);	static void yyprint(FILE *file, int type, YYSTYPE value);
Line 60 static int yylex(YYSTYPE lvalp, void p	Line 59 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 LAND "&&"	%token LAND "&&"
%token LOR "\|\|"	%token LOR "\|\|"
Line 100 static int yylex(YYSTYPE lvalp, void p	Line 100 static int yylex(YYSTYPE lvalp, void p

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

%%	%%
all:	all:
one_big_piece {	one_big_piece {
Method& method=*NEW Method(POOL,	Method& method=*NEW Method(POOL,
*main_method_name,	PC.request->main_method_name,
Method::CT_ANY,	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.request->main_method_name, method);
}	}
\| methods;	\| methods;

Line 125 control_method: '@' STRING '\n'	Line 125 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(command==END_CONTROL_METHOD_NAME && strings_code->size()==0)
break;
if(strings_code->size()<1*2) {	if(strings_code->size()<1*2) {
strcpy(PC.error, "@");	strcpy(PC.error, "@");
strcat(PC.error, command.cstr());	strcat(PC.error, command.cstr());
Line 134 control_method: '@' STRING '\n'	Line 132 control_method: '@' STRING '\n'
YYERROR;	YYERROR;
}	}
if(command==CLASS_NAME) {	if(command==CLASS_NAME) {
if(PC.cclass) { // already changed from default?	if(PC.cclass->base_class()) { // already changed from default?
strcpy(PC.error, "class already have a name '");	strcpy(PC.error, "class already have a name '");
strncat(PC.error, PC.cclass->name().cstr(), 100);	strncat(PC.error, PC.cclass->name().cstr(), 100);
strcat(PC.error, "'");	strcat(PC.error, "'");
Line 154 control_method: '@' STRING '\n'	Line 152 control_method: '@' STRING '\n'
}	}
} 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(int i=0; i<strings_code->size(); i+=2)
PC.request->use_file(	PC.request->use_file(*LA2S(strings_code, i));
PC.request->absolute(*LA2S(strings_code, i)));
} else if(command==BASE_NAME) {	} else if(command==BASE_NAME) {
if(PC.cclass->base()!=&PC.request->OP) { // 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()->name().cstr(), 100);	strncat(PC.error, PC.cclass->base_class()->name().cstr(), 100);
strcat(PC.error, "'");	strcat(PC.error, "'");
YYERROR;	YYERROR;
}	}
if(strings_code->size()==1*2) {	if(strings_code->size()==1*2) {
const String& base_name=*LA2S(strings_code);	const String& base_name=*LA2S(strings_code);
VClass base=static_cast<VClass >(	Value vbase_class=static_cast<VClass >(
PC.request->classes().get(base_name));	PC.request->classes().get(base_name));
if(!base) {	VStateless_class *base_class=vbase_class?vbase_class->get_class():0;
	if(!base_class) {
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	// @CLASS == @BASE sanity check
if(PC.cclass==base) {	if(PC.cclass==base_class) {
strcpy(PC.error, "@"CLASS_NAME" equals @"BASE_NAME);	strcpy(PC.error, "@"CLASS_NAME" equals @"BASE_NAME);
YYERROR;	YYERROR;
}	}
PC.cclass->set_base(*base);	PC.cclass->set_base(base_class);
} else {	} else {
strcpy(PC.error, "@"BASE_NAME" must contain sole name");	strcpy(PC.error, "@"BASE_NAME" must contain sole name");
YYERROR;	YYERROR;
Line 237 maybe_codes: empty \| codes;	Line 235 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 \| with \| call;	action: get \| put \| call;

/* get */	/* get */

get: get_value {	get: get_value {
$$=$1; /* stack: resulting value */	$$=$1; /* stack: resulting value */
O($$, OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */	changetail_or_append($$,
	OP_GET_ELEMENT, false, /->/OP_GET_ELEMENT__WRITE,
	/or /OP_WRITE_VALUE
	); /* value=pop; wcontext.write(value) */
};	};
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;
name_in_curly_rdive: '{' name_without_curly_rdive '}' { $$=$2 };	name_in_curly_rdive: '{' name_without_curly_rdive '}' { $$=$2 };
name_without_curly_rdive:	name_without_curly_rdive:
name_without_curly_rdive_read	name_without_curly_rdive_read
\| name_without_curly_rdive_root
\| 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(POOL);
Array *diving_code=$1;	Array *diving_code=$1;
const String *first_name=LA2S(diving_code);	const String *first_name=LA2S(diving_code);
	// self.xxx... -> xxx...
	// OP_VALUE+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_WITH_SELF); /* stack: starting context */
P($$, diving_code,	P($$, diving_code,
/* skip over... */	/* skip over... */
diving_code->size()>2?3/OP_+string+get_element/:2/OP_+string/);	diving_code->size()>=3?3/OP_VALUE+string+OP_GET_ELEMENTx/:2/OP_+string/);
} else {	} else {
O($$, OP_WITH_READ); /* stack: starting context */	O($$, OP_WITH_READ); /* stack: starting context */

	// ^if ELEMENT -> ^if ELEMENT_OR_OPERATOR
	// OP_VALUE+string+OP_GET_ELEMENT. -> OP_VALUE+string+OP_GET_ELEMENT_OR_OPERATOR.
	if(PC.in_call_value && diving_code->size()==3)
	diving_code->put_int(2, OP_GET_ELEMENT_OR_OPERATOR);
P($$, diving_code);	P($$, diving_code);
}	}
/* diving code; stack: current context */	/* diving code; stack: current context */
};	};
name_without_curly_rdive_root: ':' name_without_curly_rdive_code {
$$=N(POOL);
O($$, OP_WITH_ROOT); /* stack: starting context */
P($$, $2); /* 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) };

Line 282 put: '$' name_expr_wdive construct {	Line 284 put: '$' name_expr_wdive construct {
P($$, $3); /* stack: context,name,constructor_value */	P($$, $3); /* stack: context,name,constructor_value */
};	};
name_expr_wdive:	name_expr_wdive:
name_expr_wdive_write	name_expr_wdive_root
\| name_expr_wdive_root	\| name_expr_wdive_write
\| name_expr_wdive_class;	\| name_expr_wdive_class;
name_expr_wdive_write: name_expr_dive_code {	name_expr_wdive_root: name_expr_dive_code {
$$=N(POOL);	$$=N(POOL);
Array *diving_code=$1;	Array *diving_code=$1;
const String *first_name=LA2S(diving_code);	const String *first_name=LA2S(diving_code);
	// $self.xxx... -> $xxx...
	// OP_VALUE+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_WITH_SELF); /* stack: starting context */
P($$, diving_code,	P($$, diving_code,
/* skip over... */	/* skip over... */
diving_code->size()>2?3/OP_+string+get_element/:2/OP_+string/);	diving_code->size()>=3?3/OP_VALUE+string+OP_GET_ELEMENTx/:2/OP_+string/);
} else {	} else {
O($$, OP_WITH_WRITE); /* stack: starting context */	O($$, 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_root: ':' name_expr_dive_code {	name_expr_wdive_write: '.' name_expr_dive_code {
$$=N(POOL);	$$=N(POOL);
O($$, OP_WITH_ROOT); /* stack: starting context */	O($$, 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_by_code \| construct_by_expr;	construct:
construct_by_code: '[' any_constructor_code_value ']' {	construct_square
$$=$2; /* stack: context, name, value */	\| construct_round
	\| construct_curly
	;
	construct_square: '[' any_constructor_code_value ']' {
	// stack: context, name
	$$=$2; // stack: context, name, value
O($$, OP_CONSTRUCT_VALUE); /* value=pop; name=pop; context=pop; construct(context,name,value) */	O($$, OP_CONSTRUCT_VALUE); /* value=pop; name=pop; context=pop; construct(context,name,value) */
}	}
;	;
construct_by_expr: '(' expr_value ')' {	construct_round: '(' expr_value ')' {
$$=$2; /* stack: context, name, value */	$$=N(POOL);
O($$, OP_CONSTRUCT_EXPR); /* value=pop; name=pop; context=pop; construct(context,name,value) */	O($$, OP_PREPARE_TO_EXPRESSION);
	// stack: context, name
	P($$, $2); // stack: context, name, value
	O($$, OP_CONSTRUCT_EXPR); /* value=pop->as_expr_result; name=pop; context=pop; construct(context,name,value) */
}	}
;	;
	construct_curly: '{' maybe_codes '}' {
	// stack: context, name
	$$=N(POOL);
	OA($$, OP_CURLY_CODE__CONSTRUCT, $2); /* code=pop; name=pop; context=pop; construct(context,name,junction(code)) */
	};

any_constructor_code_value:	any_constructor_code_value:
unknown_value /* optimized $var[] case */	void_value /* optimized $var[] case */
\| STRING /* optimized $var[STRING] case */	\| STRING /* optimized $var[STRING] case */
\| 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(POOL);
O($$, OP_CREATE_EWPOOL); /* stack: empty write context */	OA($$, 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) };
Line 336 codes__excluding_sole_str_literal: actio	Line 354 codes__excluding_sole_str_literal: actio

call: call_value {	call: call_value {
$$=$1; /* stack: value */	$$=$1; /* stack: value */
O($$, OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */	changetail_or_append($$,
};	OP_CALL, true, /->/ OP_CALL__WRITE,
call_value: '^' call_name store_params EON { /* ^field.$method{vasya} */	/or /OP_WRITE_VALUE); /* value=pop; wcontext.write(value) */
$$=$2; /* with_xxx,diving code; stack: context,method_junction */	};
O($$, OP_GET_METHOD_FRAME); /* stack: context,method_frame */	call_value: '^' {
	PC.in_call_value=true;
	}
	call_name {
	PC.in_call_value=false;
	}
	store_params EON { /* ^field.$method{vasya} */
	$$=$3; /* with_xxx,diving code; stack: context,method_junction */

YYSTYPE params_code=$3;	YYSTYPE params_code=$5;
if(params_code->size()==3) // probably [] case. [OP_VALUE + Void + STORE_PARAM]	if(params_code->size()==3) { // probably [] case. [OP_VALUE + Void + STORE_PARAM]
if(Value *value=LA2V(params_code)) // it is OP_VALUE + value?	if(Value *value=LA2V(params_code)) // it is OP_VALUE + value?
if(!value->is_defined()) // value is VVoid?	if(!value->is_defined()) // 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_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 381 store_code_param_part: code_param_value	Line 406 store_code_param_part: code_param_value
};	};
store_expr_param_part: write_expr_value {	store_expr_param_part: write_expr_value {
$$=N(POOL);	$$=N(POOL);
PEA($$, $1);	OA($$, OP_EXPR_CODE__STORE_PARAM, $1);
};	};
store_curly_param_part: maybe_codes {	store_curly_param_part: maybe_codes {
$$=N(POOL);	$$=N(POOL);
PCA($$, $1);	OA($$, OP_CURLY_CODE__STORE_PARAM, $1);
};	};
code_param_value:	code_param_value:
unknown_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 {	write_expr_value: expr_value {
$$=$1;	$$=N(POOL);
	O($$, OP_PREPARE_TO_EXPRESSION);
	P($$, $1);
O($$, OP_WRITE_EXPR_RESULT);	O($$, OP_WRITE_EXPR_RESULT);
};	};

Line 404 name_expr_dive_code: name_expr_value \| n	Line 431 name_expr_dive_code: name_expr_value \| n
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
	// so we'll not check for operator call possibility as we do in name_advance2

/* 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_GET_ELEMENT); /* name=pop; context=pop; stack: context.get_element(name) */
Line 418 name_advance2: name_expr_value {	Line 448 name_advance2: name_expr_value {
name_expr_value:	name_expr_value:
STRING /* subname_is_const */	STRING /* subname_is_const */
\| name_expr_subvar_value /* $subname_is_var_value */	\| name_expr_subvar_value /* $subname_is_var_value */
\| name_expr_with_subvar_value /* xxx$part_of_subname_is_var_value[$...] */	\| name_expr_with_subvar_value /* xxx$part_of_subname_is_var_value */
	\| name_square_code_value /* [codes] */
;	;
name_expr_subvar_value: '$' subvar_ref_name_rdive {	name_expr_subvar_value: '$' subvar_ref_name_rdive {
$$=$2;	$$=$2;
O($$, OP_GET_ELEMENT);	O($$, OP_GET_ELEMENT);
};	};
name_expr_with_subvar_value: STRING subvar_get_writes {	name_expr_with_subvar_value: STRING subvar_get_writes {
	Array *code;
	{
	change_string_literal_to_write_string_literal(code=$1);
	P(code, $2);
	}
$$=N(POOL);	$$=N(POOL);
O($$, OP_CREATE_EWPOOL);	OA($$, OP_STRING_POOL, code);
P($$, $1);
O($$, OP_WRITE_VALUE);
P($$, $2);
O($$, OP_REDUCE_EWPOOL);
};	};
subvar_ref_name_rdive: subvar_ref_name_rdive_read \| subvar_ref_name_rdive_root;	name_square_code_value: '[' codes ']' {
subvar_ref_name_rdive_read: STRING {
$$=N(POOL);	$$=N(POOL);
O($$, OP_WITH_READ);	OA($$, OP_OBJECT_POOL, $2); /* stack: empty write context */
P($$, $1);	/* some code that writes to that context */
	/* context=pop; stack: context.value() */
};	};
subvar_ref_name_rdive_root: ':' STRING {	subvar_ref_name_rdive: STRING {
$$=N(POOL);	$$=N(POOL);
O($$, OP_WITH_ROOT);	O($$, OP_WITH_READ);
P($$, $2);	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 {
Line 449 subvar__get_write: '$' subvar_ref_name_r	Line 481 subvar__get_write: '$' subvar_ref_name_r
O($$, OP_GET_ELEMENT__WRITE);	O($$, OP_GET_ELEMENT__WRITE);
};	};

class_prefix: STRING ':' {	class_prefix:
	class_static_prefix
	\| class_constructor_prefix
	;
	class_static_prefix: STRING ':' {
$$=$1; // stack: class name string	$$=$1; // stack: class name string
	if(*LA2S($$) == BASE_NAME) { // pseude 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;
	}
	}
O($$, OP_GET_CLASS);	O($$, OP_GET_CLASS);
};	};
	class_constructor_prefix: class_static_prefix ':' {
	$$=$1;
/* with */	if(!PC.in_call_value) {
	strcpy(PC.error, ":: not allowed here");
with: '$' name_without_curly_rdive '{' maybe_codes '}' {	YYERROR;
$$=$2;	}
O($$, OP_CREATE_RWPOOL);	O($$, OP_PREPARE_TO_CONSTRUCT_OBJECT);
P($$, $4);
O($$, OP_REDUCE_RWPOOL);
O($$, OP_WRITE_VALUE);
};	};


/* expr */	/* expr */

expr_value: expr {	expr_value: expr {
	// see OP_PREPARE_TO_EXPRESSION!!
if(($$=$1)->size()==2) // only one string literal in there?	if(($$=$1)->size()==2) // only one string literal in there?
change_string_literal_to_double_literal($$); // make that string literal Double	change_string_literal_to_double_literal($$); // make that string literal Double
};	};
Line 476 expr:	Line 519 expr:
\| get_value	\| get_value
\| call_value	\| call_value
\| '"' 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 NEG { $$=$2; O($$, OP_NEG) }
	\| '+' expr %prec NEG { $$=$2 }
\| '~' expr { $$=$2; O($$, OP_INV) }	\| '~' expr { $$=$2; O($$, OP_INV) }
\| '!' expr { $$=$2; O($$, OP_NOT) }	\| '!' expr { $$=$2; O($$, OP_NOT) }
\| "def" expr { $$=$2; O($$, OP_DEF) }	\| "def" expr { $$=$2; O($$, OP_DEF) }
Line 491 expr:	Line 536 expr:
\| expr '*' expr { $$=$1; P($$, $3); O($$, OP_MUL) }	\| expr '*' expr { $$=$1; P($$, $3); O($$, OP_MUL) }
\| expr '/' expr { $$=$1; P($$, $3); O($$, OP_DIV) }	\| expr '/' expr { $$=$1; P($$, $3); O($$, OP_DIV) }
\| expr '%' expr { $$=$1; P($$, $3); O($$, OP_MOD) }	\| expr '%' expr { $$=$1; P($$, $3); O($$, OP_MOD) }
	\| expr '\\' expr { $$=$1; P($$, $3); O($$, OP_INTDIV) }
\| expr '&' expr { $$=$1; P($$, $3); O($$, OP_BIN_AND) }	\| expr '&' expr { $$=$1; P($$, $3); O($$, OP_BIN_AND) }
\| expr '\|' expr { $$=$1; P($$, $3); O($$, OP_BIN_OR) }	\| expr '\|' expr { $$=$1; P($$, $3); O($$, OP_BIN_OR) }
\| expr '#' expr { $$=$1; P($$, $3); O($$, OP_BIN_XOR) }	\| expr '#' expr { $$=$1; P($$, $3); O($$, OP_BIN_XOR) }
\| expr "&&" expr { $$=$1; P($$, $3); O($$, OP_LOG_AND) }	\| expr "&&" expr { $$=$1; OA($$, OP_NESTED_CODE, $3); O($$, OP_LOG_AND) }
\| expr "\|\|" expr { $$=$1; P($$, $3); O($$, OP_LOG_OR) }	\| expr "\|\|" expr { $$=$1; OA($$, OP_NESTED_CODE, $3); O($$, OP_LOG_OR) }
\| expr "##" expr { $$=$1; P($$, $3); O($$, OP_LOG_XOR) }	\| expr "##" expr { $$=$1; P($$, $3); O($$, OP_LOG_XOR) }
\| expr '<' expr { $$=$1; P($$, $3); O($$, OP_NUM_LT) }	\| expr '<' expr { $$=$1; P($$, $3); O($$, OP_NUM_LT) }
\| expr '>' expr { $$=$1; P($$, $3); O($$, OP_NUM_GT) }	\| expr '>' expr { $$=$1; P($$, $3); O($$, OP_NUM_GT) }
Line 514 expr:	Line 560 expr:

string_inside_quotes_value: maybe_codes {	string_inside_quotes_value: maybe_codes {
$$=N(POOL);	$$=N(POOL);
O($$, OP_CREATE_SWPOOL); /* stack: empty write context */	OA($$, OP_STRING_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_SWPOOL); /* context=pop; stack: context.get_string() */	/* context=pop; stack: context.get_string() */
};	};

/* basics */	/* basics */
Line 526 write_string: STRING {	Line 572 write_string: STRING {
change_string_literal_to_write_string_literal($$=$1)	change_string_literal_to_write_string_literal($$=$1)
};	};

unknown_value: /* empty */ { $$=VL(NEW VVoid(POOL)) };	void_value: /* empty */ { $$=VL(NEW VVoid(POOL)) };
empty: /* empty */ { $$=N(POOL) };	empty: /* empty */ { $$=N(POOL) };

%%	%%
Line 549 empty: /* empty */ { $$=N(POOL) };	Line 595 empty: /* empty */ { $$=N(POOL) };
*/	*/

static int yylex(YYSTYPE lvalp, void pc) {	static int yylex(YYSTYPE lvalp, void pc) {
#define lexical_brackets_nestage PC.brackets_nestages[PC.sp]	#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;
Line 567 static int yylex(YYSTYPE lvalp, void p	Line 613 static int yylex(YYSTYPE lvalp, void p
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);

if(c=='\n') {	if(c=='\n') {
PC.line++;	PC.line++;
Line 574 static int yylex(YYSTYPE lvalp, void p	Line 621 static int yylex(YYSTYPE lvalp, void p
} else	} else
PC.col++;	PC.col++;

if(c=='^' && PC.ls!=LS_COMMENT && PC.ls!=LS_DEF_COMMENT)	if(c=='@' && PC.col==0+1) {
	if(PC.ls==LS_DEF_SPECIAL_BODY) {
	// @SPECIAL
	// ...
	// @<here =
	pop_LS(PC); // exiting from LS_DEF_SPECIAL_BODY state
	} // continuing checks
	if(PC.ls==LS_USER) {
	push_LS(PC, LS_DEF_NAME);
	RC;
	} else // @ in first column inside some code [when could that be?]
	result=BAD_METHOD_DECL_START;
	goto break2;
	} else if(c=='^')
	switch(PC.ls) {
	case LS_EXPRESSION_VAR_NAME_WITH_COLON:
	case LS_EXPRESSION_VAR_NAME_WITHOUT_COLON:
	case LS_VAR_NAME_SIMPLE_WITH_COLON:
	case LS_VAR_NAME_SIMPLE_WITHOUT_COLON:
	case LS_VAR_NAME_CURLY:
	case LS_METHOD_NAME:
	case LS_COMMENT:
	case LS_DEF_COMMENT:
	// no literals in names, please
	break;
	default:
switch(*PC.source) {	switch(*PC.source) {
// escaping: ^^ & co	// ^escaping some punctuators
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) {
// append piece till ^	// append piece till ^
PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line);	PC.string->APPEND_CLEAN(begin, end-begin, PC.file, begin_line);
}	}
// reset piece 'begin' position & line	// reset piece 'begin' position & line
begin=PC.source; // ^	end=begin=PC.source; // ^
begin_line=PC.line;	begin_line=PC.line;
// skip over ^ and _	if(PC.ls==LS_METHOD_AFTER) {
PC.source++; PC.col++;	pop_LS(PC);
// skip analysis = forced literal	result=EON;
continue;	skip_analized=-1; // return to ^ afterwards to assure it's literality
	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 '#':
Line 622 static int yylex(YYSTYPE lvalp, void p	Line 701 static int yylex(YYSTYPE lvalp, void p
}	}
break;	break;
}	}
	break;
	}
// #comment start skipping	// #comment start skipping
if(c=='#' && PC.col==1) {	if(c=='#' && PC.col==1) {
if(end!=begin) {	if(end!=begin) {
Line 630 static int yylex(YYSTYPE lvalp, void p	Line 711 static int yylex(YYSTYPE lvalp, void p
}	}
// 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_COMMENT);
	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
	if(PC.trim_bof)
	switch(c) {
	case '\n': case ' ': case '\t':
	begin=PC.source;
	begin_line=PC.line;
	continue; // skip it
	default:
	PC.trim_bof=false;
	}
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE);	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.col==0+1) {	if(PC.ls==LS_NAME_SQUARE_PART)
push_LS(PC, LS_DEF_NAME);	if(--lexical_brackets_nestage==0) {// $name.[co<]?>de<]?>
RC;	pop_LS(PC); // $name.[co<]>de<]!>
}	RC;
	}
	break;
	case '[': // $name.[co<[>de]
	if(PC.ls==LS_NAME_SQUARE_PART)
	lexical_brackets_nestage++;
break;	break;
}	}
break;	break;
Line 664 static int yylex(YYSTYPE lvalp, void p	Line 761 static int yylex(YYSTYPE lvalp, void p
break;	break;

// STRING IN EXPRESSION	// STRING IN EXPRESSION
case LS_EXPRESSION_STRING:	case LS_EXPRESSION_STRING_QUOTED:
	case LS_EXPRESSION_STRING_APOSTROFED:
switch(c) {	switch(c) {
case '"':	case '"':
pop_LS(PC); //"abc".	case '\'':
RC;	if(
	PC.ls == LS_EXPRESSION_STRING_QUOTED && c=='"' \|\|
	PC.ls == LS_EXPRESSION_STRING_APOSTROFED && c=='\'') {
	pop_LS(PC); //"abc". \| 'abc'.
	RC;
	}
	break;
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE);	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);
Line 725 static int yylex(YYSTYPE lvalp, void p	Line 829 static int yylex(YYSTYPE lvalp, void p
break;	break;

case LS_DEF_SPECIAL_BODY:	case LS_DEF_SPECIAL_BODY:
if(c=='\n') {	if(c=='\n')
switch(*PC.source) {
case '@': case 0: // end of special_code
pop_LS(PC);
break;
}
RC;	RC;
}
break;	break;

// (EXPRESSION)	// (EXPRESSION)
Line 747 static int yylex(YYSTYPE lvalp, void p	Line 845 static int yylex(YYSTYPE lvalp, void p
pop_LS(PC); // return to normal life	pop_LS(PC); // return to normal life
RC;	RC;
case '$':	case '$':
push_LS(PC, LS_EXPRESSION_VAR_NAME);	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);
Line 765 static int yylex(YYSTYPE lvalp, void p	Line 863 static int yylex(YYSTYPE lvalp, void p
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;
}	}
goto break2;	goto break2;
case '+': case '*': case '/': case '%':	case '+': case '*': case '/': case '%': case '\\':
case '~':	case '~':
case ';':	case ';':
RC;	RC;
Line 794 static int yylex(YYSTYPE lvalp, void p	Line 892 static int yylex(YYSTYPE lvalp, void p
result=c;	result=c;
goto break2;	goto break2;
case '"':	case '"':
push_LS(PC, LS_EXPRESSION_STRING);	push_LS(PC, LS_EXPRESSION_STRING_QUOTED);
	RC;
	case '\'':
	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
Line 854 static int yylex(YYSTYPE lvalp, void p	Line 955 static int yylex(YYSTYPE lvalp, void p
break;	break;

// VARIABLE GET/PUT/WITH	// VARIABLE GET/PUT/WITH
case LS_VAR_NAME_SIMPLE:	case LS_VAR_NAME_SIMPLE_WITH_COLON:
case LS_EXPRESSION_VAR_NAME:	case LS_VAR_NAME_SIMPLE_WITHOUT_COLON:
case LS_VAR_NAME_NO_COLON:	case LS_EXPRESSION_VAR_NAME_WITH_COLON:
if(PC.ls==LS_EXPRESSION_VAR_NAME) {	case LS_EXPRESSION_VAR_NAME_WITHOUT_COLON:
// name in expr ends also before binary operators	if(
	PC.ls==LS_EXPRESSION_VAR_NAME_WITH_COLON \|\|
	PC.ls==LS_EXPRESSION_VAR_NAME_WITHOUT_COLON) {
	// name in expr ends also before
switch(c) {	switch(c) {
	// expression minus
case '-':	case '-':
	// expression integer division
	case '\\':
pop_LS(PC);	pop_LS(PC);
PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; }	PC.source--; if(--PC.col<0) { PC.line--; PC.col=-1; }
result=EON;	result=EON;
goto break2;	goto break2;
}	}
}	}
if(PC.ls==LS_VAR_NAME_NO_COLON) {	if(
	PC.ls==LS_VAR_NAME_SIMPLE_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 ':':
Line 888 static int yylex(YYSTYPE lvalp, void p	Line 997 static int yylex(YYSTYPE lvalp, void p
case '&': case '\|':	case '&': case '\|':
case '=': case '!':	case '=': case '!':
// common delimiters	// common delimiters
case ',':	case ',': case '?': case '#':
// before call	// before call
case '^':	case '^':
pop_LS(PC);	pop_LS(PC);
Line 896 static int yylex(YYSTYPE lvalp, void p	Line 1005 static int yylex(YYSTYPE lvalp, void p
result=EON;	result=EON;
goto break2;	goto break2;
case '[':	case '[':
	// $name.<[>code]
	if(PC.col>1/not first column/ && (
	end[-1]=='$'/was start of get/ \|\|
	end[-1]==':'/was class name delim / \|\|
	end[-1]=='.'/was name delim /
	)) {
	push_LS(PC, LS_NAME_SQUARE_PART);
	lexical_brackets_nestage=1;
	RC;
	}
PC.ls=LS_VAR_SQUARE;	PC.ls=LS_VAR_SQUARE;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
Line 914 static int yylex(YYSTYPE lvalp, void p	Line 1033 static int yylex(YYSTYPE lvalp, void p
RC;	RC;
case '.': // name part delim	case '.': // name part delim
case '$': // name part subvar	case '$': // name part subvar
case ':': // ':name' or 'class:name'	case ':': // class<:>name
PC.ls=LS_VAR_NAME_NO_COLON; // stop before next ':'	// go to _WITHOUT_COLON state variant...
	if(PC.ls==LS_VAR_NAME_SIMPLE_WITH_COLON)
	PC.ls=LS_VAR_NAME_SIMPLE_WITHOUT_COLON;
	else if(PC.ls==LS_EXPRESSION_VAR_NAME_WITH_COLON)
	PC.ls=LS_EXPRESSION_VAR_NAME_WITHOUT_COLON;
	// ...stop before next ':'
RC;	RC;
}	}
break;	break;

case LS_VAR_NAME_CURLY:	case LS_VAR_NAME_CURLY:
switch(c) {	switch(c) {
	case '[':
	// ${name.<[>code]}
	push_LS(PC, LS_NAME_SQUARE_PART);
	lexical_brackets_nestage=1;
	RC;
case '}': // ${name} finished, restoring LS	case '}': // ${name} finished, restoring LS
pop_LS(PC);	pop_LS(PC);
RC;	RC;
Line 935 static int yylex(YYSTYPE lvalp, void p	Line 1064 static int yylex(YYSTYPE lvalp, void p
case LS_VAR_SQUARE:	case LS_VAR_SQUARE:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE);	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);
Line 957 static int yylex(YYSTYPE lvalp, void p	Line 1086 static int yylex(YYSTYPE lvalp, void p
case LS_VAR_CURLY:	case LS_VAR_CURLY:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE);	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);
Line 978 static int yylex(YYSTYPE lvalp, void p	Line 1107 static int yylex(YYSTYPE lvalp, void p
case LS_METHOD_NAME:	case LS_METHOD_NAME:
switch(c) {	switch(c) {
case '[':	case '[':
	// ^name.<[>code].xxx
	if(PC.col>1/not first column/ && (
	end[-1]=='^'/was start of call/ \|\| // never, ^[ is literal...
	end[-1]==':'/was class name delim / \|\|
	end[-1]=='.'/was name delim /
	)) {
	push_LS(PC, LS_NAME_SQUARE_PART);
	lexical_brackets_nestage=1;
	RC;
	}
PC.ls=LS_METHOD_SQUARE;	PC.ls=LS_METHOD_SQUARE;
lexical_brackets_nestage=1;	lexical_brackets_nestage=1;
RC;	RC;
Line 992 static int yylex(YYSTYPE lvalp, void p	Line 1131 static int yylex(YYSTYPE lvalp, void p
case '.': // name part delim	case '.': // name part delim
case '$': // name part subvar	case '$': // name part subvar
case ':': // ':name' or 'class:name'	case ':': // ':name' or 'class:name'
	case '^': // ^abc^xxx wrong. bailing out
	case ']': case '}': case ')': // ^abc]}) wrong. bailing out
RC;	RC;
}	}
break;	break;
Line 999 static int yylex(YYSTYPE lvalp, void p	Line 1140 static int yylex(YYSTYPE lvalp, void p
case LS_METHOD_SQUARE:	case LS_METHOD_SQUARE:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE);	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);
Line 1021 static int yylex(YYSTYPE lvalp, void p	Line 1162 static int yylex(YYSTYPE lvalp, void p
case LS_METHOD_CURLY:	case LS_METHOD_CURLY:
switch(c) {	switch(c) {
case '$':	case '$':
push_LS(PC, LS_VAR_NAME_SIMPLE);	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);

E-mail:

Removed from v.1.144
changed lines
	Added in v.1.191