| 1 | /**************************************************************************** | 
|---|
| 2 | ** | 
|---|
| 3 | ** Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies). | 
|---|
| 4 | ** Contact: Qt Software Information (qt-info@nokia.com) | 
|---|
| 5 | ** | 
|---|
| 6 | ** This file is part of the QtScript module of the Qt Toolkit. | 
|---|
| 7 | ** | 
|---|
| 8 | ** $QT_BEGIN_LICENSE:LGPL$ | 
|---|
| 9 | ** Commercial Usage | 
|---|
| 10 | ** Licensees holding valid Qt Commercial licenses may use this file in | 
|---|
| 11 | ** accordance with the Qt Commercial License Agreement provided with the | 
|---|
| 12 | ** Software or, alternatively, in accordance with the terms contained in | 
|---|
| 13 | ** a written agreement between you and Nokia. | 
|---|
| 14 | ** | 
|---|
| 15 | ** GNU Lesser General Public License Usage | 
|---|
| 16 | ** Alternatively, this file may be used under the terms of the GNU Lesser | 
|---|
| 17 | ** General Public License version 2.1 as published by the Free Software | 
|---|
| 18 | ** Foundation and appearing in the file LICENSE.LGPL included in the | 
|---|
| 19 | ** packaging of this file.  Please review the following information to | 
|---|
| 20 | ** ensure the GNU Lesser General Public License version 2.1 requirements | 
|---|
| 21 | ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html. | 
|---|
| 22 | ** | 
|---|
| 23 | ** In addition, as a special exception, Nokia gives you certain | 
|---|
| 24 | ** additional rights. These rights are described in the Nokia Qt LGPL | 
|---|
| 25 | ** Exception version 1.0, included in the file LGPL_EXCEPTION.txt in this | 
|---|
| 26 | ** package. | 
|---|
| 27 | ** | 
|---|
| 28 | ** GNU General Public License Usage | 
|---|
| 29 | ** Alternatively, this file may be used under the terms of the GNU | 
|---|
| 30 | ** General Public License version 3.0 as published by the Free Software | 
|---|
| 31 | ** Foundation and appearing in the file LICENSE.GPL included in the | 
|---|
| 32 | ** packaging of this file.  Please review the following information to | 
|---|
| 33 | ** ensure the GNU General Public License version 3.0 requirements will be | 
|---|
| 34 | ** met: http://www.gnu.org/copyleft/gpl.html. | 
|---|
| 35 | ** | 
|---|
| 36 | ** If you are unsure which license is appropriate for your use, please | 
|---|
| 37 | ** contact the sales department at qt-sales@nokia.com. | 
|---|
| 38 | ** $QT_END_LICENSE$ | 
|---|
| 39 | ** | 
|---|
| 40 | ****************************************************************************/ | 
|---|
| 41 |  | 
|---|
| 42 | #ifndef QSCRIPTCOMPILER_P_H | 
|---|
| 43 | #define QSCRIPTCOMPILER_P_H | 
|---|
| 44 |  | 
|---|
| 45 | // | 
|---|
| 46 | //  W A R N I N G | 
|---|
| 47 | //  ------------- | 
|---|
| 48 | // | 
|---|
| 49 | // This file is not part of the Qt API.  It exists purely as an | 
|---|
| 50 | // implementation detail.  This header file may change from version to | 
|---|
| 51 | // version without notice, or even be removed. | 
|---|
| 52 | // | 
|---|
| 53 | // We mean it. | 
|---|
| 54 | // | 
|---|
| 55 |  | 
|---|
| 56 | #include <QtCore/QMap> | 
|---|
| 57 |  | 
|---|
| 58 | #ifndef QT_NO_SCRIPT | 
|---|
| 59 |  | 
|---|
| 60 | #include <QtCore/QVector> | 
|---|
| 61 |  | 
|---|
| 62 | #include "qscriptastvisitor_p.h" | 
|---|
| 63 | #include "qscriptasm_p.h" | 
|---|
| 64 |  | 
|---|
| 65 | QT_BEGIN_NAMESPACE | 
|---|
| 66 |  | 
|---|
| 67 | class QScriptEnginePrivate; | 
|---|
| 68 |  | 
|---|
| 69 | namespace QScript { | 
|---|
| 70 |  | 
|---|
| 71 | class Compiler: protected AST::Visitor | 
|---|
| 72 | { | 
|---|
| 73 | public: | 
|---|
| 74 | Compiler(QScriptEnginePrivate *eng); | 
|---|
| 75 | virtual ~Compiler(); | 
|---|
| 76 |  | 
|---|
| 77 | inline QScriptEnginePrivate *engine() const { return m_eng; } | 
|---|
| 78 |  | 
|---|
| 79 | bool topLevelCompiler() const; | 
|---|
| 80 | void setTopLevelCompiler(bool b); | 
|---|
| 81 |  | 
|---|
| 82 | CompilationUnit compile(AST::Node *node, const QList<QScriptNameIdImpl *> &formals | 
|---|
| 83 | = QList<QScriptNameIdImpl *>()); | 
|---|
| 84 |  | 
|---|
| 85 | struct Label { | 
|---|
| 86 | Label(int o = 0): | 
|---|
| 87 | offset (o) {} | 
|---|
| 88 |  | 
|---|
| 89 | int offset; | 
|---|
| 90 | QVector<int> uses; | 
|---|
| 91 | }; | 
|---|
| 92 |  | 
|---|
| 93 | // instruction set | 
|---|
| 94 | void iAdd(); | 
|---|
| 95 | void iAssign(); | 
|---|
| 96 | void iBitAnd(); | 
|---|
| 97 | void iBitOr(); | 
|---|
| 98 | void iBitXor(); | 
|---|
| 99 | void iBitNot(); | 
|---|
| 100 | void iBranch(int index); | 
|---|
| 101 | void iBranchTrue(int index); | 
|---|
| 102 | void iBranchFalse(int index); | 
|---|
| 103 | void iCall(int argc); | 
|---|
| 104 | void iDeclareLocal(QScriptNameIdImpl *id, bool readOnly); | 
|---|
| 105 | void iDecr(); | 
|---|
| 106 | void iDelete(); | 
|---|
| 107 | void iDiv(); | 
|---|
| 108 | void iDuplicate(); | 
|---|
| 109 | void iEqual(); | 
|---|
| 110 | void iFetch(QScriptNameIdImpl *id); | 
|---|
| 111 | void iFetchField(); | 
|---|
| 112 | void iLazyArguments(); | 
|---|
| 113 | void iGreatOrEqual(); | 
|---|
| 114 | void iGreatThan(); | 
|---|
| 115 | void iIncr(); | 
|---|
| 116 | void iInplaceAdd(); | 
|---|
| 117 | void iInplaceAnd(); | 
|---|
| 118 | void iInplaceDecr(); | 
|---|
| 119 | void iInplaceDiv(); | 
|---|
| 120 | void iInplaceLeftShift(); | 
|---|
| 121 | void iInplaceMod(); | 
|---|
| 122 | void iInplaceMul(); | 
|---|
| 123 | void iInplaceOr(); | 
|---|
| 124 | void iInplaceRightShift(); | 
|---|
| 125 | void iInplaceSub(); | 
|---|
| 126 | void iInplaceURightShift(); | 
|---|
| 127 | void iInstanceOf(); | 
|---|
| 128 | void iLeftShift(); | 
|---|
| 129 | void iLessOrEqual(); | 
|---|
| 130 | void iLessThan(); | 
|---|
| 131 | void iLoadFalse(); | 
|---|
| 132 | void iLoadNumber(double number); | 
|---|
| 133 | void iLoadString(QScriptNameIdImpl *id); | 
|---|
| 134 | void iNewString(QScriptNameIdImpl *id); | 
|---|
| 135 | void iLoadThis(); | 
|---|
| 136 | void iLoadActivation(); | 
|---|
| 137 | void iLoadNull(); | 
|---|
| 138 | void iLoadTrue(); | 
|---|
| 139 | void iLoadUndefined(); | 
|---|
| 140 | void iMod(); | 
|---|
| 141 | void iMul(); | 
|---|
| 142 | void iUnaryPlus(); | 
|---|
| 143 | void iUnaryMinus(); | 
|---|
| 144 | void iNew(int argc); | 
|---|
| 145 | void iNewArray(); | 
|---|
| 146 | void iNewClosure(AST::FunctionExpression *expr); | 
|---|
| 147 | void iNewObject(); | 
|---|
| 148 | void iNewRegExp(QScriptNameIdImpl *pattern); | 
|---|
| 149 | void iNewRegExp(QScriptNameIdImpl *pattern, int flags); | 
|---|
| 150 | void iNot(); | 
|---|
| 151 | void iNotEqual(); | 
|---|
| 152 | void iPop(); | 
|---|
| 153 | void iPostDecr(); | 
|---|
| 154 | void iPostIncr(); | 
|---|
| 155 | void iPutField(); | 
|---|
| 156 | void iResolve(QScriptNameIdImpl *id); | 
|---|
| 157 | void iRet(); | 
|---|
| 158 | void iRightShift(); | 
|---|
| 159 | void iSub(); | 
|---|
| 160 | void iStrictEqual(); | 
|---|
| 161 | void iStrictNotEqual(); | 
|---|
| 162 | void iSwap(); | 
|---|
| 163 | void iThrow(); | 
|---|
| 164 | void iTypeOf(); | 
|---|
| 165 | void iURightShift(); | 
|---|
| 166 | void iInplaceXor(); | 
|---|
| 167 | void iLine(AST::Node *node); | 
|---|
| 168 | void iNewEnumeration(); | 
|---|
| 169 | void iToFirstElement(); | 
|---|
| 170 | void iHasNextElement(); | 
|---|
| 171 | void iNextElement(); | 
|---|
| 172 | void iEnterWith(); | 
|---|
| 173 | void iLeaveWith(); | 
|---|
| 174 | void iBeginCatch(QScriptNameIdImpl *id); | 
|---|
| 175 | void iEndCatch(); | 
|---|
| 176 | void iSync(); | 
|---|
| 177 | void iHalt(); | 
|---|
| 178 | void iMakeReference(); | 
|---|
| 179 | void iIn(); | 
|---|
| 180 | void iNop(); | 
|---|
| 181 | void iDebugger(); | 
|---|
| 182 |  | 
|---|
| 183 | protected: | 
|---|
| 184 | virtual bool preVisit(AST::Node *node); | 
|---|
| 185 |  | 
|---|
| 186 | virtual bool visit(AST::ArrayLiteral *node); | 
|---|
| 187 | virtual bool visit(AST::ArrayMemberExpression *node); | 
|---|
| 188 | virtual bool visit(AST::Expression *node); | 
|---|
| 189 | virtual bool visit(AST::BinaryExpression *node); | 
|---|
| 190 | virtual bool visit(AST::BreakStatement *node); | 
|---|
| 191 | virtual bool visit(AST::CallExpression *node); | 
|---|
| 192 | virtual bool visit(AST::ConditionalExpression *node); | 
|---|
| 193 | virtual bool visit(AST::ContinueStatement *node); | 
|---|
| 194 | virtual bool visit(AST::DeleteExpression *node); | 
|---|
| 195 | virtual bool visit(AST::DoWhileStatement *node); | 
|---|
| 196 | virtual bool visit(AST::ExpressionStatement *node); | 
|---|
| 197 | virtual bool visit(AST::FalseLiteral *node); | 
|---|
| 198 | virtual bool visit(AST::FieldMemberExpression *node); | 
|---|
| 199 | virtual bool visit(AST::ForEachStatement *node); | 
|---|
| 200 | virtual bool visit(AST::LocalForEachStatement *node); | 
|---|
| 201 | virtual bool visit(AST::ForStatement *node); | 
|---|
| 202 | virtual bool visit(AST::FunctionDeclaration *node); | 
|---|
| 203 | virtual bool visit(AST::FunctionExpression *node); | 
|---|
| 204 | virtual bool visit(AST::FunctionSourceElement *node); | 
|---|
| 205 | virtual bool visit(AST::IdentifierExpression *node); | 
|---|
| 206 | virtual bool visit(AST::IfStatement *node); | 
|---|
| 207 | virtual bool visit(AST::LabelledStatement *node); | 
|---|
| 208 | virtual bool visit(AST::LocalForStatement *node); | 
|---|
| 209 | virtual bool visit(AST::NewExpression *node); | 
|---|
| 210 | virtual bool visit(AST::NewMemberExpression *node); | 
|---|
| 211 | virtual bool visit(AST::NumericLiteral *node); | 
|---|
| 212 | virtual bool visit(AST::ObjectLiteral *node); | 
|---|
| 213 | virtual bool visit(AST::PostDecrementExpression *node); | 
|---|
| 214 | virtual bool visit(AST::PostIncrementExpression *node); | 
|---|
| 215 | virtual bool visit(AST::PreDecrementExpression *node); | 
|---|
| 216 | virtual bool visit(AST::PreIncrementExpression *node); | 
|---|
| 217 | virtual bool visit(AST::RegExpLiteral *node); | 
|---|
| 218 | virtual bool visit(AST::ReturnStatement *node); | 
|---|
| 219 | virtual bool visit(AST::SourceElements *node); | 
|---|
| 220 | virtual bool visit(AST::StatementList *node); | 
|---|
| 221 | virtual bool visit(AST::StatementSourceElement *node); | 
|---|
| 222 | virtual bool visit(AST::StringLiteral *node); | 
|---|
| 223 | virtual bool visit(AST::SwitchStatement *node); | 
|---|
| 224 | virtual bool visit(AST::ThisExpression *node); | 
|---|
| 225 | virtual bool visit(AST::NullExpression *node); | 
|---|
| 226 | virtual bool visit(AST::ThrowStatement *node); | 
|---|
| 227 | virtual bool visit(AST::TryStatement *node); | 
|---|
| 228 | virtual bool visit(AST::TrueLiteral *node); | 
|---|
| 229 | virtual bool visit(AST::VariableStatement *node); | 
|---|
| 230 | virtual bool visit(AST::VariableDeclaration *node); | 
|---|
| 231 | virtual bool visit(AST::WhileStatement *node); | 
|---|
| 232 | virtual bool visit(AST::WithStatement *node); | 
|---|
| 233 | virtual bool visit(AST::Block *node); | 
|---|
| 234 | virtual bool visit(AST::TypeOfExpression *node); | 
|---|
| 235 | virtual bool visit(AST::DebuggerStatement *node); | 
|---|
| 236 |  | 
|---|
| 237 | virtual void endVisit(AST::BreakStatement *node); | 
|---|
| 238 | virtual void endVisit(AST::ContinueStatement *node); | 
|---|
| 239 | virtual void endVisit(AST::ExpressionStatement *node); | 
|---|
| 240 | virtual void endVisit(AST::NotExpression *node); | 
|---|
| 241 | virtual void endVisit(AST::ReturnStatement *node); | 
|---|
| 242 | virtual void endVisit(AST::ThrowStatement *node); | 
|---|
| 243 | virtual void endVisit(AST::TildeExpression *node); | 
|---|
| 244 | virtual void endVisit(AST::UnaryPlusExpression *node); | 
|---|
| 245 | virtual void endVisit(AST::UnaryMinusExpression *node); | 
|---|
| 246 | virtual void endVisit(AST::VoidExpression *node); | 
|---|
| 247 | virtual void endVisit(AST::EmptyStatement *node); | 
|---|
| 248 |  | 
|---|
| 249 | void visitForInternal(AST::Statement *node, AST::ExpressionNode *condition, | 
|---|
| 250 | AST::Statement *statement, AST::ExpressionNode *expression); | 
|---|
| 251 |  | 
|---|
| 252 | bool isAssignmentOperator(int op) const; | 
|---|
| 253 | int inplaceAssignmentOperator(int op) const; | 
|---|
| 254 |  | 
|---|
| 255 | inline int nextInstructionOffset() const | 
|---|
| 256 | { return m_instructions.count(); } | 
|---|
| 257 |  | 
|---|
| 258 | inline void pushInstruction(QScriptInstruction::Operator op) | 
|---|
| 259 | { | 
|---|
| 260 | pushInstruction(op, QScriptValueImpl(), QScriptValueImpl()); | 
|---|
| 261 | } | 
|---|
| 262 |  | 
|---|
| 263 | inline void pushInstruction(QScriptInstruction::Operator op, | 
|---|
| 264 | const QScriptValueImpl &arg1) | 
|---|
| 265 | { | 
|---|
| 266 | pushInstruction(op, arg1, QScriptValueImpl()); | 
|---|
| 267 | } | 
|---|
| 268 |  | 
|---|
| 269 | inline void pushInstruction(QScriptInstruction::Operator op, | 
|---|
| 270 | const QScriptValueImpl &arg1, | 
|---|
| 271 | const QScriptValueImpl &arg2) | 
|---|
| 272 | { | 
|---|
| 273 | QScriptInstruction i; | 
|---|
| 274 | i.op = op; | 
|---|
| 275 | i.operand[0] = arg1; | 
|---|
| 276 | i.operand[1] = arg2; | 
|---|
| 277 | m_instructions.append(i); | 
|---|
| 278 | } | 
|---|
| 279 |  | 
|---|
| 280 | inline bool generateReferences(bool b) | 
|---|
| 281 | { | 
|---|
| 282 | bool was = m_generateReferences; | 
|---|
| 283 | m_generateReferences = b; | 
|---|
| 284 | return was; | 
|---|
| 285 | } | 
|---|
| 286 |  | 
|---|
| 287 | inline bool generateFastArgumentLookup(bool b) | 
|---|
| 288 | { | 
|---|
| 289 | bool was = m_generateFastArgumentLookup; | 
|---|
| 290 | m_generateFastArgumentLookup= b; | 
|---|
| 291 | return was; | 
|---|
| 292 | } | 
|---|
| 293 |  | 
|---|
| 294 | inline bool iterationStatement(bool b) | 
|---|
| 295 | { | 
|---|
| 296 | bool was = m_iterationStatement; | 
|---|
| 297 | m_iterationStatement = b; | 
|---|
| 298 | return was; | 
|---|
| 299 | } | 
|---|
| 300 |  | 
|---|
| 301 | inline bool switchStatement(bool b) | 
|---|
| 302 | { | 
|---|
| 303 | bool was = m_switchStatement; | 
|---|
| 304 | m_switchStatement = b; | 
|---|
| 305 | return was; | 
|---|
| 306 | } | 
|---|
| 307 |  | 
|---|
| 308 | inline bool changeParseStatements(bool b) | 
|---|
| 309 | { | 
|---|
| 310 | bool was = m_parseStatements; | 
|---|
| 311 | m_parseStatements = b; | 
|---|
| 312 | return was; | 
|---|
| 313 | } | 
|---|
| 314 |  | 
|---|
| 315 | inline bool withStatement(bool b) | 
|---|
| 316 | { | 
|---|
| 317 | bool was = m_withStatement; | 
|---|
| 318 | m_withStatement = b; | 
|---|
| 319 | return was; | 
|---|
| 320 | } | 
|---|
| 321 |  | 
|---|
| 322 | inline bool generateLeaveOnBreak(bool b) | 
|---|
| 323 | { | 
|---|
| 324 | bool was = m_generateLeaveWithOnBreak; | 
|---|
| 325 | m_generateLeaveWithOnBreak = b; | 
|---|
| 326 | return was; | 
|---|
| 327 | } | 
|---|
| 328 |  | 
|---|
| 329 | void patchInstruction(int index, int offset); | 
|---|
| 330 |  | 
|---|
| 331 | private: | 
|---|
| 332 | QScriptEnginePrivate *m_eng; | 
|---|
| 333 |  | 
|---|
| 334 | uint m_generateReferences: 1; | 
|---|
| 335 | uint m_iterationStatement: 1; | 
|---|
| 336 | uint m_switchStatement: 1; | 
|---|
| 337 | uint m_withStatement: 1; | 
|---|
| 338 | uint m_generateLeaveWithOnBreak: 1; | 
|---|
| 339 | uint m_generateFastArgumentLookup: 1; | 
|---|
| 340 | uint m_parseStatements: 1; | 
|---|
| 341 | uint m_pad: 25; | 
|---|
| 342 |  | 
|---|
| 343 | bool m_topLevelCompiler; // bit | 
|---|
| 344 | QVector<QScriptInstruction> m_instructions; | 
|---|
| 345 | QVector<ExceptionHandlerDescriptor> m_exceptionHandlers; | 
|---|
| 346 | QList<QScriptNameIdImpl *> m_formals; | 
|---|
| 347 |  | 
|---|
| 348 | struct Loop { | 
|---|
| 349 | Loop(QScriptNameIdImpl *n = 0): | 
|---|
| 350 | name(n) {} | 
|---|
| 351 |  | 
|---|
| 352 | QScriptNameIdImpl *name; | 
|---|
| 353 | Label breakLabel; | 
|---|
| 354 | Label continueLabel; | 
|---|
| 355 | }; | 
|---|
| 356 |  | 
|---|
| 357 | inline Loop *changeActiveLoop(Loop *activeLoop) | 
|---|
| 358 | { | 
|---|
| 359 | Loop *was = m_activeLoop; | 
|---|
| 360 | m_activeLoop = activeLoop; | 
|---|
| 361 | return was; | 
|---|
| 362 | } | 
|---|
| 363 |  | 
|---|
| 364 | Loop *findLoop(QScriptNameIdImpl *name = 0); | 
|---|
| 365 |  | 
|---|
| 366 | Loop *m_activeLoop; | 
|---|
| 367 | QMap<AST::Statement*, Loop> m_loops; | 
|---|
| 368 | CompilationUnit m_compilationUnit; | 
|---|
| 369 | }; | 
|---|
| 370 |  | 
|---|
| 371 | } // namespace QScript | 
|---|
| 372 |  | 
|---|
| 373 | #endif // QT_NO_SCRIPT | 
|---|
| 374 |  | 
|---|
| 375 | QT_END_NAMESPACE | 
|---|
| 376 |  | 
|---|
| 377 | #endif | 
|---|