void Dictionary::build(StatementPtr stmt) {
for (int i = 0, n = stmt->getKidCount(); i < n; i++) {
if (ConstructPtr kid = stmt->getNthKid(i)) {
if (StatementPtr s = boost::dynamic_pointer_cast<Statement>(kid)) {
if (FunctionWalker::SkipRecurse(s)) continue;
build(s);
} else {
ExpressionPtr e = boost::dynamic_pointer_cast<Expression>(kid);
build(e);
}
}
}
}
void Dictionary::build(StatementPtr stmt) {
for (int i = 0, n = stmt->getKidCount(); i < n; i++) {
if (ConstructPtr kid = stmt->getNthKid(i)) {
if (StatementPtr s = boost::dynamic_pointer_cast<Statement>(kid)) {
switch (s->getKindOf()) {
case Statement::KindOfFunctionStatement:
case Statement::KindOfMethodStatement:
case Statement::KindOfClassStatement:
case Statement::KindOfInterfaceStatement:
continue;
default:
break;
}
build(s);
} else {
ExpressionPtr e = boost::dynamic_pointer_cast<Expression>(kid);
build(e);
}
}
}
}
int AliasManager::canonicalizeRecur(StatementPtr s) {
if (!s) return FallThrough;
Statement::KindOf stype = s->getKindOf();
int ret = FallThrough;
int start = 0;
switch (stype) {
case Statement::KindOfFunctionStatement:
case Statement::KindOfMethodStatement:
case Statement::KindOfClassStatement:
case Statement::KindOfInterfaceStatement:
// Dont handle nested functions
// they will be dealt with by another
// top level call to optimize
return ret;
case Statement::KindOfStaticStatement:
clear();
ret = Converge;
break;
case Statement::KindOfClassVariable:
clear();
ret = Branch;
case Statement::KindOfClassConstant:
case Statement::KindOfGlobalStatement:
case Statement::KindOfEchoStatement:
case Statement::KindOfUnsetStatement:
case Statement::KindOfExpStatement:
case Statement::KindOfStatementList:
case Statement::KindOfBlockStatement:
case Statement::KindOfTryStatement:
// No special action, just execute
// and fall through
break;
case Statement::KindOfIfStatement:
{
StatementPtr iflist = spc(Statement, s->getNthKid(0));
if (iflist) {
for (int i = 0, n = iflist->getKidCount(); i < n; i++) {
StatementPtr ifstmt = spc(Statement, iflist->getNthKid(i));
ExpressionPtr cond = spc(Expression, ifstmt->getNthKid(0));
canonicalizeKid(ifstmt, cond, 0);
if (!i) beginScope();
beginScope();
canonicalizeRecur(spc(Statement, ifstmt->getNthKid(1)));
endScope();
if (i+1 < n) resetScope();
}
endScope();
}
ret = Converge;
return FallThrough;
}
break;
case Statement::KindOfIfBranchStatement:
assert(0);
break;
case Statement::KindOfForStatement:
canonicalizeKid(s, spc(Expression,s->getNthKid(0)), 0);
clear();
canonicalizeKid(s, spc(Expression,s->getNthKid(1)), 1);
canonicalizeRecur(spc(Statement, s->getNthKid(2)));
clear();
canonicalizeKid(s, spc(Expression,s->getNthKid(3)), 3);
return Converge;
case Statement::KindOfWhileStatement:
case Statement::KindOfDoStatement:
case Statement::KindOfForEachStatement:
clear();
ret = Converge;
break;
case Statement::KindOfSwitchStatement:
canonicalizeKid(s, spc(Expression,s->getNthKid(0)), 0);
clear();
start = 1;
ret = Converge;
break;
case Statement::KindOfCaseStatement:
clear();
break;
case Statement::KindOfBreakStatement:
case Statement::KindOfContinueStatement:
case Statement::KindOfReturnStatement:
ret = Branch;
break;
case Statement::KindOfCatchStatement:
clear();
ret = Converge;
break;
case Statement::KindOfThrowStatement:
ret = Branch;
break;
}
int nkid = s->getKidCount();
for (int i = start; i < nkid; i++) {
ConstructPtr cp = s->getNthKid(i);
if (!cp) {
continue;
}
if (StatementPtr skid = dpc(Statement, cp)) {
int action = canonicalizeRecur(skid);
switch (action) {
case FallThrough:
case CondBranch:
break;
case Branch:
clear();
break;
case Converge:
clear();
break;
}
} else {
canonicalizeKid(s, spc(Expression, cp), i);
}
}
return ret;
}