--- parser3/src/main/execute.C	2001/10/31 13:07:35	1.201
+++ parser3/src/main/execute.C	2001/12/21 11:17:25	1.207
@@ -2,9 +2,9 @@
 	Parser: executor part of request class.
 
 	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://paf.design.ru)
 
-	$Id: execute.C,v 1.201 2001/10/31 13:07:35 paf Exp $
+	$Id: execute.C,v 1.207 2001/12/21 11:17:25 paf Exp $
 */
 
 #include "pa_opcode.h"
@@ -25,7 +25,7 @@
 
 //#define DEBUG_EXECUTE
 
-const uint ANTI_ENDLESS_EXECUTE_RECOURSION=200;
+const uint ANTI_ENDLESS_EXECUTE_RECOURSION=500;
 
 #ifdef DEBUG_EXECUTE
 char *opcode_name[]={
@@ -371,12 +371,14 @@ void Request::execute(const Array& ops)
 						// this is a constructor call
 
 						if(Value *value=called_class->create_new_value(pool())) {
-							// some stateless_object creatable derivates
+							// some stateless_class creatable derivates
 							self=value;
-						} else {
-							// stateful object
-							self=NEW VObject(pool(), *called_class);
-						}
+						} else 
+							throw Exception(0, 0,
+								&frame->name(),
+								"is not a constructor, system class '%s' can be constructed only implicitly", 
+								called_class->name().cstr());
+
 						frame->write(*self, 
 							String::UL_CLEAN  // not used, always an object, not string
 						);
@@ -400,7 +402,7 @@ void Request::execute(const Array& ops)
 				}
 
 				frame->set_self(*self);
-				root=rcontext=wcontext=frame;
+				rcontext=wcontext=frame;
 				{
 					// take object or class from any wrappers
 					// and substitute class alias to the class they are called AS
@@ -414,6 +416,7 @@ void Request::execute(const Array& ops)
 						method.call_type==call_type) { // allowed call type?
 						try {
 							if(method.native_code) { // native code?
+								// root unchanged, so that ^for ^foreach & co may write to locals
 								method.check_actual_numbered_params(
 									frame->junction.self, 
 									frame->name(), frame->numbered_params());
@@ -421,15 +424,17 @@ void Request::execute(const Array& ops)
 									*this, 
 									frame->name(), frame->numbered_params()); // execute it
 							} else { // parser code
-								if(++anti_endless_execute_recoursion==ANTI_ENDLESS_EXECUTE_RECOURSION) {
-									anti_endless_execute_recoursion=0; // give @exception a chance
-									throw Exception(0, 0,
-										&frame->name(),
-										"endless recursion detected");
+								root=frame;
+								{ // anti_endless_execute_recoursion
+									if(++anti_endless_execute_recoursion==ANTI_ENDLESS_EXECUTE_RECOURSION) {
+										anti_endless_execute_recoursion=0; // give @exception a chance
+										throw Exception(0, 0,
+											&frame->name(),
+											"call canceled - endless recursion detected");
+									}
+									execute(*method.parser_code); // execute it
+									anti_endless_execute_recoursion--;
 								}
-								
-								execute(*method.parser_code); // execute it
-								anti_endless_execute_recoursion--;
 							}
 						} catch(...) {
 							// record it to stack trace
@@ -758,7 +763,7 @@ Value *Request::get_element() {
 		if(Method* method=OP.get_method(name)) { // maybe operator?
 			// as if that method were in self and we have normal dynamic method here
 			Junction& junction=*NEW Junction(pool(), 
-				*root/*self*/, self->get_class(), method, 0,0,0,0);
+				*root, self->get_class(), method, 0,0,0,0);
 			value=NEW VJunction(junction);
 		}
 	if(value)
@@ -812,7 +817,18 @@ Value& Request::process(Value& value, co
 		self=&junction->self;
 		root=junction->root;
 		rcontext=junction->rcontext;
-		execute(*junction->code);
+
+		{ // anti_endless_execute_recoursion
+			if(++anti_endless_execute_recoursion==ANTI_ENDLESS_EXECUTE_RECOURSION) {
+				anti_endless_execute_recoursion=0; // give @exception a chance
+				throw Exception(0, 0,
+					name,
+					"junction evaluation canceled - endless recursion detected");
+			}
+			execute(*junction->code);
+			anti_endless_execute_recoursion--;
+		}
+		
 		if(using_code_frame) {
 			// CodeFrame soul:
 			//   string writes were intercepted