X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/9a39f7051ad983d4377917e66222727dcbe6c099..d82e4c2ae6a0f62a34aad66263c28f846c33953d:/Output.cpp diff --git a/Output.cpp b/Output.cpp index 17f7bde..e7b1b2c 100644 --- a/Output.cpp +++ b/Output.cpp @@ -1,47 +1,135 @@ /* Cycript - Optimizing JavaScript Compiler/Runtime - * Copyright (C) 2009-2013 Jay Freeman (saurik) + * Copyright (C) 2009-2015 Jay Freeman (saurik) */ -/* GNU General Public License, Version 3 {{{ */ +/* GNU Affero General Public License, Version 3 {{{ */ /* - * Cycript is free software: you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published - * by the Free Software Foundation, either version 3 of the License, - * or (at your option) any later version. - * - * Cycript is distributed in the hope that it will be useful, but - * WITHOUT ANY WARRANTY; without even the implied warranty of + * This program is free software: you can redistribute it and/or modify + * it under the terms of the GNU Affero General Public License as published by + * the Free Software Foundation, either version 3 of the License, or + * (at your option) any later version. + + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with Cycript. If not, see . + * GNU Affero General Public License for more details. + + * You should have received a copy of the GNU Affero General Public License + * along with this program. If not, see . **/ /* }}} */ -#include "cycript.hpp" -#include "Parser.hpp" - +#include +#include #include +#include "Syntax.hpp" + +void CYStringify(std::ostringstream &str, const char *data, size_t size, bool c) { + bool single; + if (c) + single = false; + else { + unsigned quot(0), apos(0); + for (const char *value(data), *end(data + size); value != end; ++value) + if (*value == '"') + ++quot; + else if (*value == '\'') + ++apos; + + single = quot > apos; + } + + str << (single ? '\'' : '"'); + + for (const char *value(data), *end(data + size); value != end; ++value) + switch (uint8_t next = *value) { + case '\\': str << "\\\\"; break; + case '\b': str << "\\b"; break; + case '\f': str << "\\f"; break; + case '\n': str << "\\n"; break; + case '\r': str << "\\r"; break; + case '\t': str << "\\t"; break; + case '\v': str << "\\v"; break; + + case '"': + if (!single) + str << "\\\""; + else goto simple; + break; + + case '\'': + if (single) + str << "\\'"; + else goto simple; + break; + + case '\0': + if (value[1] >= '0' && value[1] <= '9') + str << "\\x00"; + else + str << "\\0"; + break; + + default: + if (next >= 0x20 && next < 0x7f) simple: + str << *value; + else { + unsigned levels(1); + if ((next & 0x80) != 0) + while ((next & 0x80 >> ++levels) != 0); + + unsigned point(next & 0xff >> levels); + while (--levels != 0) + point = point << 6 | uint8_t(*++value) & 0x3f; + + if (point < 0x100) + str << "\\x" << std::setbase(16) << std::setw(2) << std::setfill('0') << point; + else if (point < 0x10000) + str << "\\u" << std::setbase(16) << std::setw(4) << std::setfill('0') << point; + else { + point -= 0x10000; + str << "\\u" << std::setbase(16) << std::setw(4) << std::setfill('0') << (0xd800 | point >> 0x0a); + str << "\\u" << std::setbase(16) << std::setw(4) << std::setfill('0') << (0xdc00 | point & 0x3ff); + } + } + } + + str << (single ? '\'' : '"'); +} + +void CYNumerify(std::ostringstream &str, double value) { + if (std::isinf(value)) { + if (value < 0) + str << '-'; + str << "Infinity"; + return; + } + + char string[32]; + // XXX: I want this to print 1e3 rather than 1000 + sprintf(string, "%.17g", value); + str << string; +} + void CYOutput::Terminate() { - out_ << ';'; + operator ()(';'); mode_ = NoMode; } CYOutput &CYOutput::operator <<(char rhs) { if (rhs == ' ' || rhs == '\n') if (pretty_) - out_ << rhs; + operator ()(rhs); else goto done; else if (rhs == '\t') if (pretty_) for (unsigned i(0); i != indent_; ++i) - out_ << " "; + operator ()(" ", 4); else goto done; else if (rhs == '\r') { if (right_) { - out_ << '\n'; + operator ()('\n'); right_ = false; } goto done; } else goto work; @@ -53,7 +141,7 @@ CYOutput &CYOutput::operator <<(char rhs) { work: if (mode_ == Terminated && rhs != '}') { right_ = true; - out_ << ';'; + operator ()(';'); } if (rhs == ';') { @@ -65,21 +153,21 @@ CYOutput &CYOutput::operator <<(char rhs) { } } else if (rhs == '+') { if (mode_ == NoPlus) - out_ << ' '; + operator ()(' '); mode_ = NoPlus; } else if (rhs == '-') { if (mode_ == NoHyphen) - out_ << ' '; + operator ()(' '); mode_ = NoHyphen; } else if (WordEndRange_[rhs]) { if (mode_ == NoLetter) - out_ << ' '; + operator ()(' '); mode_ = NoLetter; } else none: mode_ = NoMode; right_ = true; - out_ << rhs; + operator ()(rhs); done: return *this; } @@ -91,21 +179,22 @@ CYOutput &CYOutput::operator <<(const char *rhs) { return *this << *rhs; if (mode_ == Terminated) - out_ << ';'; + operator ()(';'); else if ( mode_ == NoPlus && *rhs == '+' || mode_ == NoHyphen && *rhs == '-' || mode_ == NoLetter && WordEndRange_[*rhs] ) - out_ << ' '; + operator ()(' '); - if (WordEndRange_[rhs[size - 1]]) + char last(rhs[size - 1]); + if (WordEndRange_[last] || last == '/') mode_ = NoLetter; else mode_ = NoMode; right_ = true; - out_ << rhs; + operator ()(rhs, size); return *this; } @@ -118,8 +207,7 @@ void CYArgument::Output(CYOutput &out) const { if (value_ != NULL) value_->Output(out, CYAssign::Precedence_, CYNoFlags); if (next_ != NULL) { - if (next_->name_ == NULL) - out << ','; + out << ','; out << ' ' << *next_; } } @@ -138,26 +226,18 @@ void CYAssignment::Output(CYOutput &out, CYFlags flags) const { rhs_->Output(out, Precedence(), CYRight(flags)); } -void CYBlock::Output(CYOutput &out) const { +void CYBlock::Output(CYOutput &out, CYFlags flags) const { out << '{' << '\n'; ++out.indent_; - if (statements_ != NULL) - statements_->Multiple(out); + out << code_; --out.indent_; out << '\t' << '}'; } -void CYBlock::Output(CYOutput &out, CYFlags flags) const { - if (statements_ == NULL) - out.Terminate(); - else if (statements_->next_ == NULL) - statements_->Single(out, flags); - else - Output(out); -} - void CYBoolean::Output(CYOutput &out, CYFlags flags) const { - out << (Value() ? "true" : "false"); + out << '!' << (Value() ? "0" : "1"); + if ((flags & CYNoInteger) != 0) + out << '.'; } void CYBreak::Output(CYOutput &out, CYFlags flags) const { @@ -181,32 +261,65 @@ namespace cy { namespace Syntax { void Catch::Output(CYOutput &out) const { - out << ' ' << "catch" << ' ' << '(' << *name_ << ')' << ' ' << code_; + out << ' ' << "catch" << ' ' << '(' << *name_ << ')' << ' '; + out << '{' << '\n'; + ++out.indent_; + out << code_; + --out.indent_; + out << '\t' << '}'; } } } -void CYComment::Output(CYOutput &out, CYFlags flags) const { - out << '\r'; - out.out_ << value_; - out.right_ = true; - out << '\r'; +void CYClassExpression::Output(CYOutput &out, CYFlags flags) const { + bool protect((flags & CYNoClass) != 0); + if (protect) + out << '('; + out << "class"; + if (name_ != NULL) + out << ' ' << *name_; + out << *tail_;; + if (protect) + out << ')'; +} + +void CYClassStatement::Output(CYOutput &out, CYFlags flags) const { + out << "class" << ' ' << *name_ << *tail_; +} + +void CYClassTail::Output(CYOutput &out) const { + if (extends_ == NULL) + out << ' '; + else { + out << '\n'; + ++out.indent_; + out << "extends" << ' '; + extends_->Output(out, CYAssign::Precedence_ - 1, CYNoFlags); + out << '\n'; + --out.indent_; + } + + out << '{' << '\n'; + ++out.indent_; + + --out.indent_; + out << '}'; } void CYCompound::Output(CYOutput &out, CYFlags flags) const { - if (CYExpression *expression = expressions_) - if (CYExpression *next = expression->next_) { - expression->Output(out, CYLeft(flags)); - CYFlags center(CYCenter(flags)); - while (next != NULL) { - expression = next; - out << ',' << ' '; - next = expression->next_; - CYFlags right(next != NULL ? center : CYRight(flags)); - expression->Output(out, right); - } - } else - expression->Output(out, flags); + if (next_ == NULL) + expression_->Output(out, flags); + else { + expression_->Output(out, CYLeft(flags)); + out << ',' << ' '; + next_->Output(out, CYRight(flags)); + } +} + +void CYComputed::PropertyName(CYOutput &out) const { + out << '['; + expression_->Output(out, CYAssign::Precedence_, CYNoFlags); + out << ']'; } void CYCondition::Output(CYOutput &out, CYFlags flags) const { @@ -226,13 +339,15 @@ void CYContinue::Output(CYOutput &out, CYFlags flags) const { } void CYClause::Output(CYOutput &out) const { - if (case_ != NULL) - out << "case" << ' ' << *case_; + out << '\t'; + if (value_ != NULL) + out << "case" << ' ' << *value_; else out << "default"; out << ':' << '\n'; - if (statements_ != NULL) - statements_->Multiple(out); + ++out.indent_; + out << code_; + --out.indent_; out << next_; } @@ -240,45 +355,35 @@ void CYDebugger::Output(CYOutput &out, CYFlags flags) const { out << "debugger" << ';'; } -void CYDeclaration::ForIn(CYOutput &out, CYFlags flags) const { - out << "var"; - Output(out, CYRight(flags)); -} - -void CYDeclaration::Output(CYOutput &out, CYFlags flags) const { +void CYBinding::Output(CYOutput &out, CYFlags flags) const { out << *identifier_; //out.out_ << ':' << identifier_->usage_ << '#' << identifier_->offset_; - if (initialiser_ != NULL) { + if (initializer_ != NULL) { out << ' ' << '=' << ' '; - initialiser_->Output(out, CYAssign::Precedence_, CYRight(flags)); + initializer_->Output(out, CYAssign::Precedence_, CYRight(flags)); } } -void CYForDeclarations::Output(CYOutput &out, CYFlags flags) const { - out << "var"; - Output(out, CYRight(flags)); -} - -void CYDeclarations::Output(CYOutput &out) const { +void CYBindings::Output(CYOutput &out) const { Output(out, CYNoFlags); } -void CYDeclarations::Output(CYOutput &out, CYFlags flags) const { - const CYDeclarations *declaration(this); +void CYBindings::Output(CYOutput &out, CYFlags flags) const { + const CYBindings *binding(this); bool first(true); for (;;) { - CYDeclarations *next(declaration->next_); + CYBindings *next(binding->next_); CYFlags jacks(first ? CYLeft(flags) : next == NULL ? CYRight(flags) : CYCenter(flags)); first = false; - declaration->declaration_->Output(out, jacks); + binding->binding_->Output(out, jacks); if (next == NULL) break; out << ',' << ' '; - declaration = next; + binding = next; } } @@ -292,16 +397,29 @@ void CYDirectMember::Output(CYOutput &out, CYFlags flags) const { void CYDoWhile::Output(CYOutput &out, CYFlags flags) const { out << "do"; - code_->Single(out, CYCenter(flags)); + + unsigned line(out.position_.line); + unsigned indent(out.indent_); + code_->Single(out, CYCenter(flags), CYCompactLong); + + if (out.position_.line != line && out.recent_ == indent) + out << ' '; + else + out << '\n' << '\t'; + out << "while" << ' ' << '(' << *test_ << ')'; } -void CYElement::Output(CYOutput &out) const { +void CYElementSpread::Output(CYOutput &out) const { + out << "..." << value_; +} + +void CYElementValue::Output(CYOutput &out) const { if (value_ != NULL) value_->Output(out, CYAssign::Precedence_, CYNoFlags); if (next_ != NULL || value_ == NULL) { out << ','; - if (next_ != NULL && next_->value_ != NULL) + if (next_ != NULL && !next_->Elision()) out << ' '; } if (next_ != NULL) @@ -312,17 +430,13 @@ void CYEmpty::Output(CYOutput &out, CYFlags flags) const { out.Terminate(); } -void CYExpress::Output(CYOutput &out, CYFlags flags) const { - expression_->Output(out, flags | CYNoBF); - out << ';'; -} - -void CYExpression::ClassName(CYOutput &out, bool object) const { - Output(out, CYAssign::Precedence_, CYNoFlags); +void CYEval::Output(CYOutput &out, CYFlags flags) const { + _assert(false); } -void CYExpression::ForIn(CYOutput &out, CYFlags flags) const { - Output(out, flags | CYNoRightHand); +void CYExpress::Output(CYOutput &out, CYFlags flags) const { + expression_->Output(out, flags | CYNoBFC); + out << ';'; } void CYExpression::Output(CYOutput &out) const { @@ -336,18 +450,28 @@ void CYExpression::Output(CYOutput &out, int precedence, CYFlags flags) const { Output(out, flags); } +void CYExternal::Output(CYOutput &out, CYFlags flags) const { + out << "extern" << abi_ << typed_; + out.Terminate(); +} + void CYFatArrow::Output(CYOutput &out, CYFlags flags) const { - out << '(' << parameters_ << ')' << ' ' << "=>" << ' ' << code_; + out << '(' << parameters_ << ')' << ' ' << "=>" << ' ' << '{' << code_ << '}'; } void CYFinally::Output(CYOutput &out) const { - out << ' ' << "finally" << ' ' << code_; + out << ' ' << "finally" << ' '; + out << '{' << '\n'; + ++out.indent_; + out << code_; + --out.indent_; + out << '\t' << '}'; } void CYFor::Output(CYOutput &out, CYFlags flags) const { out << "for" << ' ' << '('; - if (initialiser_ != NULL) - initialiser_->Output(out, CYNoIn); + if (initializer_ != NULL) + initializer_->Output(out, CYNoIn); out.Terminate(); if (test_ != NULL) out << ' '; @@ -357,33 +481,62 @@ void CYFor::Output(CYOutput &out, CYFlags flags) const { out << ' '; out << increment_; out << ')'; - code_->Single(out, CYRight(flags)); + code_->Single(out, CYRight(flags), CYCompactShort); +} + +void CYForLexical::Output(CYOutput &out, CYFlags flags) const { + out << (constant_ ? "const" : "let") << ' '; + binding_->Output(out, CYRight(flags)); +} + +void CYForIn::Output(CYOutput &out, CYFlags flags) const { + out << "for" << ' ' << '('; + initializer_->Output(out, CYNoIn | CYNoRightHand); + out << ' ' << "in" << ' ' << *iterable_ << ')'; + code_->Single(out, CYRight(flags), CYCompactShort); +} + +void CYForInitialized::Output(CYOutput &out, CYFlags flags) const { + out << "for" << ' ' << '(' << "var" << ' '; + binding_->Output(out, CYNoIn | CYNoRightHand); + out << ' ' << "in" << ' ' << *iterable_ << ')'; + code_->Single(out, CYRight(flags), CYCompactShort); +} + +void CYForInComprehension::Output(CYOutput &out) const { + out << "for" << ' ' << '('; + binding_->Output(out, CYNoIn | CYNoRightHand); + out << ' ' << "in" << ' ' << *iterable_ << ')'; } void CYForOf::Output(CYOutput &out, CYFlags flags) const { - out << "for" << ' ' << "each" << ' ' << '('; - initialiser_->ForIn(out, CYNoIn); - out << "in" << *set_ << ')'; - code_->Single(out, CYRight(flags)); + out << "for" << ' ' << '('; + initializer_->Output(out, CYNoRightHand); + out << ' ' << "of" << ' ' << *iterable_ << ')'; + code_->Single(out, CYRight(flags), CYCompactShort); } void CYForOfComprehension::Output(CYOutput &out) const { - out << "for" << ' ' << "each" << ' ' << '(' << *name_ << ' ' << "in" << ' ' << *set_ << ')' << next_; + out << "for" << ' ' << '('; + binding_->Output(out, CYNoRightHand); + out << ' ' << "of" << ' ' << *iterable_ << ')' << next_; } -void CYForIn::Output(CYOutput &out, CYFlags flags) const { - out << "for" << ' ' << '('; - if (initialiser_ != NULL) - initialiser_->ForIn(out, CYNoIn); - out << "in" << *set_ << ')'; - code_->Single(out, CYRight(flags)); +void CYForVariable::Output(CYOutput &out, CYFlags flags) const { + out << "var" << ' '; + binding_->Output(out, CYRight(flags)); } -void CYForInComprehension::Output(CYOutput &out) const { - out << "for" << ' ' << '(' << *name_ << ' ' << "in" << ' ' << *set_ << ')'; +void CYFunction::Output(CYOutput &out) const { + out << '(' << parameters_ << ')' << ' '; + out << '{' << '\n'; + ++out.indent_; + out << code_; + --out.indent_; + out << '\t' << '}'; } -void CYFunction::Output(CYOutput &out, CYFlags flags) const { +void CYFunctionExpression::Output(CYOutput &out, CYFlags flags) const { // XXX: one could imagine using + here to save a byte bool protect((flags & CYNoFunction) != 0); if (protect) @@ -391,28 +544,24 @@ void CYFunction::Output(CYOutput &out, CYFlags flags) const { out << "function"; if (name_ != NULL) out << ' ' << *name_; - out << '(' << parameters_ << ')'; - out << ' ' << code_; + CYFunction::Output(out); if (protect) out << ')'; } -void CYFunctionExpression::Output(CYOutput &out, CYFlags flags) const { - CYFunction::Output(out, flags); -} - void CYFunctionStatement::Output(CYOutput &out, CYFlags flags) const { - CYFunction::Output(out, flags); + out << "function" << ' ' << *name_; + CYFunction::Output(out); } void CYFunctionParameter::Output(CYOutput &out) const { - initialiser_->Output(out, CYNoFlags); + binding_->Output(out, CYNoFlags); if (next_ != NULL) out << ',' << ' ' << *next_; } const char *CYIdentifier::Word() const { - return replace_ == NULL || replace_ == this ? CYWord::Word() : replace_->Word(); + return next_ == NULL || next_ == this ? CYWord::Word() : next_->Word(); } void CYIf::Output(CYOutput &out, CYFlags flags) const { @@ -432,11 +581,18 @@ void CYIf::Output(CYOutput &out, CYFlags flags) const { else jacks |= protect ? CYNoFlags : CYCenter(flags); - true_->Single(out, jacks); + unsigned line(out.position_.line); + unsigned indent(out.indent_); + true_->Single(out, jacks, CYCompactShort); if (false_ != NULL) { - out << '\t' << "else"; - false_->Single(out, right); + if (out.position_.line != line && out.recent_ == indent) + out << ' '; + else + out << '\n' << '\t'; + + out << "else"; + false_->Single(out, right, CYCompactLong); } if (protect) @@ -447,6 +603,19 @@ void CYIfComprehension::Output(CYOutput &out) const { out << "if" << ' ' << '(' << *test_ << ')' << next_; } +void CYImport::Output(CYOutput &out, CYFlags flags) const { + out << "@import"; +} + +void CYImportDeclaration::Output(CYOutput &out, CYFlags flags) const { + _assert(false); +} + +void CYIndirect::Output(CYOutput &out, CYFlags flags) const { + out << "*"; + rhs_->Output(out, Precedence(), CYRight(flags)); +} + void CYIndirectMember::Output(CYOutput &out, CYFlags flags) const { object_->Output(out, Precedence(), CYLeft(flags)); if (const char *word = property_->Word()) @@ -470,8 +639,22 @@ void CYInfix::Output(CYOutput &out, CYFlags flags) const { } void CYLabel::Output(CYOutput &out, CYFlags flags) const { - out << *name_ << ':' << ' '; - statement_->Single(out, CYRight(flags)); + out << *name_ << ':'; + statement_->Single(out, CYRight(flags), CYCompactShort); +} + +void CYParenthetical::Output(CYOutput &out, CYFlags flags) const { + out << '('; + expression_->Output(out, CYCompound::Precedence_, CYNoFlags); + out << ')'; +} + +void CYStatement::Output(CYOutput &out) const { + Multiple(out); +} + +void CYTemplate::Output(CYOutput &out, CYFlags flags) const { + _assert(false); } void CYTypeArrayOf::Output(CYOutput &out, CYIdentifier *identifier) const { @@ -481,8 +664,14 @@ void CYTypeArrayOf::Output(CYOutput &out, CYIdentifier *identifier) const { out << ']'; } +void CYTypeBlockWith::Output(CYOutput &out, CYIdentifier *identifier) const { + out << '(' << '^'; + next_->Output(out, Precedence(), identifier); + out << ')' << '(' << parameters_ << ')'; +} + void CYTypeConstant::Output(CYOutput &out, CYIdentifier *identifier) const { - out << "const"; + out << "const" << ' '; next_->Output(out, Precedence(), identifier); } @@ -517,7 +706,7 @@ void CYTypeModifier::Output(CYOutput &out, int precedence, CYIdentifier *identif } void CYTypedIdentifier::Output(CYOutput &out) const { - type_->Output(out, 0, CYNoFlags); + specifier_->Output(out); modifier_->Output(out, 0, identifier_); } @@ -540,12 +729,24 @@ void CYLambda::Output(CYOutput &out, CYFlags flags) const { } void CYTypeDefinition::Output(CYOutput &out, CYFlags flags) const { - out << "typedef" << *typed_; + out << "typedef" << ' ' << *typed_; + out.Terminate(); +} + +void CYTypeExpression::Output(CYOutput &out, CYFlags flags) const { + out << '(' << "typedef" << ' ' << *typed_ << ')'; } -void CYLetStatement::Output(CYOutput &out, CYFlags flags) const { - out << "let" << ' ' << '(' << *declarations_ << ')'; - code_->Single(out, CYRight(flags)); +void CYLexical::Output(CYOutput &out, CYFlags flags) const { + out << "let" << ' '; + bindings_->Output(out, flags); // XXX: flags + out << ';'; +} + +void CYModule::Output(CYOutput &out) const { + out << part_; + if (next_ != NULL) + out << '.' << next_; } namespace cy { @@ -562,7 +763,7 @@ void New::Output(CYOutput &out, CYFlags flags) const { } } void CYNull::Output(CYOutput &out, CYFlags flags) const { - CYWord::Output(out); + out << "null"; } void CYNumber::Output(CYOutput &out, CYFlags flags) const { @@ -605,20 +806,42 @@ void CYPrefix::Output(CYOutput &out, CYFlags flags) const { rhs_->Output(out, Precedence(), CYRight(flags)); } -void CYProgram::Output(CYOutput &out) const { - if (statements_ != NULL) - statements_->Multiple(out); +void CYScript::Output(CYOutput &out) const { + out << code_; } void CYProperty::Output(CYOutput &out) const { + if (next_ != NULL || out.pretty_) + out << ','; + out << '\n' << next_; +} + +void CYPropertyGetter::Output(CYOutput &out) const { + out << "get" << ' '; + name_->PropertyName(out); + CYFunction::Output(out); + CYProperty::Output(out); +} + +void CYPropertyMethod::Output(CYOutput &out) const { + name_->PropertyName(out); + CYFunction::Output(out); + CYProperty::Output(out); +} + +void CYPropertySetter::Output(CYOutput &out) const { + out << "set" << ' '; + name_->PropertyName(out); + CYFunction::Output(out); + CYProperty::Output(out); +} + +void CYPropertyValue::Output(CYOutput &out) const { out << '\t'; name_->PropertyName(out); out << ':' << ' '; value_->Output(out, CYAssign::Precedence_, CYNoFlags); - if (next_ != NULL) - out << ',' << '\n' << *next_; - else - out << '\n'; + CYProperty::Output(out); } void CYRegEx::Output(CYOutput &out, CYFlags flags) const { @@ -639,8 +862,11 @@ void CYRubyBlock::Output(CYOutput &out, CYFlags flags) const { } void CYRubyProc::Output(CYOutput &out, CYFlags flags) const { - // XXX: this is not outputting the parameters + out << '{' << ' ' << '|' << parameters_ << '|' << '\n'; + ++out.indent_; out << code_; + --out.indent_; + out << '\t' << '}'; } void CYStatement::Multiple(CYOutput &out, CYFlags flags) const { @@ -655,17 +881,26 @@ void CYStatement::Multiple(CYOutput &out, CYFlags flags) const { } } -void CYStatement::Single(CYOutput &out, CYFlags flags) const { +void CYStatement::Single(CYOutput &out, CYFlags flags, CYCompactType request) const { if (this == NULL) return out.Terminate(); _assert(next_ == NULL); - out << '\n'; - ++out.indent_; - out << '\t'; + + CYCompactType compact(Compact()); + + if (compact >= request) + out << ' '; + else { + out << '\n'; + ++out.indent_; + out << '\t'; + } + Output(out, flags); - out << '\n'; - --out.indent_; + + if (compact < request) + --out.indent_; } void CYString::Output(CYOutput &out, CYFlags flags) const { @@ -716,14 +951,44 @@ const char *CYString::Word() const { return value; } +void CYStructDefinition::Output(CYOutput &out, CYFlags flags) const { + out << "struct" << ' ' << *name_ << *tail_; +} + +void CYStructTail::Output(CYOutput &out) const { + out << ' ' << '{' << '\n'; + ++out.indent_; + CYForEach (field, fields_) { + out << '\t' << *field->typed_; + out.Terminate(); + out << '\n'; + } + --out.indent_; + out << '}'; +} + +void CYSuperAccess::Output(CYOutput &out, CYFlags flags) const { + out << "super"; + if (const char *word = property_->Word()) + out << '.' << word; + else + out << '[' << *property_ << ']'; +} + +void CYSuperCall::Output(CYOutput &out, CYFlags flags) const { + out << "super" << '(' << arguments_ << ')'; +} + void CYSwitch::Output(CYOutput &out, CYFlags flags) const { - out << "switch" << ' ' << '(' << *value_ << ')' << ' ' << '{'; + out << "switch" << ' ' << '(' << *value_ << ')' << ' ' << '{' << '\n'; + ++out.indent_; out << clauses_; - out << '}'; + --out.indent_; + out << '\t' << '}'; } void CYThis::Output(CYOutput &out, CYFlags flags) const { - CYWord::Output(out); + out << "this"; } namespace cy { @@ -737,14 +1002,60 @@ void Throw::Output(CYOutput &out, CYFlags flags) const { } void Try::Output(CYOutput &out, CYFlags flags) const { - out << "try" << ' ' << code_ << catch_ << finally_; + out << "try" << ' '; + out << '{' << '\n'; + ++out.indent_; + out << code_; + --out.indent_; + out << '\t' << '}'; + out << catch_ << finally_; } } } +void CYTypeError::Output(CYOutput &out) const { + out << "@error"; +} + +void CYTypeLong::Output(CYOutput &out) const { + out << "long" << specifier_; +} + +void CYTypeShort::Output(CYOutput &out) const { + out << "short" << specifier_; +} + +void CYTypeSigned::Output(CYOutput &out) const { + out << "signed" << specifier_; +} + +void CYTypeStruct::Output(CYOutput &out) const { + out << "struct"; + if (name_ != NULL) + out << ' ' << *name_; + else + out << *tail_; +} + +void CYTypeUnsigned::Output(CYOutput &out) const { + out << "unsigned" << specifier_; +} + +void CYTypeReference::Output(CYOutput &out) const { + out << "struct" << ' ' << *name_; +} + +void CYTypeVariable::Output(CYOutput &out) const { + out << *name_; +} + +void CYTypeVoid::Output(CYOutput &out) const { + out << "void"; +} + void CYVar::Output(CYOutput &out, CYFlags flags) const { - out << "var"; - declarations_->Output(out, flags); + out << "var" << ' '; + bindings_->Output(out, flags); // XXX: flags out << ';'; } @@ -753,27 +1064,23 @@ void CYVariable::Output(CYOutput &out, CYFlags flags) const { } void CYWhile::Output(CYOutput &out, CYFlags flags) const { - out << "while" << '(' << *test_ << ')'; - code_->Single(out, CYRight(flags)); + out << "while" << ' ' << '(' << *test_ << ')'; + code_->Single(out, CYRight(flags), CYCompactShort); } void CYWith::Output(CYOutput &out, CYFlags flags) const { - out << "with" << '(' << *scope_ << ')'; - code_->Single(out, CYRight(flags)); -} - -void CYWord::ClassName(CYOutput &out, bool object) const { - if (object) - out << "objc_getClass("; - out << '"' << Word() << '"'; - if (object) - out << ')'; + out << "with" << ' ' << '(' << *scope_ << ')'; + code_->Single(out, CYRight(flags), CYCompactShort); } void CYWord::Output(CYOutput &out) const { out << Word(); - if (out.options_.verbose_) - out.out_ << '@' << this; + if (out.options_.verbose_) { + out('@'); + char number[32]; + sprintf(number, "%p", this); + out(number); + } } void CYWord::PropertyName(CYOutput &out) const {