#include "nodes.h"
#include <math.h>
#include <assert.h>
#ifdef KJS_DEBUG_MEM
#include <stdio.h>
#include <typeinfo>
#endif
#include "collector.h"
#include "context.h"
#include "debugger.h"
#include "function_object.h"
#include "internal.h"
#include "value.h"
#include "object.h"
#include "types.h"
#include "interpreter.h"
#include "lexer.h"
#include "operations.h"
#include "ustring.h"
using namespace KJS;
#define KJS_BREAKPOINT \
if (!hitStatement(exec)) \
return Completion(Normal);
#define KJS_ABORTPOINT \
if (exec->interpreter()->imp()->debugger() && \
exec->interpreter()->imp()->debugger()->imp()->aborted()) \
return Completion(Normal);
#define KJS_CHECKEXCEPTION \
if (exec->hadException()) \
return Completion(Throw, exec->exception()); \
if (Collector::outOfMemory()) \
return Completion(Throw, Error::create(exec,GeneralError,"Out of memory"));
#define KJS_CHECKEXCEPTIONVALUE \
if (exec->hadException()) \
return exec->exception(); \
if (Collector::outOfMemory()) \
return Undefined();
#define KJS_CHECKEXCEPTIONREFERENCE \
if (exec->hadException()) \
return Reference::makeValueReference(Undefined());; \
if (Collector::outOfMemory()) \
return Reference::makeValueReference(Undefined());
#define KJS_CHECKEXCEPTIONLIST \
if (exec->hadException()) \
return List(); \
if (Collector::outOfMemory()) \
return List();
#ifdef KJS_DEBUG_MEM
std::list<Node *> * Node::s_nodes = 0L;
#endif
Node::Node()
{
line = Lexer::curr()->lineNo();
refcount = 0;
#ifdef KJS_DEBUG_MEM
if (!s_nodes)
s_nodes = new std::list<Node *>;
s_nodes->push_back(this);
#endif
}
Node::~Node()
{
#ifdef KJS_DEBUG_MEM
s_nodes->remove( this );
#endif
}
Reference Node::evaluateReference(ExecState *exec)
{
Value v = evaluate(exec);
KJS_CHECKEXCEPTIONREFERENCE
return Reference::makeValueReference(v);
}
#ifdef KJS_DEBUG_MEM
void Node::finalCheck()
{
fprintf( stderr, "Node::finalCheck(): list count : %d\n", (int)s_nodes.size() );
std::list<Node *>::iterator it = s_nodes->begin();
for ( uint i = 0; it != s_nodes->end() ; ++it, ++i )
fprintf( stderr, "[%d] Still having node %p (%s) (refcount %d)\n", i, (void*)*it, typeid( **it ).name(), (*it)->refcount );
delete s_nodes;
s_nodes = 0L;
}
#endif
Value Node::throwError(ExecState *exec, ErrorType e, const char *msg)
{
Object err = Error::create(exec, e, msg, lineNo(), sourceId());
exec->setException(err);
return err;
}
Value Node::throwError(ExecState *exec, ErrorType e, const char *msg, Value v, Node *expr)
{
char *vStr = strdup(v.toString(exec).ascii());
char *exprStr = strdup(expr->toString().ascii());
int length = strlen(msg) - 4 + strlen(vStr) + strlen(exprStr) + 1 ;
char *str = new char[length];
sprintf(str, msg, vStr, exprStr);
free(vStr);
free(exprStr);
Value result = throwError(exec, e, str);
delete [] str;
return result;
}
Value Node::throwError(ExecState *exec, ErrorType e, const char *msg, Identifier label)
{
const char *l = label.ascii();
int length = strlen(msg) - 2 + strlen(l) + 1 ;
char *message = new char[length];
sprintf(message, msg, l);
Value result = throwError(exec, e, message);
delete [] message;
return result;
}
StatementNode::StatementNode() : l0(-1), l1(-1), sid(-1), breakPoint(false)
{
}
void StatementNode::setLoc(int line0, int line1, int sourceId)
{
l0 = line0;
l1 = line1;
sid = sourceId;
}
bool StatementNode::hitStatement(ExecState *exec)
{
Debugger *dbg = exec->interpreter()->imp()->debugger();
if (dbg)
return dbg->atStatement(exec,sid,l0,l1);
else
return true; }
bool StatementNode::abortStatement(ExecState *exec)
{
Debugger *dbg = exec->interpreter()->imp()->debugger();
if (dbg)
return dbg->imp()->aborted();
else
return false;
}
void StatementNode::processFuncDecl(ExecState *exec)
{
}
Value NullNode::evaluate(ExecState *)
{
return Null();
}
Value BooleanNode::evaluate(ExecState *)
{
return Boolean(value);
}
Value NumberNode::evaluate(ExecState *)
{
return Number(value);
}
Value StringNode::evaluate(ExecState *)
{
return String(value);
}
Value RegExpNode::evaluate(ExecState *exec)
{
List list;
String p(pattern);
String f(flags);
list.append(p);
list.append(f);
Object reg = exec->interpreter()->imp()->builtinRegExp();
return reg.construct(exec,list);
}
Value ThisNode::evaluate(ExecState *exec)
{
return exec->context().imp()->thisValue();
}
Value ResolveNode::evaluate(ExecState *exec)
{
return evaluateReference(exec).getValue(exec);
}
Reference ResolveNode::evaluateReference(ExecState *exec)
{
ScopeChain chain = exec->context().imp()->scopeChain();
while (!chain.isEmpty()) {
ObjectImp *o = chain.top();
if (o->hasProperty(exec,ident)) {
return Reference(o, ident);
}
chain.pop();
}
return Reference(Null(), ident);
}
void GroupNode::ref()
{
Node::ref();
if ( group )
group->ref();
}
bool GroupNode::deref()
{
if ( group && group->deref() )
delete group;
return Node::deref();
}
Value GroupNode::evaluate(ExecState *exec)
{
return group->evaluate(exec);
}
void ElementNode::ref()
{
for (ElementNode *n = this; n; n = n->list) {
n->Node::ref();
if (n->node)
n->node->ref();
}
}
bool ElementNode::deref()
{
ElementNode *next;
for (ElementNode *n = this; n; n = next) {
next = n->list;
if (n->node && n->node->deref())
delete n->node;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Value ElementNode::evaluate(ExecState *exec)
{
Object array = exec->interpreter()->builtinArray().construct(exec, List::empty());
int length = 0;
for (ElementNode *n = this; n; n = n->list) {
Value val = n->node->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
length += n->elision;
array.put(exec, length++, val);
}
return array;
}
void ArrayNode::ref()
{
Node::ref();
if ( element )
element->ref();
}
bool ArrayNode::deref()
{
if ( element && element->deref() )
delete element;
return Node::deref();
}
Value ArrayNode::evaluate(ExecState *exec)
{
Object array;
int length;
if (element) {
array = Object(static_cast<ObjectImp*>(element->evaluate(exec).imp()));
KJS_CHECKEXCEPTIONVALUE
length = opt ? array.get(exec,lengthPropertyName).toInt32(exec) : 0;
} else {
Value newArr = exec->interpreter()->builtinArray().construct(exec,List::empty());
array = Object(static_cast<ObjectImp*>(newArr.imp()));
length = 0;
}
if (opt)
array.put(exec,lengthPropertyName, Number(elision + length), DontEnum | DontDelete);
return array;
}
void ObjectLiteralNode::ref()
{
Node::ref();
if ( list )
list->ref();
}
bool ObjectLiteralNode::deref()
{
if ( list && list->deref() )
delete list;
return Node::deref();
}
Value ObjectLiteralNode::evaluate(ExecState *exec)
{
if (list)
return list->evaluate(exec);
return exec->interpreter()->builtinObject().construct(exec,List::empty());
}
void PropertyValueNode::ref()
{
for (PropertyValueNode *n = this; n; n = n->list) {
n->Node::ref();
if (n->name)
n->name->ref();
if (n->assign)
n->assign->ref();
}
}
bool PropertyValueNode::deref()
{
PropertyValueNode *next;
for (PropertyValueNode *n = this; n; n = next) {
next = n->list;
if ( n->name && n->name->deref() )
delete n->name;
if ( n->assign && n->assign->deref() )
delete n->assign;
if (n != this && n->Node::deref() )
delete n;
}
return Node::deref();
}
Value PropertyValueNode::evaluate(ExecState *exec)
{
Object obj = exec->interpreter()->builtinObject().construct(exec, List::empty());
for (PropertyValueNode *p = this; p; p = p->list) {
Value n = p->name->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v = p->assign->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
obj.put(exec, Identifier(n.toString(exec)), v);
}
return obj;
}
Value PropertyNode::evaluate(ExecState *)
{
Value s;
if (str.isNull()) {
s = String(UString::from(numeric));
} else {
s = String(str.ustring());
}
return s;
}
void AccessorNode1::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
}
bool AccessorNode1::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
return Node::deref();
}
Value AccessorNode1::evaluate(ExecState *exec)
{
return evaluateReference(exec).getValue(exec);
}
Reference AccessorNode1::evaluateReference(ExecState *exec)
{
Value v1 = expr1->evaluate(exec);
KJS_CHECKEXCEPTIONREFERENCE
Value v2 = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONREFERENCE
Object o = v1.toObject(exec);
unsigned i;
if (v2.toUInt32(i))
return Reference(o, i);
String s = v2.toString(exec);
return Reference(o, Identifier(s.value()));
}
void AccessorNode2::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool AccessorNode2::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value AccessorNode2::evaluate(ExecState *exec)
{
return evaluateReference(exec).getValue(exec);
}
Reference AccessorNode2::evaluateReference(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONREFERENCE
Object o = v.toObject(exec);
return Reference(o, ident);
}
void ArgumentListNode::ref()
{
for (ArgumentListNode *n = this; n; n = n->list) {
n->Node::ref();
if (n->expr)
n->expr->ref();
}
}
bool ArgumentListNode::deref()
{
ArgumentListNode *next;
for (ArgumentListNode *n = this; n; n = next) {
next = n->list;
if (n->expr && n->expr->deref())
delete n->expr;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Value ArgumentListNode::evaluate(ExecState *)
{
assert(0);
return Value(); }
List ArgumentListNode::evaluateList(ExecState *exec)
{
List l;
for (ArgumentListNode *n = this; n; n = n->list) {
Value v = n->expr->evaluate(exec);
KJS_CHECKEXCEPTIONLIST
l.append(v);
}
return l;
}
void ArgumentsNode::ref()
{
Node::ref();
if ( list )
list->ref();
}
bool ArgumentsNode::deref()
{
if ( list && list->deref() )
delete list;
return Node::deref();
}
Value ArgumentsNode::evaluate(ExecState *)
{
assert(0);
return Value(); }
List ArgumentsNode::evaluateList(ExecState *exec)
{
if (!list)
return List();
return list->evaluateList(exec);
}
void NewExprNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
if ( args )
args->ref();
}
bool NewExprNode::deref()
{
if ( expr && expr->deref() )
delete expr;
if ( args && args->deref() )
delete args;
return Node::deref();
}
Value NewExprNode::evaluate(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
List argList;
if (args) {
argList = args->evaluateList(exec);
KJS_CHECKEXCEPTIONVALUE
}
if (v.type() != ObjectType) {
return throwError(exec, TypeError, "Value %s (result of expression %s) is not an object. Cannot be used with new.", v, expr);
}
Object constr = Object(static_cast<ObjectImp*>(v.imp()));
if (!constr.implementsConstruct()) {
return throwError(exec, TypeError, "Value %s (result of expression %s) is not a constructor. Cannot be used with new.", v, expr);
}
Value res = constr.construct(exec,argList);
return res;
}
void FunctionCallNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
if ( args )
args->ref();
}
bool FunctionCallNode::deref()
{
if ( expr && expr->deref() )
delete expr;
if ( args && args->deref() )
delete args;
return Node::deref();
}
Value FunctionCallNode::evaluate(ExecState *exec)
{
Reference ref = expr->evaluateReference(exec);
KJS_CHECKEXCEPTIONVALUE
List argList = args->evaluateList(exec);
KJS_CHECKEXCEPTIONVALUE
Value v = ref.getValue(exec);
if (v.type() != ObjectType) {
return throwError(exec, TypeError, "Value %s (result of expression %s) is not object. Cannot be called.", v, expr);
}
Object func = Object(static_cast<ObjectImp*>(v.imp()));
if (!func.implementsCall()) {
return throwError(exec, TypeError, "Object %s (result of expression %s) does not allow calls.", v, expr);
}
Value thisVal;
if (ref.isMutable())
thisVal = ref.getBase(exec);
else
thisVal = Null();
if (thisVal.type() == ObjectType &&
Object::dynamicCast(thisVal).inherits(&ActivationImp::info))
thisVal = Null();
if (thisVal.type() != ObjectType) {
thisVal = exec->interpreter()->globalObject();
}
Object thisObj = Object::dynamicCast(thisVal);
Value result = func.call(exec,thisObj, argList);
return result;
}
void PostfixNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool PostfixNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value PostfixNode::evaluate(ExecState *exec)
{
Reference ref = expr->evaluateReference(exec);
KJS_CHECKEXCEPTIONVALUE
Value v = ref.getValue(exec);
Number n = v.toNumber(exec);
double newValue = (oper == OpPlusPlus) ? n.value() + 1 : n.value() - 1;
Value n2 = Number(newValue);
ref.putValue(exec,n2);
return n;
}
void DeleteNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool DeleteNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value DeleteNode::evaluate(ExecState *exec)
{
Reference ref = expr->evaluateReference(exec);
KJS_CHECKEXCEPTIONVALUE
return Boolean(ref.deleteValue(exec));
}
void VoidNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool VoidNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value VoidNode::evaluate(ExecState *exec)
{
Value dummy1 = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return Undefined();
}
void TypeOfNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool TypeOfNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value TypeOfNode::evaluate(ExecState *exec)
{
const char *s = 0L;
Reference ref = expr->evaluateReference(exec);
KJS_CHECKEXCEPTIONVALUE
if (ref.isMutable()) {
Value b = ref.getBase(exec);
if (b.type() == NullType)
return String("undefined");
}
Value v = ref.getValue(exec);
switch (v.type())
{
case UndefinedType:
s = "undefined";
break;
case NullType:
s = "object";
break;
case BooleanType:
s = "boolean";
break;
case NumberType:
s = "number";
break;
case StringType:
s = "string";
break;
default:
if (v.type() == ObjectType && static_cast<ObjectImp*>(v.imp())->implementsCall())
s = "function";
else
s = "object";
break;
}
return String(s);
}
void PrefixNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool PrefixNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value PrefixNode::evaluate(ExecState *exec)
{
Reference ref = expr->evaluateReference(exec);
KJS_CHECKEXCEPTIONVALUE
Value v = ref.getValue(exec);
Number n = v.toNumber(exec);
double newValue = (oper == OpPlusPlus) ? n.value() + 1 : n.value() - 1;
Value n2 = Number(newValue);
ref.putValue(exec,n2);
return n2;
}
void UnaryPlusNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool UnaryPlusNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value UnaryPlusNode::evaluate(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return Number(v.toNumber(exec));
}
void NegateNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool NegateNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value NegateNode::evaluate(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Number n = v.toNumber(exec);
double d = -n.value();
return Number(d);
}
void BitwiseNotNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool BitwiseNotNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value BitwiseNotNode::evaluate(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
int i32 = v.toInt32(exec);
return Number(~i32);
}
void LogicalNotNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool LogicalNotNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value LogicalNotNode::evaluate(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
bool b = v.toBoolean(exec);
return Boolean(!b);
}
void MultNode::ref()
{
Node::ref();
if ( term1 )
term1->ref();
if ( term2 )
term2->ref();
}
bool MultNode::deref()
{
if ( term1 && term1->deref() )
delete term1;
if ( term2 && term2->deref() )
delete term2;
return Node::deref();
}
Value MultNode::evaluate(ExecState *exec)
{
Value v1 = term1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v2 = term2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return mult(exec,v1, v2, oper);
}
void AddNode::ref()
{
Node::ref();
if ( term1 )
term1->ref();
if ( term2 )
term2->ref();
}
bool AddNode::deref()
{
if ( term1 && term1->deref() )
delete term1;
if ( term2 && term2->deref() )
delete term2;
return Node::deref();
}
Value AddNode::evaluate(ExecState *exec)
{
Value v1 = term1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v2 = term2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return add(exec,v1, v2, oper);
}
void ShiftNode::ref()
{
Node::ref();
if ( term1 )
term1->ref();
if ( term2 )
term2->ref();
}
bool ShiftNode::deref()
{
if ( term1 && term1->deref() )
delete term1;
if ( term2 && term2->deref() )
delete term2;
return Node::deref();
}
Value ShiftNode::evaluate(ExecState *exec)
{
Value v1 = term1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v2 = term2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
unsigned int i2 = v2.toUInt32(exec);
i2 &= 0x1f;
long result;
switch (oper) {
case OpLShift:
result = v1.toInt32(exec) << i2;
break;
case OpRShift:
result = v1.toInt32(exec) >> i2;
break;
case OpURShift:
result = v1.toUInt32(exec) >> i2;
break;
default:
assert(!"ShiftNode: unhandled switch case");
result = 0L;
}
return Number(static_cast<double>(result));
}
void RelationalNode::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
}
bool RelationalNode::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
return Node::deref();
}
Value RelationalNode::evaluate(ExecState *exec)
{
Value v1 = expr1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v2 = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
bool b;
if (oper == OpLess || oper == OpGreaterEq) {
int r = relation(exec, v1, v2);
if (r < 0)
b = false;
else
b = (oper == OpLess) ? (r == 1) : (r == 0);
} else if (oper == OpGreater || oper == OpLessEq) {
int r = relation(exec, v2, v1);
if (r < 0)
b = false;
else
b = (oper == OpGreater) ? (r == 1) : (r == 0);
} else if (oper == OpIn) {
if (v2.type() != ObjectType)
return throwError(exec, TypeError,
"Value %s (result of expression %s) is not an object. Cannot be used with IN expression.", v2, expr2);
Object o2(static_cast<ObjectImp*>(v2.imp()));
b = o2.hasProperty(exec, Identifier(v1.toString(exec)));
} else {
if (v2.type() != ObjectType)
return throwError(exec, TypeError,
"Value %s (result of expression %s) is not an object. Cannot be used with instanceof operator.", v2, expr2);
Object o2(static_cast<ObjectImp*>(v2.imp()));
if (!o2.implementsHasInstance()) {
return Boolean(false);
}
return o2.hasInstance(exec, v1);
}
return Boolean(b);
}
void EqualNode::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
}
bool EqualNode::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
return Node::deref();
}
Value EqualNode::evaluate(ExecState *exec)
{
Value v1 = expr1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v2 = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
bool result;
if (oper == OpEqEq || oper == OpNotEq) {
bool eq = equal(exec,v1, v2);
result = oper == OpEqEq ? eq : !eq;
} else {
bool eq = strictEqual(exec,v1, v2);
result = oper == OpStrEq ? eq : !eq;
}
return Boolean(result);
}
void BitOperNode::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
}
bool BitOperNode::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
return Node::deref();
}
Value BitOperNode::evaluate(ExecState *exec)
{
Value v1 = expr1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v2 = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
int i1 = v1.toInt32(exec);
int i2 = v2.toInt32(exec);
int result;
if (oper == OpBitAnd)
result = i1 & i2;
else if (oper == OpBitXOr)
result = i1 ^ i2;
else
result = i1 | i2;
return Number(result);
}
void BinaryLogicalNode::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
}
bool BinaryLogicalNode::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
return Node::deref();
}
Value BinaryLogicalNode::evaluate(ExecState *exec)
{
Value v1 = expr1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
bool b1 = v1.toBoolean(exec);
if ((!b1 && oper == OpAnd) || (b1 && oper == OpOr))
return v1;
Value v2 = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return v2;
}
void ConditionalNode::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
if ( logical )
logical->ref();
}
bool ConditionalNode::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
if ( logical && logical->deref() )
delete logical;
return Node::deref();
}
Value ConditionalNode::evaluate(ExecState *exec)
{
Value v = logical->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
bool b = v.toBoolean(exec);
if (b)
v = expr1->evaluate(exec);
else
v = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return v;
}
void AssignNode::ref()
{
Node::ref();
if ( left )
left->ref();
if ( expr )
expr->ref();
}
bool AssignNode::deref()
{
if ( left && left->deref() )
delete left;
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value AssignNode::evaluate(ExecState *exec)
{
Reference l = left->evaluateReference(exec);
KJS_CHECKEXCEPTIONVALUE
Value e, v;
if (oper == OpEqual) {
v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
} else {
Value v1 = l.getValue(exec);
Value v2 = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
int i1 = v1.toInt32(exec);
int i2 = v2.toInt32(exec);
unsigned int ui;
switch (oper) {
case OpMultEq:
v = mult(exec, v1, v2, '*');
break;
case OpDivEq:
v = mult(exec, v1, v2, '/');
break;
case OpPlusEq:
v = add(exec, v1, v2, '+');
break;
case OpMinusEq:
v = add(exec, v1, v2, '-');
break;
case OpLShift:
v = Number(i1 <<= i2);
break;
case OpRShift:
v = Number(i1 >>= i2);
break;
case OpURShift:
ui = v1.toUInt32(exec);
v = Number(ui >>= i2);
break;
case OpAndEq:
v = Number(i1 &= i2);
break;
case OpXOrEq:
v = Number(i1 ^= i2);
break;
case OpOrEq:
v = Number(i1 |= i2);
break;
case OpModEq: {
double d1 = v1.toNumber(exec);
double d2 = v2.toNumber(exec);
v = Number(fmod(d1,d2));
}
break;
default:
v = Undefined();
}
};
l.putValue(exec,v);
KJS_CHECKEXCEPTIONVALUE
return v;
}
void CommaNode::ref()
{
Node::ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
}
bool CommaNode::deref()
{
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
return Node::deref();
}
Value CommaNode::evaluate(ExecState *exec)
{
Value dummy = expr1->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
Value v = expr2->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return v;
}
StatListNode::StatListNode(StatementNode *s)
: statement(s), list(this)
{
setLoc(s->firstLine(), s->lastLine(), s->sourceId());
}
StatListNode::StatListNode(StatListNode *l, StatementNode *s)
: statement(s), list(l->list)
{
l->list = this;
setLoc(l->firstLine(), s->lastLine(), l->sourceId());
}
void StatListNode::ref()
{
for (StatListNode *n = this; n; n = n->list) {
n->Node::ref();
if (n->statement)
n->statement->ref();
}
}
bool StatListNode::deref()
{
StatListNode *next;
for (StatListNode *n = this; n; n = next) {
next = n->list;
if (n->statement && n->statement->deref())
delete n->statement;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Completion StatListNode::execute(ExecState *exec)
{
Completion c = statement->execute(exec);
KJS_ABORTPOINT
if (exec->hadException()) {
Value ex = exec->exception();
exec->clearException();
return Completion(Throw, ex);
}
if (c.complType() != Normal)
return c;
Value v = c.value();
for (StatListNode *n = list; n; n = n->list) {
Completion c2 = n->statement->execute(exec);
KJS_ABORTPOINT
if (c2.complType() != Normal)
return c2;
if (exec->hadException()) {
Value ex = exec->exception();
exec->clearException();
return Completion(Throw, ex);
}
if (c2.isValueCompletion())
v = c2.value();
c = c2;
}
return Completion(c.complType(), v, c.target());
}
void StatListNode::processVarDecls(ExecState *exec)
{
for (StatListNode *n = this; n; n = n->list)
n->statement->processVarDecls(exec);
}
void AssignExprNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool AssignExprNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Value AssignExprNode::evaluate(ExecState *exec)
{
return expr->evaluate(exec);
}
VarDeclNode::VarDeclNode(const Identifier &id, AssignExprNode *in)
: ident(id), init(in)
{
}
void VarDeclNode::ref()
{
Node::ref();
if ( init )
init->ref();
}
bool VarDeclNode::deref()
{
if ( init && init->deref() )
delete init;
return Node::deref();
}
Value VarDeclNode::evaluate(ExecState *exec)
{
Object variable = Object::dynamicCast(exec->context().imp()->variableObject());
Value val;
if (init) {
val = init->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
} else {
if ( variable.imp()->getDirect(ident) )
return Value();
val = Undefined();
}
#ifdef KJS_VERBOSE
printInfo(exec,(UString("new variable ")+ident).cstring().c_str(),val);
#endif
variable.put(exec, ident, val, DontDelete | Internal);
return String(ident.ustring());
}
void VarDeclNode::processVarDecls(ExecState *exec)
{
Object variable = exec->context().imp()->variableObject();
if (!variable.hasProperty(exec, ident)) {
variable.put(exec,ident, Undefined(), DontDelete);
}
}
void VarDeclListNode::ref()
{
for (VarDeclListNode *n = this; n; n = n->list) {
n->Node::ref();
if (n->var)
n->var->ref();
}
}
bool VarDeclListNode::deref()
{
VarDeclListNode *next;
for (VarDeclListNode *n = this; n; n = next) {
next = n->list;
if (n->var && n->var->deref())
delete n->var;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Value VarDeclListNode::evaluate(ExecState *exec)
{
for (VarDeclListNode *n = this; n; n = n->list) {
n->var->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
}
return Undefined();
}
void VarDeclListNode::processVarDecls(ExecState *exec)
{
for (VarDeclListNode *n = this; n; n = n->list)
n->var->processVarDecls(exec);
}
void VarStatementNode::ref()
{
Node::ref();
if ( list )
list->ref();
}
bool VarStatementNode::deref()
{
if ( list && list->deref() )
delete list;
return Node::deref();
}
Completion VarStatementNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
(void) list->evaluate(exec); KJS_CHECKEXCEPTION
return Completion(Normal);
}
void VarStatementNode::processVarDecls(ExecState *exec)
{
list->processVarDecls(exec);
}
BlockNode::BlockNode(SourceElementsNode *s)
{
if (s) {
source = s->elements;
s->elements = 0;
setLoc(s->firstLine(), s->lastLine(), s->sourceId());
} else {
source = 0;
}
}
void BlockNode::ref()
{
Node::ref();
if ( source )
source->ref();
}
bool BlockNode::deref()
{
if ( source && source->deref() )
delete source;
return Node::deref();
}
Completion BlockNode::execute(ExecState *exec)
{
if (!source)
return Completion(Normal);
source->processFuncDecl(exec);
return source->execute(exec);
}
void BlockNode::processVarDecls(ExecState *exec)
{
if (source)
source->processVarDecls(exec);
}
Completion EmptyStatementNode::execute(ExecState *)
{
return Completion(Normal);
}
void ExprStatementNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool ExprStatementNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Completion ExprStatementNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTION
return Completion(Normal, v);
}
void IfNode::ref()
{
Node::ref();
if ( statement1 )
statement1->ref();
if ( statement2 )
statement2->ref();
if ( expr )
expr->ref();
}
bool IfNode::deref()
{
if ( statement1 && statement1->deref() )
delete statement1;
if ( statement2 && statement2->deref() )
delete statement2;
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Completion IfNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTION
bool b = v.toBoolean(exec);
if (b)
return statement1->execute(exec);
if (!statement2)
return Completion(Normal);
return statement2->execute(exec);
}
void IfNode::processVarDecls(ExecState *exec)
{
statement1->processVarDecls(exec);
if (statement2)
statement2->processVarDecls(exec);
}
void DoWhileNode::ref()
{
Node::ref();
if ( statement )
statement->ref();
if ( expr )
expr->ref();
}
bool DoWhileNode::deref()
{
if ( statement && statement->deref() )
delete statement;
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Completion DoWhileNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value be, bv;
Completion c;
Value value;
do {
KJS_CHECKEXCEPTION
c = statement->execute(exec);
if (!((c.complType() == Continue) && ls.contains(c.target()))) {
if ((c.complType() == Break) && ls.contains(c.target()))
return Completion(Normal, value);
if (c.complType() != Normal)
return c;
}
bv = expr->evaluate(exec);
KJS_CHECKEXCEPTION
} while (bv.toBoolean(exec));
return Completion(Normal, value);
}
void DoWhileNode::processVarDecls(ExecState *exec)
{
statement->processVarDecls(exec);
}
void WhileNode::ref()
{
Node::ref();
if ( statement )
statement->ref();
if ( expr )
expr->ref();
}
bool WhileNode::deref()
{
if ( statement && statement->deref() )
delete statement;
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Completion WhileNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value be, bv;
Completion c;
bool b(false);
Value value;
while (1) {
bv = expr->evaluate(exec);
KJS_CHECKEXCEPTION
b = bv.toBoolean(exec);
KJS_CHECKEXCEPTION
if (!b)
return Completion(Normal, value);
c = statement->execute(exec);
if (c.isValueCompletion())
value = c.value();
if ((c.complType() == Continue) && ls.contains(c.target()))
continue;
if ((c.complType() == Break) && ls.contains(c.target()))
return Completion(Normal, value);
if (c.complType() != Normal)
return c;
}
}
void WhileNode::processVarDecls(ExecState *exec)
{
statement->processVarDecls(exec);
}
void ForNode::ref()
{
Node::ref();
if ( statement )
statement->ref();
if ( expr1 )
expr1->ref();
if ( expr2 )
expr2->ref();
if ( expr3 )
expr3->ref();
}
bool ForNode::deref()
{
if ( statement && statement->deref() )
delete statement;
if ( expr1 && expr1->deref() )
delete expr1;
if ( expr2 && expr2->deref() )
delete expr2;
if ( expr3 && expr3->deref() )
delete expr3;
return Node::deref();
}
Completion ForNode::execute(ExecState *exec)
{
Value e, v, cval;
bool b;
if (expr1) {
v = expr1->evaluate(exec);
KJS_CHECKEXCEPTION
}
while (1) {
if (expr2) {
v = expr2->evaluate(exec);
KJS_CHECKEXCEPTION
b = v.toBoolean(exec);
if (b == false)
return Completion(Normal, cval);
}
KJS_CHECKEXCEPTION
Completion c = statement->execute(exec);
if (c.isValueCompletion())
cval = c.value();
if (!((c.complType() == Continue) && ls.contains(c.target()))) {
if ((c.complType() == Break) && ls.contains(c.target()))
return Completion(Normal, cval);
if (c.complType() != Normal)
return c;
}
if (expr3) {
v = expr3->evaluate(exec);
KJS_CHECKEXCEPTION
}
}
}
void ForNode::processVarDecls(ExecState *exec)
{
if (expr1)
expr1->processVarDecls(exec);
statement->processVarDecls(exec);
}
ForInNode::ForInNode(Node *l, Node *e, StatementNode *s)
: init(0L), lexpr(l), expr(e), varDecl(0L), statement(s)
{
}
ForInNode::ForInNode(const Identifier &i, AssignExprNode *in, Node *e, StatementNode *s)
: ident(i), init(in), expr(e), statement(s)
{
varDecl = new VarDeclNode(ident, init);
lexpr = new ResolveNode(ident);
}
void ForInNode::ref()
{
Node::ref();
if ( statement )
statement->ref();
if ( expr )
expr->ref();
if ( lexpr )
lexpr->ref();
if ( init )
init->ref();
if ( varDecl )
varDecl->ref();
}
bool ForInNode::deref()
{
if ( statement && statement->deref() )
delete statement;
if ( expr && expr->deref() )
delete expr;
if ( lexpr && lexpr->deref() )
delete lexpr;
if ( init && init->deref() )
delete init;
if ( varDecl && varDecl->deref() )
delete varDecl;
return Node::deref();
}
Completion ForInNode::execute(ExecState *exec)
{
Value e, retval;
Object v;
Completion c;
ReferenceList propList;
if ( varDecl ) {
varDecl->evaluate(exec);
KJS_CHECKEXCEPTION
}
e = expr->evaluate(exec);
if (e.type() == UndefinedType || e.type() == NullType) {
return Completion(Normal, retval);
}
KJS_CHECKEXCEPTION
v = e.toObject(exec);
propList = v.propList(exec);
ReferenceListIterator propIt = propList.begin();
while (propIt != propList.end()) {
Identifier name = propIt->getPropertyName(exec);
if (!v.hasProperty(exec,name)) {
propIt++;
continue;
}
Reference ref = lexpr->evaluateReference(exec);
KJS_CHECKEXCEPTION
ref.putValue(exec, String(name.ustring()));
c = statement->execute(exec);
if (c.isValueCompletion())
retval = c.value();
if (!((c.complType() == Continue) && ls.contains(c.target()))) {
if ((c.complType() == Break) && ls.contains(c.target()))
break;
if (c.complType() != Normal) {
return c;
}
}
propIt++;
}
KJS_CHECKEXCEPTION
return Completion(Normal, retval);
}
void ForInNode::processVarDecls(ExecState *exec)
{
statement->processVarDecls(exec);
}
Completion ContinueNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value dummy;
return exec->context().imp()->seenLabels()->contains(ident) ?
Completion(Continue, dummy, ident) :
Completion(Throw,
throwError(exec, SyntaxError, "Label %s not found in containing block. Can't continue.", ident));
}
Completion BreakNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value dummy;
return exec->context().imp()->seenLabels()->contains(ident) ?
Completion(Break, dummy, ident) :
Completion(Throw,
throwError(exec, SyntaxError, "Label %s not found in containing block. Can't break.", ident));
}
void ReturnNode::ref()
{
Node::ref();
if ( value )
value->ref();
}
bool ReturnNode::deref()
{
if ( value && value->deref() )
delete value;
return Node::deref();
}
Completion ReturnNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
if (!value)
return Completion(ReturnValue, Undefined());
Value v = value->evaluate(exec);
KJS_CHECKEXCEPTION
return Completion(ReturnValue, v);
}
void WithNode::ref()
{
Node::ref();
if ( statement )
statement->ref();
if ( expr )
expr->ref();
}
bool WithNode::deref()
{
if ( statement && statement->deref() )
delete statement;
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Completion WithNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTION
Object o = v.toObject(exec);
KJS_CHECKEXCEPTION
exec->context().imp()->pushScope(o);
Completion res = statement->execute(exec);
exec->context().imp()->popScope();
return res;
}
void WithNode::processVarDecls(ExecState *exec)
{
statement->processVarDecls(exec);
}
void CaseClauseNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
if ( list )
list->ref();
}
bool CaseClauseNode::deref()
{
if ( expr && expr->deref() )
delete expr;
if ( list && list->deref() )
delete list;
return Node::deref();
}
Value CaseClauseNode::evaluate(ExecState *exec)
{
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTIONVALUE
return v;
}
Completion CaseClauseNode::evalStatements(ExecState *exec)
{
if (list)
return list->execute(exec);
else
return Completion(Normal, Undefined());
}
void CaseClauseNode::processVarDecls(ExecState *exec)
{
if (list)
list->processVarDecls(exec);
}
void ClauseListNode::ref()
{
for (ClauseListNode *n = this; n; n = n->nx) {
n->Node::ref();
if (n->cl)
n->cl->ref();
}
}
bool ClauseListNode::deref()
{
ClauseListNode *next;
for (ClauseListNode *n = this; n; n = next) {
next = n->nx;
if (n->cl && n->cl->deref())
delete n->cl;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Value ClauseListNode::evaluate(ExecState *)
{
assert(false);
return Value();
}
void ClauseListNode::processVarDecls(ExecState *exec)
{
for (ClauseListNode *n = this; n; n = n->nx)
if (n->cl)
n->cl->processVarDecls(exec);
}
CaseBlockNode::CaseBlockNode(ClauseListNode *l1, CaseClauseNode *d,
ClauseListNode *l2)
{
if (l1) {
list1 = l1->nx;
l1->nx = 0;
} else {
list1 = 0;
}
def = d;
if (l2) {
list2 = l2->nx;
l2->nx = 0;
} else {
list2 = 0;
}
}
void CaseBlockNode::ref()
{
Node::ref();
if ( def )
def->ref();
if ( list1 )
list1->ref();
if ( list2 )
list2->ref();
}
bool CaseBlockNode::deref()
{
if ( def && def->deref() )
delete def;
if ( list1 && list1->deref() )
delete list1;
if ( list2 && list2->deref() )
delete list2;
return Node::deref();
}
Value CaseBlockNode::evaluate(ExecState *)
{
assert(false);
return Value();
}
Completion CaseBlockNode::evalBlock(ExecState *exec, const Value& input)
{
Value v;
Completion res;
ClauseListNode *a = list1, *b = list2;
CaseClauseNode *clause;
while (a) {
clause = a->clause();
a = a->next();
v = clause->evaluate(exec);
KJS_CHECKEXCEPTION
if (strictEqual(exec, input, v)) {
res = clause->evalStatements(exec);
if (res.complType() != Normal)
return res;
while (a) {
res = a->clause()->evalStatements(exec);
if (res.complType() != Normal)
return res;
a = a->next();
}
break;
}
}
while (b) {
clause = b->clause();
b = b->next();
v = clause->evaluate(exec);
KJS_CHECKEXCEPTION
if (strictEqual(exec, input, v)) {
res = clause->evalStatements(exec);
if (res.complType() != Normal)
return res;
goto step18;
}
}
if (def) {
res = def->evalStatements(exec);
if (res.complType() != Normal)
return res;
}
b = list2;
step18:
while (b) {
clause = b->clause();
res = clause->evalStatements(exec);
if (res.complType() != Normal)
return res;
b = b->next();
}
KJS_CHECKEXCEPTION
return Completion(Normal);
}
void CaseBlockNode::processVarDecls(ExecState *exec)
{
if (list1)
list1->processVarDecls(exec);
if (def)
def->processVarDecls(exec);
if (list2)
list2->processVarDecls(exec);
}
void SwitchNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
if ( block )
block->ref();
}
bool SwitchNode::deref()
{
if ( expr && expr->deref() )
delete expr;
if ( block && block->deref() )
delete block;
return Node::deref();
}
Completion SwitchNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTION
Completion res = block->evalBlock(exec,v);
if ((res.complType() == Break) && ls.contains(res.target()))
return Completion(Normal, res.value());
else
return res;
}
void SwitchNode::processVarDecls(ExecState *exec)
{
block->processVarDecls(exec);
}
void LabelNode::ref()
{
Node::ref();
if ( statement )
statement->ref();
}
bool LabelNode::deref()
{
if ( statement && statement->deref() )
delete statement;
return Node::deref();
}
Completion LabelNode::execute(ExecState *exec)
{
Completion e;
if (!exec->context().imp()->seenLabels()->push(label)) {
return Completion( Throw,
throwError(exec, SyntaxError, "Duplicated label %s found.", label));
};
e = statement->execute(exec);
exec->context().imp()->seenLabels()->pop();
if ((e.complType() == Break) && (e.target() == label))
return Completion(Normal, e.value());
else
return e;
}
void LabelNode::processVarDecls(ExecState *exec)
{
statement->processVarDecls(exec);
}
void ThrowNode::ref()
{
Node::ref();
if ( expr )
expr->ref();
}
bool ThrowNode::deref()
{
if ( expr && expr->deref() )
delete expr;
return Node::deref();
}
Completion ThrowNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Value v = expr->evaluate(exec);
KJS_CHECKEXCEPTION
KJS_CHECKEXCEPTION
return Completion(Throw, v);
}
void CatchNode::ref()
{
Node::ref();
if ( block )
block->ref();
}
bool CatchNode::deref()
{
if ( block && block->deref() )
delete block;
return Node::deref();
}
Completion CatchNode::execute(ExecState *)
{
assert(0L);
return Completion();
}
Completion CatchNode::execute(ExecState *exec, const Value &arg)
{
exec->clearException();
Object obj(new ObjectImp());
obj.put(exec, ident, arg, DontDelete);
exec->context().imp()->pushScope(obj);
Completion c = block->execute(exec);
exec->context().imp()->popScope();
return c;
}
void CatchNode::processVarDecls(ExecState *exec)
{
block->processVarDecls(exec);
}
void FinallyNode::ref()
{
Node::ref();
if ( block )
block->ref();
}
bool FinallyNode::deref()
{
if ( block && block->deref() )
delete block;
return Node::deref();
}
Completion FinallyNode::execute(ExecState *exec)
{
return block->execute(exec);
}
void FinallyNode::processVarDecls(ExecState *exec)
{
block->processVarDecls(exec);
}
void TryNode::ref()
{
Node::ref();
if ( block )
block->ref();
if ( _final )
_final->ref();
if ( _catch )
_catch->ref();
}
bool TryNode::deref()
{
if ( block && block->deref() )
delete block;
if ( _final && _final->deref() )
delete _final;
if ( _catch && _catch->deref() )
delete _catch;
return Node::deref();
}
Completion TryNode::execute(ExecState *exec)
{
KJS_BREAKPOINT;
Completion c, c2;
c = block->execute(exec);
if (!_final) {
if (c.complType() != Throw)
return c;
return _catch->execute(exec,c.value());
}
if (!_catch) {
c2 = _final->execute(exec);
return (c2.complType() == Normal) ? c : c2;
}
if (c.complType() == Throw)
c = _catch->execute(exec,c.value());
c2 = _final->execute(exec);
return (c2.complType() == Normal) ? c : c2;
}
void TryNode::processVarDecls(ExecState *exec)
{
block->processVarDecls(exec);
if (_final)
_final->processVarDecls(exec);
if (_catch)
_catch->processVarDecls(exec);
}
void ParameterNode::ref()
{
for (ParameterNode *n = this; n; n = n->next)
n->Node::ref();
}
bool ParameterNode::deref()
{
ParameterNode *next;
for (ParameterNode *n = this; n; n = next) {
next = n->next;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Value ParameterNode::evaluate(ExecState *)
{
return Undefined();
}
FunctionBodyNode::FunctionBodyNode(SourceElementsNode *s)
: BlockNode(s)
{
setLoc(-1, -1, -1);
}
void FunctionBodyNode::processFuncDecl(ExecState *exec)
{
if (source)
source->processFuncDecl(exec);
}
void FuncDeclNode::ref()
{
Node::ref();
if ( param )
param->ref();
if ( body )
body->ref();
}
bool FuncDeclNode::deref()
{
if ( param && param->deref() )
delete param;
if ( body && body->deref() )
delete body;
return Node::deref();
}
void FuncDeclNode::processFuncDecl(ExecState *exec)
{
FunctionImp *fimp = new DeclaredFunctionImp(exec, ident, body, exec->context().imp()->scopeChain());
Object func(fimp);
List empty;
Object proto = exec->interpreter()->builtinObject().construct(exec,empty);
proto.put(exec, constructorPropertyName, func, ReadOnly|DontDelete|DontEnum);
func.put(exec, prototypePropertyName, proto, Internal|DontDelete);
int plen = 0;
for(ParameterNode *p = param; p != 0L; p = p->nextParam(), plen++)
fimp->addParameter(p->ident());
func.put(exec, lengthPropertyName, Number(plen), ReadOnly|DontDelete|DontEnum);
exec->context().imp()->variableObject().put(exec,ident,func);
if (body) {
Object oldVar = exec->context().imp()->variableObject();
exec->context().imp()->setVariableObject(func);
exec->context().imp()->pushScope(func);
body->processFuncDecl(exec);
exec->context().imp()->popScope();
exec->context().imp()->setVariableObject(oldVar);
}
}
void FuncExprNode::ref()
{
Node::ref();
if ( param )
param->ref();
if ( body )
body->ref();
}
bool FuncExprNode::deref()
{
if ( param && param->deref() )
delete param;
if ( body && body->deref() )
delete body;
return Node::deref();
}
Value FuncExprNode::evaluate(ExecState *exec)
{
FunctionImp *fimp = new DeclaredFunctionImp(exec, Identifier::null(), body, exec->context().imp()->scopeChain());
Value ret(fimp);
List empty;
Value proto = exec->interpreter()->builtinObject().construct(exec,empty);
fimp->put(exec, prototypePropertyName, proto, Internal|DontDelete);
int plen = 0;
for(ParameterNode *p = param; p != 0L; p = p->nextParam(), plen++)
fimp->addParameter(p->ident());
return ret;
}
SourceElementsNode::SourceElementsNode(StatementNode *s1)
: element(s1), elements(this)
{
setLoc(s1->firstLine(), s1->lastLine(), s1->sourceId());
}
SourceElementsNode::SourceElementsNode(SourceElementsNode *s1, StatementNode *s2)
: element(s2), elements(s1->elements)
{
s1->elements = this;
setLoc(s1->firstLine(), s2->lastLine(), s1->sourceId());
}
void SourceElementsNode::ref()
{
for (SourceElementsNode *n = this; n; n = n->elements) {
n->Node::ref();
if (n->element)
n->element->ref();
}
}
bool SourceElementsNode::deref()
{
SourceElementsNode *next;
for (SourceElementsNode *n = this; n; n = next) {
next = n->elements;
if (n->element && n->element->deref())
delete n->element;
if (n != this && n->Node::deref())
delete n;
}
return Node::deref();
}
Completion SourceElementsNode::execute(ExecState *exec)
{
KJS_CHECKEXCEPTION
Completion c1 = element->execute(exec);
KJS_CHECKEXCEPTION;
if (c1.complType() != Normal)
return c1;
for (SourceElementsNode *n = elements; n; n = n->elements) {
Completion c2 = n->element->execute(exec);
if (c2.complType() != Normal)
return c2;
if (!c2.value().isNull())
c1 = c2;
}
return c1;
}
void SourceElementsNode::processFuncDecl(ExecState *exec)
{
for (SourceElementsNode *n = this; n; n = n->elements)
n->element->processFuncDecl(exec);
}
void SourceElementsNode::processVarDecls(ExecState *exec)
{
for (SourceElementsNode *n = this; n; n = n->elements)
n->element->processVarDecls(exec);
}
ProgramNode::ProgramNode(SourceElementsNode *s): FunctionBodyNode(s) {
}