Parser.hpp

   1 /* Cycript - Optimizing JavaScript Compiler/Runtime
   2  * Copyright (C) 2009-2010  Jay Freeman (saurik)
   3 */
   4
   5 /* GNU Lesser General Public License, Version 3 {{{ */
   6 /*
   7  * Cycript is free software: you can redistribute it and/or modify it under
   8  * the terms of the GNU Lesser General Public License as published by the
   9  * Free Software Foundation, either version 3 of the License, or (at your
  10  * option) any later version.
  11  *
  12  * Cycript is distributed in the hope that it will be useful, but WITHOUT
  13  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  15  * License for more details.
  16  *
  17  * You should have received a copy of the GNU Lesser General Public License
  18  * along with Cycript.  If not, see <http://www.gnu.org/licenses/>.
  19 **/
  20 /* }}} */
  21
  22 #ifndef CYCRIPT_PARSER_HPP
  23 #define CYCRIPT_PARSER_HPP
  24
  25 #include <iostream>
  26
  27 #include <string>
  28 #include <vector>
  29 #include <map>
  30 #include <set>
  31
  32 #include <cstdio>
  33 #include <cstdlib>
  34
  35 #include "location.hh"
  36
  37 #include "List.hpp"
  38 #include "Pooling.hpp"
  39 #include "Options.hpp"
  40
  41 class CYContext;
  42
  43 struct CYThing {
  44     virtual ~CYThing() {
  45     }
  46
  47     virtual void Output(struct CYOutput &out) const = 0;
  48 };
  49
  50 struct CYOutput {
  51     std::ostream &out_;
  52     CYOptions &options_;
  53     bool pretty_;
  54     unsigned indent_;
  55     bool right_;
  56
  57     enum {
  58         NoMode,
  59         NoLetter,
  60         NoPlus,
  61         NoHyphen,
  62         Terminated
  63     } mode_;
  64
  65     CYOutput(std::ostream &out, CYOptions &options) :
  66         out_(out),
  67         options_(options),
  68         pretty_(false),
  69         indent_(0),
  70         right_(false),
  71         mode_(NoMode)
  72     {
  73     }
  74
  75     void Check(char value);
  76     void Terminate();
  77
  78     CYOutput &operator <<(char rhs);
  79     CYOutput &operator <<(const char *rhs);
  80
  81     _finline CYOutput &operator <<(const CYThing *rhs) {
  82         if (rhs != NULL)
  83             rhs->Output(*this);
  84         return *this;
  85     }
  86
  87     _finline CYOutput &operator <<(const CYThing &rhs) {
  88         rhs.Output(*this);
  89         return *this;
  90     }
  91 };
  92
  93 struct CYPropertyName {
  94     virtual void PropertyName(CYOutput &out) const = 0;
  95
  96     virtual ~CYPropertyName() {
  97     }
  98 };
  99
 100 struct CYExpression;
 101
 102 enum CYNeeded {
 103     CYNever     = -1,
 104     CYSometimes =  0,
 105     CYAlways    =  1,
 106 };
 107
 108 enum CYFlags {
 109     CYNoFlags =      0,
 110     CYNoBrace =      (1 << 0),
 111     CYNoFunction =   (1 << 1),
 112     CYNoIn =         (1 << 2),
 113     CYNoCall =       (1 << 3),
 114     CYNoRightHand =  (1 << 4),
 115     CYNoDangle =     (1 << 5),
 116     CYNoInteger =    (1 << 6),
 117     CYNoBF =         (CYNoBrace | CYNoFunction),
 118 };
 119
 120 struct CYStatement :
 121     CYNext<CYStatement>
 122 {
 123     virtual ~CYStatement() {
 124     }
 125
 126     void Single(CYOutput &out, CYFlags flags) const;
 127     void Multiple(CYOutput &out, CYFlags flags = CYNoFlags) const;
 128
 129     virtual CYStatement *Collapse(CYContext &context);
 130     virtual CYStatement *Replace(CYContext &context) = 0;
 131
 132   private:
 133     virtual void Output(CYOutput &out, CYFlags flags) const = 0;
 134 };
 135
 136 struct CYStatements {
 137     CYStatement *first_;
 138     CYStatement *last_;
 139
 140     CYStatements() :
 141         first_(NULL),
 142         last_(NULL)
 143     {
 144     }
 145
 146     operator CYStatement *() const {
 147         return first_;
 148     }
 149
 150     CYStatements &operator ->*(CYStatement *next) {
 151         if (next != NULL)
 152             if (first_ == NULL) {
 153                 first_ = next;
 154                 last_ = next;
 155             } else for (;; last_ = last_->next_)
 156                 if (last_->next_ == NULL) {
 157                     last_->next_ = next;
 158                     last_ = next;
 159                     break;
 160                 }
 161         return *this;
 162     }
 163 };
 164
 165 struct CYClassName {
 166     virtual ~CYClassName() {
 167     }
 168
 169     virtual CYExpression *ClassName(CYContext &context, bool object) = 0;
 170     virtual void ClassName(CYOutput &out, bool object) const = 0;
 171 };
 172
 173 struct CYWord :
 174     CYThing,
 175     CYPropertyName,
 176     CYClassName
 177 {
 178     const char *word_;
 179
 180     CYWord(const char *word) :
 181         word_(word)
 182     {
 183     }
 184
 185     void Set(const char *value) {
 186         word_ = value;
 187     }
 188
 189     virtual const char *Word() const;
 190     virtual void Output(CYOutput &out) const;
 191
 192     virtual CYExpression *ClassName(CYContext &context, bool object);
 193     virtual void ClassName(CYOutput &out, bool object) const;
 194     virtual void PropertyName(CYOutput &out) const;
 195 };
 196
 197 _finline std::ostream &operator <<(std::ostream &lhs, const CYWord &rhs) {
 198     lhs << &rhs << '=';
 199     return lhs << rhs.Word();
 200 }
 201
 202 struct CYIdentifier :
 203     CYNext<CYIdentifier>,
 204     CYWord
 205 {
 206     CYIdentifier *replace_;
 207     size_t offset_;
 208     size_t usage_;
 209
 210     CYIdentifier(const char *word) :
 211         CYWord(word),
 212         replace_(NULL),
 213         offset_(0),
 214         usage_(0)
 215     {
 216     }
 217
 218     virtual const char *Word() const;
 219     CYIdentifier *Replace(CYContext &context);
 220 };
 221
 222 struct CYComment :
 223     CYStatement
 224 {
 225     const char *value_;
 226
 227     CYComment(const char *value) :
 228         value_(value)
 229     {
 230     }
 231
 232     virtual CYStatement *Replace(CYContext &context);
 233     virtual void Output(CYOutput &out, CYFlags flags) const;
 234 };
 235
 236 struct CYLabel :
 237     CYStatement
 238 {
 239     CYIdentifier *name_;
 240     CYStatement *statement_;
 241
 242     CYLabel(CYIdentifier *name, CYStatement *statement) :
 243         name_(name),
 244         statement_(statement)
 245     {
 246     }
 247
 248     virtual CYStatement *Replace(CYContext &context);
 249     virtual void Output(CYOutput &out, CYFlags flags) const;
 250 };
 251
 252 struct CYCStringLess :
 253     std::binary_function<const char *, const char *, bool>
 254 {
 255     _finline bool operator ()(const char *lhs, const char *rhs) const {
 256         return strcmp(lhs, rhs) < 0;
 257     }
 258 };
 259
 260 struct CYIdentifierValueLess :
 261     std::binary_function<CYIdentifier *, CYIdentifier *, bool>
 262 {
 263     _finline bool operator ()(CYIdentifier *lhs, CYIdentifier *rhs) const {
 264         return CYCStringLess()(lhs->Word(), rhs->Word());
 265     }
 266 };
 267
 268 enum CYIdentifierFlags {
 269     CYIdentifierArgument,
 270     CYIdentifierVariable,
 271     CYIdentifierOther,
 272     CYIdentifierMagic,
 273     CYIdentifierCatch,
 274 };
 275
 276 typedef std::set<const char *, CYCStringLess> CYCStringSet;
 277 typedef std::set<CYIdentifier *, CYIdentifierValueLess> CYIdentifierValueSet;
 278 typedef std::map<CYIdentifier *, CYIdentifierFlags> CYIdentifierAddressFlagsMap;
 279
 280 struct CYIdentifierUsage {
 281     CYIdentifier *identifier_;
 282     size_t usage_;
 283 };
 284
 285 typedef std::vector<CYIdentifierUsage> CYIdentifierUsageVector;
 286
 287 // XXX: strategy pattern, maybe subclass
 288 enum CYScopeType {
 289     CYScopeCatch,
 290     CYScopeFunction,
 291     CYScopeProgram,
 292 };
 293
 294 struct CYScope {
 295     CYScopeType type_;
 296
 297     CYContext &context_;
 298     CYStatement *&statements_;
 299
 300     CYScope *parent_;
 301
 302     CYIdentifierAddressFlagsMap internal_;
 303     CYIdentifierValueSet identifiers_;
 304
 305     CYScope(CYScopeType type, CYContext &context, CYStatement *&statements);
 306
 307     void Close();
 308
 309     void Declare(CYContext &context, CYIdentifier *identifier, CYIdentifierFlags flags);
 310     virtual CYIdentifier *Lookup(CYContext &context, CYIdentifier *identifier);
 311     void Merge(CYContext &context, CYIdentifier *identifier);
 312     void Scope(CYContext &context, CYStatement *&statements);
 313 };
 314
 315 struct CYProgram :
 316     CYThing
 317 {
 318     CYStatement *statements_;
 319
 320     CYProgram(CYStatement *statements) :
 321         statements_(statements)
 322     {
 323     }
 324
 325     virtual void Replace(CYContext &context);
 326     virtual void Output(CYOutput &out) const;
 327 };
 328
 329 struct CYNonLocal;
 330
 331 struct CYContext {
 332     CYOptions &options_;
 333
 334     CYScope *scope_;
 335     CYIdentifierUsageVector rename_;
 336
 337     CYNonLocal *nonlocal_;
 338     CYNonLocal *nextlocal_;
 339     unsigned unique_;
 340
 341     CYContext(CYOptions &options) :
 342         options_(options),
 343         scope_(NULL),
 344         nonlocal_(NULL),
 345         nextlocal_(NULL),
 346         unique_(0)
 347     {
 348     }
 349
 350     virtual ~CYContext() {
 351     }
 352
 353     template <typename Type_>
 354     void ReplaceAll(Type_ *&values) {
 355         Type_ **last(&values);
 356         CYForEach (next, values) {
 357             Replace(*last = next);
 358             last = &(*last)->next_;
 359         }
 360     }
 361
 362     template <typename Type_>
 363     void Replace(Type_ *&value) {
 364         for (;;) if (value == NULL)
 365             break;
 366         else {
 367             Type_ *replace(value->Replace(*this));
 368             if (replace != value)
 369                 value = replace;
 370             else break;
 371         }
 372     }
 373
 374     void NonLocal(CYStatement *&statements);
 375     CYIdentifier *Unique();
 376 };
 377
 378 struct CYNonLocal {
 379     CYIdentifier *identifier_;
 380
 381     CYNonLocal() :
 382         identifier_(NULL)
 383     {
 384     }
 385
 386     CYIdentifier *Target(CYContext &context) {
 387         if (identifier_ == NULL)
 388             identifier_ = context.Unique();
 389         return identifier_;
 390     }
 391 };
 392
 393 struct CYBlock :
 394     CYStatement,
 395     CYThing
 396 {
 397     CYStatement *statements_;
 398
 399     CYBlock(CYStatement *statements) :
 400         statements_(statements)
 401     {
 402     }
 403
 404     operator CYStatement *() const {
 405         return statements_;
 406     }
 407
 408     void AddPrev(CYStatement *statement) {
 409         CYSetLast(statement, statements_);
 410         statements_ = statement;
 411     }
 412
 413     virtual CYStatement *Replace(CYContext &context);
 414
 415     virtual void Output(CYOutput &out) const;
 416     virtual void Output(CYOutput &out, CYFlags flags) const;
 417 };
 418
 419 enum CYState {
 420     CYClear,
 421     CYRestricted,
 422     CYNewLine
 423 };
 424
 425 class CYDriver {
 426   public:
 427     CYState state_;
 428     void *scanner_;
 429
 430     const char *data_;
 431     size_t size_;
 432     FILE *file_;
 433
 434     bool strict_;
 435
 436     enum Condition {
 437         RegExpCondition,
 438         XMLContentCondition,
 439         XMLTagCondition,
 440     };
 441
 442     std::string filename_;
 443
 444     struct Error {
 445         bool warning_;
 446         cy::location location_;
 447         std::string message_;
 448     };
 449
 450     typedef std::vector<Error> Errors;
 451
 452     CYProgram *program_;
 453     Errors errors_;
 454
 455     bool auto_;
 456
 457     struct Context {
 458         CYExpression *context_;
 459
 460         Context(CYExpression *context) :
 461             context_(context)
 462         {
 463         }
 464
 465         typedef std::vector<CYWord *> Words;
 466         Words words_;
 467     };
 468
 469     typedef std::vector<Context> Contexts;
 470     Contexts contexts_;
 471
 472     CYExpression *context_;
 473
 474     enum Mode {
 475         AutoNone,
 476         AutoPrimary,
 477         AutoDirect,
 478         AutoIndirect,
 479         AutoMessage
 480     } mode_;
 481
 482   private:
 483     void ScannerInit();
 484     void ScannerDestroy();
 485
 486   public:
 487     CYDriver(const std::string &filename = "");
 488     ~CYDriver();
 489
 490     Condition GetCondition();
 491     void SetCondition(Condition condition);
 492
 493     void PushCondition(Condition condition);
 494     void PopCondition();
 495
 496     void Warning(const cy::location &location, const char *message);
 497 };
 498
 499 struct CYForInitialiser {
 500     virtual ~CYForInitialiser() {
 501     }
 502
 503     virtual void For(CYOutput &out) const = 0;
 504     virtual CYExpression *Replace(CYContext &context) = 0;
 505 };
 506
 507 struct CYForInInitialiser {
 508     virtual ~CYForInInitialiser() {
 509     }
 510
 511     virtual void ForIn(CYOutput &out, CYFlags flags) const = 0;
 512     virtual const char *ForEachIn() const = 0;
 513     virtual CYExpression *ForEachIn(CYContext &out) = 0;
 514     virtual CYExpression *Replace(CYContext &context) = 0;
 515 };
 516
 517 struct CYNumber;
 518 struct CYString;
 519
 520 struct CYExpression :
 521     CYNext<CYExpression>,
 522     CYForInitialiser,
 523     CYForInInitialiser,
 524     CYClassName,
 525     CYThing
 526 {
 527     virtual unsigned Precedence() const = 0;
 528
 529     virtual bool RightHand() const {
 530         return true;
 531     }
 532
 533     virtual void For(CYOutput &out) const;
 534     virtual void ForIn(CYOutput &out, CYFlags flags) const;
 535
 536     virtual const char *ForEachIn() const;
 537     virtual CYExpression *ForEachIn(CYContext &out);
 538
 539     virtual CYExpression *AddArgument(CYContext &context, CYExpression *value);
 540
 541     virtual void Output(CYOutput &out) const;
 542     virtual void Output(CYOutput &out, CYFlags flags) const = 0;
 543     void Output(CYOutput &out, unsigned precedence, CYFlags flags) const;
 544
 545     virtual CYExpression *ClassName(CYContext &context, bool object);
 546     virtual void ClassName(CYOutput &out, bool object) const;
 547
 548     virtual CYExpression *Replace(CYContext &context) = 0;
 549
 550     virtual CYExpression *Primitive(CYContext &context) {
 551         return this;
 552     }
 553
 554     virtual CYNumber *Number(CYContext &context) {
 555         return NULL;
 556     }
 557
 558     virtual CYString *String(CYContext &context) {
 559         return NULL;
 560     }
 561
 562     virtual const char *Word() const {
 563         return NULL;
 564     }
 565 };
 566
 567 #define CYAlphabetic(value) \
 568     virtual bool Alphabetic() const { \
 569         return value; \
 570     }
 571
 572 #define CYPrecedence(value) \
 573     static const unsigned Precedence_ = value; \
 574     virtual unsigned Precedence() const { \
 575         return Precedence_; \
 576     }
 577
 578 #define CYRightHand(value) \
 579     virtual bool RightHand() const { \
 580         return value; \
 581     }
 582
 583 struct CYCompound :
 584     CYExpression
 585 {
 586     CYExpression *expressions_;
 587
 588     CYCompound(CYExpression *expressions = NULL) :
 589         expressions_(expressions)
 590     {
 591     }
 592
 593     void AddPrev(CYExpression *expression) {
 594         CYSetLast(expression, expressions_);
 595         expressions_ = expression;
 596     }
 597
 598     CYPrecedence(17)
 599
 600     virtual CYExpression *Replace(CYContext &context);
 601     void Output(CYOutput &out, CYFlags flags) const;
 602 };
 603
 604 struct CYFunctionParameter :
 605     CYNext<CYFunctionParameter>,
 606     CYThing
 607 {
 608     CYIdentifier *name_;
 609
 610     CYFunctionParameter(CYIdentifier *name, CYFunctionParameter *next = NULL) :
 611         CYNext<CYFunctionParameter>(next),
 612         name_(name)
 613     {
 614     }
 615
 616     virtual CYFunctionParameter *Replace(CYContext &context, CYBlock &code);
 617     virtual void Output(CYOutput &out) const;
 618 };
 619
 620 struct CYOptionalFunctionParameter :
 621     CYFunctionParameter
 622 {
 623     CYExpression *initializer_;
 624
 625     CYOptionalFunctionParameter(CYIdentifier *name, CYExpression *initializer, CYFunctionParameter *next = NULL) :
 626         CYFunctionParameter(name, next),
 627         initializer_(initializer)
 628     {
 629     }
 630
 631     virtual CYFunctionParameter *Replace(CYContext &context, CYBlock &code);
 632     virtual void Output(CYOutput &out) const;
 633 };
 634
 635 struct CYComprehension :
 636     CYNext<CYComprehension>,
 637     CYThing
 638 {
 639     virtual const char *Name() const = 0;
 640
 641     virtual CYFunctionParameter *Parameter(CYContext &context) const = 0;
 642     CYFunctionParameter *Parameters(CYContext &context) const;
 643     virtual CYStatement *Replace(CYContext &context, CYStatement *statement) const;
 644     virtual void Output(CYOutput &out) const = 0;
 645 };
 646
 647 struct CYForInComprehension :
 648     CYComprehension
 649 {
 650     CYIdentifier *name_;
 651     CYExpression *set_;
 652
 653     CYForInComprehension(CYIdentifier *name, CYExpression *set) :
 654         name_(name),
 655         set_(set)
 656     {
 657     }
 658
 659     virtual const char *Name() const {
 660         return name_->Word();
 661     }
 662
 663     virtual CYFunctionParameter *Parameter(CYContext &context) const;
 664     virtual CYStatement *Replace(CYContext &context, CYStatement *statement) const;
 665     virtual void Output(CYOutput &out) const;
 666 };
 667
 668 struct CYForEachInComprehension :
 669     CYComprehension
 670 {
 671     CYIdentifier *name_;
 672     CYExpression *set_;
 673
 674     CYForEachInComprehension(CYIdentifier *name, CYExpression *set) :
 675         name_(name),
 676         set_(set)
 677     {
 678     }
 679
 680     virtual const char *Name() const {
 681         return name_->Word();
 682     }
 683
 684     virtual CYFunctionParameter *Parameter(CYContext &context) const;
 685     virtual CYStatement *Replace(CYContext &context, CYStatement *statement) const;
 686     virtual void Output(CYOutput &out) const;
 687 };
 688
 689 struct CYIfComprehension :
 690     CYComprehension
 691 {
 692     CYExpression *test_;
 693
 694     CYIfComprehension(CYExpression *test) :
 695         test_(test)
 696     {
 697     }
 698
 699     virtual const char *Name() const {
 700         return NULL;
 701     }
 702
 703     virtual CYFunctionParameter *Parameter(CYContext &context) const;
 704     virtual CYStatement *Replace(CYContext &context, CYStatement *statement) const;
 705     virtual void Output(CYOutput &out) const;
 706 };
 707
 708 struct CYArrayComprehension :
 709     CYExpression
 710 {
 711     CYExpression *expression_;
 712     CYComprehension *comprehensions_;
 713
 714     CYArrayComprehension(CYExpression *expression, CYComprehension *comprehensions) :
 715         expression_(expression),
 716         comprehensions_(comprehensions)
 717     {
 718     }
 719
 720     CYPrecedence(0)
 721
 722     virtual CYExpression *Replace(CYContext &context);
 723     virtual void Output(CYOutput &out, CYFlags flags) const;
 724 };
 725
 726 struct CYLiteral :
 727     CYExpression
 728 {
 729     CYPrecedence(0)
 730     CYRightHand(false)
 731 };
 732
 733 struct CYTrivial :
 734     CYLiteral
 735 {
 736     virtual CYExpression *Replace(CYContext &context);
 737 };
 738
 739 struct CYMagic :
 740     CYExpression
 741 {
 742     CYPrecedence(0)
 743     CYRightHand(false)
 744 };
 745
 746 struct CYRange {
 747     uint64_t lo_;
 748     uint64_t hi_;
 749
 750     CYRange(uint64_t lo, uint64_t hi) :
 751         lo_(lo), hi_(hi)
 752     {
 753     }
 754
 755     bool operator [](uint8_t value) const {
 756         return !(value >> 7) && (value >> 6 ? hi_ : lo_) >> (value & 0x3f) & 0x1;
 757     }
 758
 759     void operator()(uint8_t value) {
 760         if (value >> 7)
 761             return;
 762         (value >> 6 ? hi_ : lo_) |= uint64_t(0x1) << (value & 0x3f);
 763     }
 764 };
 765
 766 extern CYRange DigitRange_;
 767 extern CYRange WordStartRange_;
 768 extern CYRange WordEndRange_;
 769
 770 struct CYString :
 771     CYTrivial,
 772     CYPropertyName
 773 {
 774     const char *value_;
 775     size_t size_;
 776
 777     CYString() :
 778         value_(NULL),
 779         size_(0)
 780     {
 781     }
 782
 783     CYString(const char *value) :
 784         value_(value),
 785         size_(strlen(value))
 786     {
 787     }
 788
 789     CYString(const char *value, size_t size) :
 790         value_(value),
 791         size_(size)
 792     {
 793     }
 794
 795     CYString(const CYWord *word) :
 796         value_(word->Word()),
 797         size_(strlen(value_))
 798     {
 799     }
 800
 801     const char *Value() const {
 802         return value_;
 803     }
 804
 805     virtual const char *Word() const;
 806
 807     virtual CYNumber *Number(CYContext &context);
 808     virtual CYString *String(CYContext &context);
 809
 810     CYString *Concat(CYContext &out, CYString *rhs) const;
 811     virtual void Output(CYOutput &out, CYFlags flags) const;
 812     virtual void PropertyName(CYOutput &out) const;
 813 };
 814
 815 struct CYNumber :
 816     CYTrivial,
 817     CYPropertyName
 818 {
 819     double value_;
 820
 821     CYNumber(double value) :
 822         value_(value)
 823     {
 824     }
 825
 826     double Value() const {
 827         return value_;
 828     }
 829
 830     virtual CYNumber *Number(CYContext &context);
 831     virtual CYString *String(CYContext &context);
 832
 833     virtual void Output(CYOutput &out, CYFlags flags) const;
 834     virtual void PropertyName(CYOutput &out) const;
 835 };
 836
 837 struct CYRegEx :
 838     CYTrivial
 839 {
 840     const char *value_;
 841
 842     CYRegEx(const char *value) :
 843         value_(value)
 844     {
 845     }
 846
 847     const char *Value() const {
 848         return value_;
 849     }
 850
 851     virtual void Output(CYOutput &out, CYFlags flags) const;
 852 };
 853
 854 struct CYNull :
 855     CYWord,
 856     CYTrivial
 857 {
 858     CYNull() :
 859         CYWord("null")
 860     {
 861     }
 862
 863     virtual CYNumber *Number(CYContext &context);
 864     virtual CYString *String(CYContext &context);
 865
 866     virtual void Output(CYOutput &out, CYFlags flags) const;
 867 };
 868
 869 struct CYThis :
 870     CYWord,
 871     CYMagic
 872 {
 873     CYThis() :
 874         CYWord("this")
 875     {
 876     }
 877
 878     virtual CYExpression *Replace(CYContext &context);
 879     virtual void Output(CYOutput &out, CYFlags flags) const;
 880 };
 881
 882 struct CYBoolean :
 883     CYTrivial
 884 {
 885     virtual bool Value() const = 0;
 886     virtual void Output(CYOutput &out, CYFlags flags) const;
 887 };
 888
 889 struct CYFalse :
 890     CYWord,
 891     CYBoolean
 892 {
 893     CYFalse() :
 894         CYWord("false")
 895     {
 896     }
 897
 898     virtual bool Value() const {
 899         return false;
 900     }
 901
 902     virtual CYNumber *Number(CYContext &context);
 903     virtual CYString *String(CYContext &context);
 904 };
 905
 906 struct CYTrue :
 907     CYWord,
 908     CYBoolean
 909 {
 910     CYTrue() :
 911         CYWord("true")
 912     {
 913     }
 914
 915     virtual bool Value() const {
 916         return true;
 917     }
 918
 919     virtual CYNumber *Number(CYContext &context);
 920     virtual CYString *String(CYContext &context);
 921 };
 922
 923 struct CYVariable :
 924     CYExpression
 925 {
 926     CYIdentifier *name_;
 927
 928     CYVariable(CYIdentifier *name) :
 929         name_(name)
 930     {
 931     }
 932
 933     CYVariable(const char *name) :
 934         name_(new($pool) CYIdentifier(name))
 935     {
 936     }
 937
 938     CYPrecedence(0)
 939     CYRightHand(false)
 940
 941     virtual CYExpression *Replace(CYContext &context);
 942     virtual void Output(CYOutput &out, CYFlags flags) const;
 943 };
 944
 945 struct CYPrefix :
 946     CYExpression
 947 {
 948     CYExpression *rhs_;
 949
 950     CYPrefix(CYExpression *rhs) :
 951         rhs_(rhs)
 952     {
 953     }
 954
 955     virtual bool Alphabetic() const = 0;
 956     virtual const char *Operator() const = 0;
 957
 958     CYPrecedence(4)
 959
 960     virtual CYExpression *Replace(CYContext &context);
 961     virtual void Output(CYOutput &out, CYFlags flags) const;
 962 };
 963
 964 struct CYInfix :
 965     CYExpression
 966 {
 967     CYExpression *lhs_;
 968     CYExpression *rhs_;
 969
 970     CYInfix(CYExpression *lhs, CYExpression *rhs) :
 971         lhs_(lhs),
 972         rhs_(rhs)
 973     {
 974     }
 975
 976     void SetLeft(CYExpression *lhs) {
 977         lhs_ = lhs;
 978     }
 979
 980     virtual bool Alphabetic() const = 0;
 981     virtual const char *Operator() const = 0;
 982
 983     virtual CYExpression *Replace(CYContext &context);
 984     virtual void Output(CYOutput &out, CYFlags flags) const;
 985 };
 986
 987 struct CYPostfix :
 988     CYExpression
 989 {
 990     CYExpression *lhs_;
 991
 992     CYPostfix(CYExpression *lhs) :
 993         lhs_(lhs)
 994     {
 995     }
 996
 997     virtual const char *Operator() const = 0;
 998
 999     CYPrecedence(3)
1000
1001     virtual CYExpression *Replace(CYContext &context);
1002     virtual void Output(CYOutput &out, CYFlags flags) const;
1003 };
1004
1005 struct CYAssignment :
1006     CYExpression
1007 {
1008     CYExpression *lhs_;
1009     CYExpression *rhs_;
1010
1011     CYAssignment(CYExpression *lhs, CYExpression *rhs) :
1012         lhs_(lhs),
1013         rhs_(rhs)
1014     {
1015     }
1016
1017     void SetLeft(CYExpression *lhs) {
1018         lhs_ = lhs;
1019     }
1020
1021     virtual const char *Operator() const = 0;
1022
1023     CYPrecedence(16)
1024
1025     virtual CYExpression *Replace(CYContext &context);
1026     virtual void Output(CYOutput &out, CYFlags flags) const;
1027 };
1028
1029 struct CYArgument :
1030     CYNext<CYArgument>,
1031     CYThing
1032 {
1033     CYWord *name_;
1034     CYExpression *value_;
1035
1036     CYArgument(CYExpression *value, CYArgument *next = NULL) :
1037         CYNext<CYArgument>(next),
1038         name_(NULL),
1039         value_(value)
1040     {
1041     }
1042
1043     CYArgument(CYWord *name, CYExpression *value, CYArgument *next = NULL) :
1044         CYNext<CYArgument>(next),
1045         name_(name),
1046         value_(value)
1047     {
1048     }
1049
1050     void Replace(CYContext &context);
1051     void Output(CYOutput &out) const;
1052 };
1053
1054 struct CYBlank :
1055     public CYWord
1056 {
1057     CYBlank() :
1058         CYWord("")
1059     {
1060     }
1061 };
1062
1063 struct CYClause :
1064     CYThing,
1065     CYNext<CYClause>
1066 {
1067     CYExpression *case_;
1068     CYStatement *statements_;
1069
1070     CYClause(CYExpression *_case, CYStatement *statements) :
1071         case_(_case),
1072         statements_(statements)
1073     {
1074     }
1075
1076     void Replace(CYContext &context);
1077     virtual void Output(CYOutput &out) const;
1078 };
1079
1080 struct CYElement :
1081     CYNext<CYElement>,
1082     CYThing
1083 {
1084     CYExpression *value_;
1085
1086     CYElement(CYExpression *value, CYElement *next) :
1087         CYNext<CYElement>(next),
1088         value_(value)
1089     {
1090     }
1091
1092     void Replace(CYContext &context);
1093     void Output(CYOutput &out) const;
1094 };
1095
1096 struct CYArray :
1097     CYLiteral
1098 {
1099     CYElement *elements_;
1100
1101     CYArray(CYElement *elements = NULL) :
1102         elements_(elements)
1103     {
1104     }
1105
1106     virtual CYExpression *Replace(CYContext &context);
1107     virtual void Output(CYOutput &out, CYFlags flags) const;
1108 };
1109
1110 struct CYProperty :
1111     CYNext<CYProperty>,
1112     CYThing
1113 {
1114     CYPropertyName *name_;
1115     CYExpression *value_;
1116
1117     CYProperty(CYPropertyName *name, CYExpression *value, CYProperty *next = NULL) :
1118         CYNext<CYProperty>(next),
1119         name_(name),
1120         value_(value)
1121     {
1122     }
1123
1124     void Replace(CYContext &context);
1125     virtual void Output(CYOutput &out) const;
1126 };
1127
1128 struct CYDeclaration :
1129     CYForInInitialiser
1130 {
1131     CYIdentifier *identifier_;
1132     CYExpression *initialiser_;
1133
1134     CYDeclaration(CYIdentifier *identifier, CYExpression *initialiser = NULL) :
1135         identifier_(identifier),
1136         initialiser_(initialiser)
1137     {
1138     }
1139
1140     virtual void ForIn(CYOutput &out, CYFlags flags) const;
1141
1142     virtual const char *ForEachIn() const;
1143     virtual CYExpression *ForEachIn(CYContext &out);
1144
1145     virtual CYExpression *Replace(CYContext &context);
1146     virtual CYAssignment *Assignment(CYContext &context);
1147
1148     virtual void Output(CYOutput &out, CYFlags flags) const;
1149 };
1150
1151 struct CYDeclarations :
1152     CYNext<CYDeclarations>,
1153     CYThing,
1154     CYForInitialiser
1155 {
1156     CYDeclaration *declaration_;
1157
1158     CYDeclarations(CYDeclaration *declaration, CYDeclarations *next = NULL) :
1159         CYNext<CYDeclarations>(next),
1160         declaration_(declaration)
1161     {
1162     }
1163
1164     virtual void For(CYOutput &out) const;
1165
1166     virtual CYCompound *Replace(CYContext &context);
1167     CYProperty *Property(CYContext &context);
1168
1169     virtual void Output(CYOutput &out) const;
1170     virtual void Output(CYOutput &out, CYFlags flags) const;
1171 };
1172
1173 struct CYVar :
1174     CYStatement
1175 {
1176     CYDeclarations *declarations_;
1177
1178     CYVar(CYDeclarations *declarations) :
1179         declarations_(declarations)
1180     {
1181     }
1182
1183     virtual CYStatement *Replace(CYContext &context);
1184     virtual void Output(CYOutput &out, CYFlags flags) const;
1185 };
1186
1187 struct CYLet :
1188     CYStatement
1189 {
1190     CYDeclarations *declarations_;
1191     CYBlock code_;
1192
1193     CYLet(CYDeclarations *declarations, CYStatement *statements) :
1194         declarations_(declarations),
1195         code_(statements)
1196     {
1197     }
1198
1199     virtual CYStatement *Replace(CYContext &context);
1200     virtual void Output(CYOutput &out, CYFlags flags) const;
1201 };
1202
1203 struct CYFor :
1204     CYStatement
1205 {
1206     CYForInitialiser *initialiser_;
1207     CYExpression *test_;
1208     CYExpression *increment_;
1209     CYStatement *code_;
1210
1211     CYFor(CYForInitialiser *initialiser, CYExpression *test, CYExpression *increment, CYStatement *code) :
1212         initialiser_(initialiser),
1213         test_(test),
1214         increment_(increment),
1215         code_(code)
1216     {
1217     }
1218
1219     virtual CYStatement *Replace(CYContext &context);
1220     virtual void Output(CYOutput &out, CYFlags flags) const;
1221 };
1222
1223 struct CYForIn :
1224     CYStatement
1225 {
1226     CYForInInitialiser *initialiser_;
1227     CYExpression *set_;
1228     CYStatement *code_;
1229
1230     CYForIn(CYForInInitialiser *initialiser, CYExpression *set, CYStatement *code) :
1231         initialiser_(initialiser),
1232         set_(set),
1233         code_(code)
1234     {
1235     }
1236
1237     virtual CYStatement *Replace(CYContext &context);
1238     virtual void Output(CYOutput &out, CYFlags flags) const;
1239 };
1240
1241 struct CYForEachIn :
1242     CYStatement
1243 {
1244     CYForInInitialiser *initialiser_;
1245     CYExpression *set_;
1246     CYStatement *code_;
1247
1248     CYForEachIn(CYForInInitialiser *initialiser, CYExpression *set, CYStatement *code) :
1249         initialiser_(initialiser),
1250         set_(set),
1251         code_(code)
1252     {
1253     }
1254
1255     virtual CYStatement *Replace(CYContext &context);
1256     virtual void Output(CYOutput &out, CYFlags flags) const;
1257 };
1258
1259 struct CYObject :
1260     CYLiteral
1261 {
1262     CYProperty *properties_;
1263
1264     CYObject(CYProperty *properties = NULL) :
1265         properties_(properties)
1266     {
1267     }
1268
1269     virtual CYExpression *Replace(CYContext &context);
1270     void Output(CYOutput &out, CYFlags flags) const;
1271 };
1272
1273 struct CYMember :
1274     CYExpression
1275 {
1276     CYExpression *object_;
1277     CYExpression *property_;
1278
1279     CYMember(CYExpression *object, CYExpression *property) :
1280         object_(object),
1281         property_(property)
1282     {
1283     }
1284
1285     void SetLeft(CYExpression *object) {
1286         object_ = object;
1287     }
1288
1289     void Replace_(CYContext &context);
1290 };
1291
1292 struct CYDirectMember :
1293     CYMember
1294 {
1295     CYDirectMember(CYExpression *object, CYExpression *property) :
1296         CYMember(object, property)
1297     {
1298     }
1299
1300     CYPrecedence(1)
1301     CYRightHand(false)
1302
1303     virtual CYExpression *Replace(CYContext &context);
1304     virtual void Output(CYOutput &out, CYFlags flags) const;
1305 };
1306
1307 struct CYIndirectMember :
1308     CYMember
1309 {
1310     CYIndirectMember(CYExpression *object, CYExpression *property) :
1311         CYMember(object, property)
1312     {
1313     }
1314
1315     CYPrecedence(1)
1316     CYRightHand(false)
1317
1318     virtual CYExpression *Replace(CYContext &context);
1319     virtual void Output(CYOutput &out, CYFlags flags) const;
1320 };
1321
1322 namespace cy {
1323 namespace Syntax {
1324
1325 struct New :
1326     CYExpression
1327 {
1328     CYExpression *constructor_;
1329     CYArgument *arguments_;
1330
1331     New(CYExpression *constructor, CYArgument *arguments) :
1332         constructor_(constructor),
1333         arguments_(arguments)
1334     {
1335     }
1336
1337     virtual unsigned Precedence() const {
1338         return arguments_ == NULL ? 2 : 1;
1339     }
1340
1341     CYRightHand(false)
1342
1343     virtual CYExpression *Replace(CYContext &context);
1344     virtual void Output(CYOutput &out, CYFlags flags) const;
1345
1346     virtual CYExpression *AddArgument(CYContext &context, CYExpression *value);
1347 };
1348
1349 } }
1350
1351 struct CYCall :
1352     CYExpression
1353 {
1354     CYExpression *function_;
1355     CYArgument *arguments_;
1356
1357     CYCall(CYExpression *function, CYArgument *arguments = NULL) :
1358         function_(function),
1359         arguments_(arguments)
1360     {
1361     }
1362
1363     CYPrecedence(1)
1364     CYRightHand(false)
1365
1366     virtual CYExpression *Replace(CYContext &context);
1367     virtual void Output(CYOutput &out, CYFlags flags) const;
1368
1369     virtual CYExpression *AddArgument(CYContext &context, CYExpression *value);
1370 };
1371
1372 struct CYRubyProc;
1373
1374 struct CYRubyBlock :
1375     CYExpression
1376 {
1377     CYExpression *call_;
1378     CYRubyProc *proc_;
1379
1380     CYRubyBlock(CYExpression *call, CYRubyProc *proc) :
1381         call_(call),
1382         proc_(proc)
1383     {
1384     }
1385
1386     CYPrecedence(1)
1387     CYRightHand(false)
1388
1389     virtual CYExpression *Replace(CYContext &context);
1390     virtual void Output(CYOutput &out, CYFlags flags) const;
1391 };
1392
1393 struct CYIf :
1394     CYStatement
1395 {
1396     CYExpression *test_;
1397     CYStatement *true_;
1398     CYStatement *false_;
1399
1400     CYIf(CYExpression *test, CYStatement *_true, CYStatement *_false = NULL) :
1401         test_(test),
1402         true_(_true),
1403         false_(_false)
1404     {
1405     }
1406
1407     virtual CYStatement *Replace(CYContext &context);
1408     virtual void Output(CYOutput &out, CYFlags flags) const;
1409 };
1410
1411 struct CYDoWhile :
1412     CYStatement
1413 {
1414     CYExpression *test_;
1415     CYStatement *code_;
1416
1417     CYDoWhile(CYExpression *test, CYStatement *code) :
1418         test_(test),
1419         code_(code)
1420     {
1421     }
1422
1423     virtual CYStatement *Replace(CYContext &context);
1424     virtual void Output(CYOutput &out, CYFlags flags) const;
1425 };
1426
1427 struct CYWhile :
1428     CYStatement
1429 {
1430     CYExpression *test_;
1431     CYStatement *code_;
1432
1433     CYWhile(CYExpression *test, CYStatement *code) :
1434         test_(test),
1435         code_(code)
1436     {
1437     }
1438
1439     virtual CYStatement *Replace(CYContext &context);
1440     virtual void Output(CYOutput &out, CYFlags flags) const;
1441 };
1442
1443 // XXX: this should be split up into CYAnonymousFunction and CYNamedFunction (subclass)
1444 struct CYFunction {
1445     CYIdentifier *name_;
1446     CYFunctionParameter *parameters_;
1447     CYBlock code_;
1448     CYNonLocal *nonlocal_;
1449
1450     CYFunction(CYIdentifier *name, CYFunctionParameter *parameters, CYStatement *statements) :
1451         name_(name),
1452         parameters_(parameters),
1453         code_(statements),
1454         nonlocal_(NULL)
1455     {
1456     }
1457
1458     virtual ~CYFunction() {
1459     }
1460
1461     void Inject(CYContext &context);
1462     virtual void Replace_(CYContext &context, bool outer);
1463     virtual void Output(CYOutput &out, CYFlags flags) const;
1464 };
1465
1466 // XXX: this should be split up into CYAnonymousFunctionExpression and CYNamedFunctionExpression
1467 struct CYFunctionExpression :
1468     CYFunction,
1469     CYExpression
1470 {
1471     CYFunctionExpression(CYIdentifier *name, CYFunctionParameter *parameters, CYStatement *statements) :
1472         CYFunction(name, parameters, statements)
1473     {
1474     }
1475
1476     CYPrecedence(0)
1477     CYRightHand(false)
1478
1479     virtual CYExpression *Replace(CYContext &context);
1480     virtual void Output(CYOutput &out, CYFlags flags) const;
1481 };
1482
1483 // XXX: this should derive from CYAnonymousFunctionExpression
1484 struct CYRubyProc :
1485     CYFunctionExpression
1486 {
1487     CYRubyProc(CYFunctionParameter *parameters, CYStatement *statements) :
1488         CYFunctionExpression(NULL, parameters, statements)
1489     {
1490     }
1491
1492     virtual CYExpression *Replace(CYContext &context);
1493     virtual void Output(CYOutput &out, CYFlags flags) const;
1494 };
1495
1496 // XXX: this should derive from CYNamedFunction
1497 struct CYFunctionStatement :
1498     CYFunction,
1499     CYStatement
1500 {
1501     CYFunctionStatement(CYIdentifier *name, CYFunctionParameter *parameters, CYStatement *statements) :
1502         CYFunction(name, parameters, statements)
1503     {
1504     }
1505
1506     virtual CYStatement *Replace(CYContext &context);
1507     virtual void Output(CYOutput &out, CYFlags flags) const;
1508 };
1509
1510 struct CYExpress :
1511     CYStatement
1512 {
1513     CYExpression *expression_;
1514
1515     CYExpress(CYExpression *expression) :
1516         expression_(expression)
1517     {
1518         if (expression == NULL)
1519             throw;
1520     }
1521
1522     virtual CYStatement *Collapse(CYContext &context);
1523     virtual CYStatement *Replace(CYContext &context);
1524     virtual void Output(CYOutput &out, CYFlags flags) const;
1525 };
1526
1527 struct CYContinue :
1528     CYStatement
1529 {
1530     CYIdentifier *label_;
1531
1532     CYContinue(CYIdentifier *label) :
1533         label_(label)
1534     {
1535     }
1536
1537     virtual CYStatement *Replace(CYContext &context);
1538     virtual void Output(CYOutput &out, CYFlags flags) const;
1539 };
1540
1541 struct CYBreak :
1542     CYStatement
1543 {
1544     CYIdentifier *label_;
1545
1546     CYBreak(CYIdentifier *label) :
1547         label_(label)
1548     {
1549     }
1550
1551     virtual CYStatement *Replace(CYContext &context);
1552     virtual void Output(CYOutput &out, CYFlags flags) const;
1553 };
1554
1555 struct CYReturn :
1556     CYStatement
1557 {
1558     CYExpression *value_;
1559
1560     CYReturn(CYExpression *value) :
1561         value_(value)
1562     {
1563     }
1564
1565     virtual CYStatement *Replace(CYContext &context);
1566     virtual void Output(CYOutput &out, CYFlags flags) const;
1567 };
1568
1569 struct CYEmpty :
1570     CYStatement
1571 {
1572     virtual CYStatement *Collapse(CYContext &context);
1573     virtual CYStatement *Replace(CYContext &context);
1574     virtual void Output(CYOutput &out, CYFlags flags) const;
1575 };
1576
1577 struct CYFinally :
1578     CYThing
1579 {
1580     CYBlock code_;
1581
1582     CYFinally(CYStatement *statements) :
1583         code_(statements)
1584     {
1585     }
1586
1587     void Replace(CYContext &context);
1588     virtual void Output(CYOutput &out) const;
1589 };
1590
1591 namespace cy {
1592 namespace Syntax {
1593
1594 struct Catch :
1595     CYThing
1596 {
1597     CYIdentifier *name_;
1598     CYBlock code_;
1599
1600     Catch(CYIdentifier *name, CYStatement *statements) :
1601         name_(name),
1602         code_(statements)
1603     {
1604     }
1605
1606     void Replace(CYContext &context);
1607     virtual void Output(CYOutput &out) const;
1608 };
1609
1610 struct Try :
1611     CYStatement
1612 {
1613     CYBlock code_;
1614     Catch *catch_;
1615     CYFinally *finally_;
1616
1617     Try(CYStatement *statements, Catch *_catch, CYFinally *finally) :
1618         code_(statements),
1619         catch_(_catch),
1620         finally_(finally)
1621     {
1622     }
1623
1624     virtual CYStatement *Replace(CYContext &context);
1625     virtual void Output(CYOutput &out, CYFlags flags) const;
1626 };
1627
1628 struct Throw :
1629     CYStatement
1630 {
1631     CYExpression *value_;
1632
1633     Throw(CYExpression *value = NULL) :
1634         value_(value)
1635     {
1636     }
1637
1638     virtual CYStatement *Replace(CYContext &context);
1639     virtual void Output(CYOutput &out, CYFlags flags) const;
1640 };
1641
1642 } }
1643
1644 struct CYWith :
1645     CYStatement
1646 {
1647     CYExpression *scope_;
1648     CYStatement *code_;
1649
1650     CYWith(CYExpression *scope, CYStatement *code) :
1651         scope_(scope),
1652         code_(code)
1653     {
1654     }
1655
1656     virtual CYStatement *Replace(CYContext &context);
1657     virtual void Output(CYOutput &out, CYFlags flags) const;
1658 };
1659
1660 struct CYSwitch :
1661     CYStatement
1662 {
1663     CYExpression *value_;
1664     CYClause *clauses_;
1665
1666     CYSwitch(CYExpression *value, CYClause *clauses) :
1667         value_(value),
1668         clauses_(clauses)
1669     {
1670     }
1671
1672     virtual CYStatement *Replace(CYContext &context);
1673     virtual void Output(CYOutput &out, CYFlags flags) const;
1674 };
1675
1676 struct CYCondition :
1677     CYExpression
1678 {
1679     CYExpression *test_;
1680     CYExpression *true_;
1681     CYExpression *false_;
1682
1683     CYCondition(CYExpression *test, CYExpression *_true, CYExpression *_false) :
1684         test_(test),
1685         true_(_true),
1686         false_(_false)
1687     {
1688     }
1689
1690     CYPrecedence(15)
1691
1692     virtual CYExpression *Replace(CYContext &context);
1693     virtual void Output(CYOutput &out, CYFlags flags) const;
1694 };
1695
1696 struct CYAddressOf :
1697     CYPrefix
1698 {
1699     CYAddressOf(CYExpression *rhs) :
1700         CYPrefix(rhs)
1701     {
1702     }
1703
1704     virtual const char *Operator() const {
1705         return "&";
1706     }
1707
1708     CYAlphabetic(false)
1709
1710     virtual CYExpression *Replace(CYContext &context);
1711 };
1712
1713 struct CYIndirect :
1714     CYPrefix
1715 {
1716     CYIndirect(CYExpression *rhs) :
1717         CYPrefix(rhs)
1718     {
1719     }
1720
1721     virtual const char *Operator() const {
1722         return "*";
1723     }
1724
1725     CYAlphabetic(false)
1726
1727     virtual CYExpression *Replace(CYContext &context);
1728 };
1729
1730 #define CYReplace \
1731     virtual CYExpression *Replace(CYContext &context);
1732
1733 #define CYPostfix_(op, name, args...) \
1734     struct CY ## name : \
1735         CYPostfix \
1736     { args \
1737         CY ## name(CYExpression *lhs) : \
1738             CYPostfix(lhs) \
1739         { \
1740         } \
1741     \
1742         virtual const char *Operator() const { \
1743             return op; \
1744         } \
1745     };
1746
1747 #define CYPrefix_(alphabetic, op, name, args...) \
1748     struct CY ## name : \
1749         CYPrefix \
1750     { args \
1751         CY ## name(CYExpression *rhs) : \
1752             CYPrefix(rhs) \
1753         { \
1754         } \
1755     \
1756         CYAlphabetic(alphabetic) \
1757     \
1758         virtual const char *Operator() const { \
1759             return op; \
1760         } \
1761     };
1762
1763 #define CYInfix_(alphabetic, precedence, op, name, args...) \
1764     struct CY ## name : \
1765         CYInfix \
1766     { args \
1767         CY ## name(CYExpression *lhs, CYExpression *rhs) : \
1768             CYInfix(lhs, rhs) \
1769         { \
1770         } \
1771     \
1772         CYAlphabetic(alphabetic) \
1773         CYPrecedence(precedence) \
1774     \
1775         virtual const char *Operator() const { \
1776             return op; \
1777         } \
1778     };
1779
1780 #define CYAssignment_(op, name, args...) \
1781     struct CY ## name ## Assign : \
1782         CYAssignment \
1783     { args \
1784         CY ## name ## Assign(CYExpression *lhs, CYExpression *rhs) : \
1785             CYAssignment(lhs, rhs) \
1786         { \
1787         } \
1788     \
1789         virtual const char *Operator() const { \
1790             return op; \
1791         } \
1792     };
1793
1794 CYPostfix_("++", PostIncrement)
1795 CYPostfix_("--", PostDecrement)
1796
1797 CYPrefix_(true, "delete", Delete)
1798 CYPrefix_(true, "void", Void)
1799 CYPrefix_(true, "typeof", TypeOf)
1800 CYPrefix_(false, "++", PreIncrement)
1801 CYPrefix_(false, "--", PreDecrement)
1802 CYPrefix_(false, "+", Affirm)
1803 CYPrefix_(false, "-", Negate)
1804 CYPrefix_(false, "~", BitwiseNot)
1805 CYPrefix_(false, "!", LogicalNot)
1806
1807 CYInfix_(false, 5, "*", Multiply)
1808 CYInfix_(false, 5, "/", Divide)
1809 CYInfix_(false, 5, "%", Modulus)
1810 CYInfix_(false, 6, "+", Add, CYReplace)
1811 CYInfix_(false, 6, "-", Subtract)
1812 CYInfix_(false, 7, "<<", ShiftLeft)
1813 CYInfix_(false, 7, ">>", ShiftRightSigned)
1814 CYInfix_(false, 7, ">>>", ShiftRightUnsigned)
1815 CYInfix_(false, 8, "<", Less)
1816 CYInfix_(false, 8, ">", Greater)
1817 CYInfix_(false, 8, "<=", LessOrEqual)
1818 CYInfix_(false, 8, ">=", GreaterOrEqual)
1819 CYInfix_(true, 8, "instanceof", InstanceOf)
1820 CYInfix_(true, 8, "in", In)
1821 CYInfix_(false, 9, "==", Equal)
1822 CYInfix_(false, 9, "!=", NotEqual)
1823 CYInfix_(false, 9, "===", Identical)
1824 CYInfix_(false, 9, "!==", NotIdentical)
1825 CYInfix_(false, 10, "&", BitwiseAnd)
1826 CYInfix_(false, 11, "^", BitwiseXOr)
1827 CYInfix_(false, 12, "|", BitwiseOr)
1828 CYInfix_(false, 13, "&&", LogicalAnd)
1829 CYInfix_(false, 14, "||", LogicalOr)
1830
1831 CYAssignment_("=", )
1832 CYAssignment_("*=", Multiply)
1833 CYAssignment_("/=", Divide)
1834 CYAssignment_("%=", Modulus)
1835 CYAssignment_("+=", Add)
1836 CYAssignment_("-=", Subtract)
1837 CYAssignment_("<<=", ShiftLeft)
1838 CYAssignment_(">>=", ShiftRightSigned)
1839 CYAssignment_(">>>=", ShiftRightUnsigned)
1840 CYAssignment_("&=", BitwiseAnd)
1841 CYAssignment_("^=", BitwiseXOr)
1842 CYAssignment_("|=", BitwiseOr)
1843
1844 #endif/*CYCRIPT_PARSER_HPP*/