X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/bfd79faeaedfb0028661b7ad25a496def9d1f454..f348c89090d46cd58f44ca15623dcc044454f874:/Output.cpp diff --git a/Output.cpp b/Output.cpp index 4506db6..e7b1b2c 100644 --- a/Output.cpp +++ b/Output.cpp @@ -19,12 +19,99 @@ **/ /* }}} */ -#include "cycript.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() { operator ()(';'); mode_ = NoMode; @@ -253,8 +340,8 @@ void CYContinue::Output(CYOutput &out, CYFlags flags) const { void CYClause::Output(CYOutput &out) const { out << '\t'; - if (case_ != NULL) - out << "case" << ' ' << *case_; + if (value_ != NULL) + out << "case" << ' ' << *value_; else out << "default"; out << ':' << '\n'; @@ -268,35 +355,35 @@ void CYDebugger::Output(CYOutput &out, CYFlags flags) const { out << "debugger" << ';'; } -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 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; } } @@ -364,7 +451,8 @@ void CYExpression::Output(CYOutput &out, int precedence, CYFlags flags) const { } void CYExternal::Output(CYOutput &out, CYFlags flags) const { - out << "extern" << abi_ << typed_ << ';'; + out << "extern" << abi_ << typed_; + out.Terminate(); } void CYFatArrow::Output(CYOutput &out, CYFlags flags) const { @@ -382,8 +470,8 @@ void CYFinally::Output(CYOutput &out) const { 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 << ' '; @@ -398,38 +486,45 @@ void CYFor::Output(CYOutput &out, CYFlags flags) const { void CYForLexical::Output(CYOutput &out, CYFlags flags) const { out << (constant_ ? "const" : "let") << ' '; - declaration_->Output(out, CYRight(flags)); + binding_->Output(out, CYRight(flags)); } void CYForIn::Output(CYOutput &out, CYFlags flags) const { out << "for" << ' ' << '('; - initialiser_->Output(out, CYNoIn | CYNoRightHand); - out << ' ' << "in" << ' ' << *set_ << ')'; + 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" << ' ' << '('; - declaration_->Output(out, CYNoIn | CYNoRightHand); - out << ' ' << "in" << ' ' << *set_ << ')'; + binding_->Output(out, CYNoIn | CYNoRightHand); + out << ' ' << "in" << ' ' << *iterable_ << ')'; } void CYForOf::Output(CYOutput &out, CYFlags flags) const { out << "for" << ' ' << '('; - initialiser_->Output(out, CYNoRightHand); - out << ' ' << "of" << ' ' << *set_ << ')'; + initializer_->Output(out, CYNoRightHand); + out << ' ' << "of" << ' ' << *iterable_ << ')'; code_->Single(out, CYRight(flags), CYCompactShort); } void CYForOfComprehension::Output(CYOutput &out) const { out << "for" << ' ' << '('; - declaration_->Output(out, CYNoRightHand); - out << ' ' << "of" << ' ' << *set_ << ')' << next_; + binding_->Output(out, CYNoRightHand); + out << ' ' << "of" << ' ' << *iterable_ << ')' << next_; } void CYForVariable::Output(CYOutput &out, CYFlags flags) const { out << "var" << ' '; - declaration_->Output(out, CYRight(flags)); + binding_->Output(out, CYRight(flags)); } void CYFunction::Output(CYOutput &out) const { @@ -460,7 +555,7 @@ void CYFunctionStatement::Output(CYOutput &out, CYFlags flags) const { } void CYFunctionParameter::Output(CYOutput &out) const { - initialiser_->Output(out, CYNoFlags); + binding_->Output(out, CYNoFlags); if (next_ != NULL) out << ',' << ' ' << *next_; } @@ -512,6 +607,10 @@ 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)); @@ -631,11 +730,16 @@ void CYLambda::Output(CYOutput &out, CYFlags flags) const { void CYTypeDefinition::Output(CYOutput &out, CYFlags flags) const { out << "typedef" << ' ' << *typed_; + out.Terminate(); +} + +void CYTypeExpression::Output(CYOutput &out, CYFlags flags) const { + out << '(' << "typedef" << ' ' << *typed_ << ')'; } -void CYLet::Output(CYOutput &out, CYFlags flags) const { +void CYLexical::Output(CYOutput &out, CYFlags flags) const { out << "let" << ' '; - declarations_->Output(out, flags); // XXX: flags + bindings_->Output(out, flags); // XXX: flags out << ';'; } @@ -847,6 +951,22 @@ 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()) @@ -909,10 +1029,22 @@ 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_; } @@ -923,7 +1055,7 @@ void CYTypeVoid::Output(CYOutput &out) const { void CYVar::Output(CYOutput &out, CYFlags flags) const { out << "var" << ' '; - declarations_->Output(out, flags); // XXX: flags + bindings_->Output(out, flags); // XXX: flags out << ';'; }