]> git.saurik.com Git - cycript.git/blobdiff - Output.cpp
Drastic improvements to memory management, handle many more minimization corner cases...
[cycript.git] / Output.cpp
index b45703f1ebe9fd685282b7a799783b71e65038c4..a35ab818232858c3ca9958f3cf4bc4c24ff419e2 100644 (file)
@@ -3,33 +3,85 @@
 #include <iostream>
 #include <iomanip>
 
-void CYAddressOf::Output(std::ostream &out) const {
-    out << *rhs_ << ".$()";
+_finline CYFlags operator ~(CYFlags rhs) {
+    return static_cast<CYFlags>(~static_cast<unsigned>(rhs));
 }
 
-void CYArgument::Output(std::ostream &out, bool send) const {
-    if (!send && name_ != NULL) {
+_finline CYFlags operator &(CYFlags lhs, CYFlags rhs) {
+    return static_cast<CYFlags>(static_cast<unsigned>(lhs) & static_cast<unsigned>(rhs));
+}
+
+_finline CYFlags operator |(CYFlags lhs, CYFlags rhs) {
+    return static_cast<CYFlags>(static_cast<unsigned>(lhs) | static_cast<unsigned>(rhs));
+}
+
+_finline CYFlags &operator |=(CYFlags &lhs, CYFlags rhs) {
+    return lhs = lhs | rhs;
+}
+
+_finline CYFlags CYLeft(CYFlags flags) {
+    return flags & ~CYNoTrailer;
+}
+
+_finline CYFlags CYCenter(CYFlags flags) {
+    return flags & CYNoIn;
+}
+
+_finline CYFlags CYRight(CYFlags flags) {
+    return flags & (CYNoIn | CYNoTrailer);
+}
+
+bool CYFalse::Value() const {
+    return false;
+}
+
+bool CYTrue::Value() const {
+    return true;
+}
+
+#define CYPA 16
+
+void CYAddressOf::Output(std::ostream &out, CYFlags flags) const {
+    rhs_->Output(out, 1, CYLeft(flags));
+    out << ".$()";
+}
+
+void CYArgument::Output(std::ostream &out) const {
+    if (name_ != NULL) {
         out << *name_;
         if (value_ != NULL)
             out << ":";
     }
-    if (value_ != NULL) {
-        if (send)
-            out << ',';
-        value_->Output(out, true);
-    }
+    if (value_ != NULL)
+        value_->Output(out, CYPA, CYNoFlags);
     if (next_ != NULL) {
-        if (!send)
-            if (next_->name_ != NULL)
-                out << ',';
-            else
-                out << ' ';
-        next_->Output(out, send);
+        if (next_->name_ == NULL)
+            out << ',';
+        else
+            out << ' ';
+        next_->Output(out);
     }
 }
 
-void CYBoolean::Output(std::ostream &out) const {
+void CYArray::Output(std::ostream &out, CYFlags flags) const {
+    out << '[';
+    if (elements_ != NULL)
+        elements_->Output(out);
+    out << ']';
+}
+
+void CYAssignment::Output(std::ostream &out, CYFlags flags) const {
+    lhs_->Output(out, Precedence() - 1, CYLeft(flags));
+    out << Operator();
+    rhs_->Output(out, Precedence(), CYRight(flags));
+}
+
+void CYBoolean::Output(std::ostream &out, CYFlags flags) const {
+    if ((flags & CYNoLeader) != 0)
+        out << ' ';
     out << (Value() ? "true" : "false");
+    if ((flags & CYNoTrailer) != 0)
+        out << ' ';
 }
 
 void CYBreak::Output(std::ostream &out) const {
@@ -39,10 +91,11 @@ void CYBreak::Output(std::ostream &out) const {
     out << ';';
 }
 
-void CYCall::Output(std::ostream &out) const {
-    out << *function_ << '(';
+void CYCall::Output(std::ostream &out, CYFlags flags) const {
+    function_->Output(out, Precedence(), CYLeft(flags));
+    out << '(';
     if (arguments_ != NULL)
-        arguments_->Output(out, false);
+        arguments_->Output(out);
     out << ')';
 }
 
@@ -51,11 +104,30 @@ void CYCatch::Output(std::ostream &out) const {
     code_->Output(out, true);
 }
 
-void CYCondition::Output(std::ostream &out) const {
-    out << *test_ << '?';
+void CYClass::Output(std::ostream &out) const {
+    out << "(function($cys,$cyc,$cym,$cyn,$cyt){";
+    out << "$cyc=objc_allocateClassPair($cys,\"" << *name_ << "\",0);";
+    out << "$cym=object_getClass($cyc);";
+    if (fields_ != NULL)
+        fields_->Output(out);
+    if (messages_ != NULL)
+        messages_->Output(out);
+    out << "objc_registerClassPair($cyc);";
+    out << "})(";
+    if (super_ != NULL)
+        super_->Output(out, CYPA, CYNoFlags);
+    else
+        out << "null";
+    out << ");";
+}
+
+void CYCondition::Output(std::ostream &out, CYFlags flags) const {
+    test_->Output(out, Precedence() - 1, CYLeft(flags));
+    out << '?';
     if (true_ != NULL)
-        out << *true_;
-    out << ':' << *false_;
+        true_->Output(out, CYPA, CYNoFlags);
+    out << ':';
+    false_->Output(out, CYPA, CYRight(flags));
 }
 
 void CYContinue::Output(std::ostream &out) const {
@@ -66,9 +138,10 @@ void CYContinue::Output(std::ostream &out) const {
 }
 
 void CYClause::Output(std::ostream &out) const {
-    if (case_ != NULL)
-        out << "case" << *case_;
-    else
+    if (case_ != NULL) {
+        out << "case";
+        case_->Output(out, CYNoFlags);
+    } else
         out << "default";
     out << ':';
     if (code_ != NULL)
@@ -76,6 +149,7 @@ void CYClause::Output(std::ostream &out) const {
     out << *next_;
 }
 
+// XXX: deal with NoIn
 void CYDeclaration::Part(std::ostream &out) const {
     out << "var ";
     Output(out);
@@ -83,17 +157,25 @@ void CYDeclaration::Part(std::ostream &out) const {
 
 void CYDeclaration::Output(std::ostream &out) const {
     out << *identifier_;
-    if (initialiser_ != NULL)
-        out << '=' << *initialiser_;
+    if (initialiser_ != NULL) {
+        out << '=';
+        initialiser_->Output(out, CYPA, CYNoFlags);
+    }
 }
 
+// XXX: deal with NoIn
 void CYDeclarations::Part(std::ostream &out) const {
     out << "var ";
+
     const CYDeclarations *declaration(this);
-    do {
-        out << *declaration->declaration_;
-        declaration = declaration->next_;
-    } while (declaration != NULL);
+  output:
+    out << *declaration->declaration_;
+    declaration = declaration->next_;
+
+    if (declaration != NULL) {
+        out << ',';
+        goto output;
+    }
 }
 
 void CYDeclarations::Output(std::ostream &out) const {
@@ -102,26 +184,21 @@ void CYDeclarations::Output(std::ostream &out) const {
 }
 
 void CYDoWhile::Output(std::ostream &out) const {
+    // XXX: extra space character!
     out << "do ";
     code_->Output(out, false);
-    out << "while" << *test_ << ';';
+    out << "while(";
+    test_->Output(out, CYNoFlags);
+    out << ')';
 }
 
-void CYElement::Output(std::ostream &out, bool raw) const {
-    if (!raw)
-        out << '[';
+void CYElement::Output(std::ostream &out) const {
     if (value_ != NULL)
-        value_->Output(out, true);
-    if (next_ != NULL) {
+        value_->Output(out, CYPA, CYNoFlags);
+    if (next_ != NULL || value_ == NULL)
         out << ',';
-        next_->Output(out, true);
-    }
-    if (!raw)
-        out << ']';
-}
-
-void CYElement::Output(std::ostream &out) const {
-    Output(out, false);
+    if (next_ != NULL)
+        next_->Output(out);
 }
 
 void CYEmpty::Output(std::ostream &out) const {
@@ -136,24 +213,42 @@ void CYEmpty::Output(std::ostream &out, bool block) const {
 }
 
 void CYExpress::Output(std::ostream &out) const {
-    expression_->Output(out, true);
+    expression_->Output(out, CYNoFunction | CYNoBrace);
     out << ';';
 }
 
 void CYExpression::Part(std::ostream &out) const {
-    Output(out, true);
+    // XXX: this should handle LeftHandSideExpression
+    Output(out, CYNoIn);
+}
+
+void CYCompound::Output(std::ostream &out, CYFlags flags) const {
+    if (CYExpression *expression = expressions_)
+        if (CYExpression *next = expression->next_)
+            expression->Output(out, flags);
+        else {
+            expression->Output(out, CYLeft(flags));
+            CYFlags center(CYCenter(flags));
+            while (next != NULL) {
+                out << ',';
+                next = expression->next_;
+                CYFlags right(next != NULL ? center : CYRight(flags));
+                expression->Output(out, right);
+            }
+        }
 }
 
-void CYExpression::Output(std::ostream &out, bool raw) const {
-    if (!raw)
+void CYExpression::Output(std::ostream &out, unsigned precedence, CYFlags flags) const {
+    if (precedence < Precedence()) {
         out << '(';
-    Output(out);
-    if (next_ != NULL) {
-        out << ',';
-        next_->Output(out, true);
-    }
-    if (!raw)
+        Output(out, CYNoFlags);
         out << ')';
+    } else
+        Output(out, flags);
+}
+
+void CYField::Output(std::ostream &out) const {
+    // XXX: implement!
 }
 
 void CYFor::Output(std::ostream &out) const {
@@ -162,10 +257,10 @@ void CYFor::Output(std::ostream &out) const {
         initialiser_->Part(out);
     out << ';';
     if (test_ != NULL)
-        test_->Output(out, true);
+        test_->Output(out, CYNoFlags);
     out << ';';
     if (increment_ != NULL)
-        increment_->Output(out, true);
+        increment_->Output(out, CYNoFlags);
     out << ')';
     code_->Output(out, false);
 }
@@ -173,18 +268,30 @@ void CYFor::Output(std::ostream &out) const {
 void CYForIn::Output(std::ostream &out) const {
     out << "for(";
     initialiser_->Part(out);
-    out << " in ";
-    set_->Output(out, true);
+    // XXX: deal with this space character!
+    out << ' ';
+    out << "in";
+    set_->Output(out, CYNoLeader);
     out << ')';
     code_->Output(out, false);
 }
 
 void CYFunction::Output(std::ostream &out) const {
-    CYLambda::Output(out);
+    CYLambda::Output(out, CYNoFlags);
+}
+
+void CYFunctionParameter::Output(std::ostream &out) const {
+    out << *name_;
+    if (next_ != NULL) {
+        out << ',';
+        out << *next_;
+    }
 }
 
 void CYIf::Output(std::ostream &out) const {
-    out << "if" << *test_;
+    out << "if(";
+    test_->Output(out, CYNoFlags);
+    out << ')';
     true_->Output(out, true);
     if (false_ != NULL) {
         out << "else ";
@@ -192,103 +299,190 @@ void CYIf::Output(std::ostream &out) const {
     }
 }
 
-void CYIndirect::Output(std::ostream &out) const {
-    out << *rhs_ << "[0]";
+void CYIndirect::Output(std::ostream &out, CYFlags flags) const {
+    rhs_->Output(out, 1, CYLeft(flags));
+    out << "[0]";
 }
 
-void CYInfix::Output(std::ostream &out) const {
-    out << *lhs_ << Operator() << *rhs_;
+void CYInfix::Output(std::ostream &out, CYFlags flags) const {
+    const char *name(Operator());
+    bool protect((flags & CYNoIn) != 0 && strcmp(name, "in"));
+    if (protect)
+        out << '(';
+    bool alphabetic(Alphabetic());
+    CYFlags left(protect ? CYNoFlags : CYLeft(flags));
+    if (alphabetic)
+        left |= CYNoTrailer;
+    lhs_->Output(out, Precedence(), left);
+    out << name;
+    CYFlags right(protect ? CYNoFlags : CYRight(flags));
+    if (alphabetic)
+        right |= CYNoLeader;
+    rhs_->Output(out, Precedence() - 1, right);
+    if (protect)
+        out << ')';
 }
 
-void CYLambda::Output(std::ostream &out) const {
+void CYLambda::Output(std::ostream &out, CYFlags flags) const {
+    bool protect((flags & CYNoFunction) != 0);
+    if (protect)
+        out << '(';
     out << "function";
     if (name_ != NULL)
         out << ' ' << *name_;
     out << '(';
     if (parameters_ != NULL)
         out << *parameters_;
-    out << ')';
-    body_->Output(out, true);
+    out << "){";
+    if (body_ != NULL)
+        body_->Show(out);
+    out << '}';
+    if (protect)
+        out << ')';
 }
 
-void CYMember::Output(std::ostream &out) const {
-    out << *object_ << '[';
-    property_->Output(out, true);
-    out << ']';
+void CYMember::Output(std::ostream &out, CYFlags flags) const {
+    object_->Output(out, Precedence(), CYLeft(flags));
+    if (const char *word = property_->Word())
+        out << '.' << word;
+    else {
+        out << '[';
+        property_->Output(out, CYNoFlags);
+        out << ']';
+    }
 }
 
 void CYMessage::Output(std::ostream &out) const {
-    out << "objc_msgSend(";
-    self_->Output(out, true);
-    out << ",\"";
-    for (CYArgument *argument(arguments_); argument != NULL; argument = argument->next_)
-        if (argument->name_ != NULL) {
-            out << *argument->name_;
-            if (argument->value_ != NULL)
+    out << "$cyn=new Selector(\"";
+    for (CYMessageParameter *parameter(parameter_); parameter != NULL; parameter = parameter->next_)
+        if (parameter->tag_ != NULL) {
+            out << *parameter->tag_;
+            if (parameter->name_ != NULL)
                 out << ':';
         }
-    out << "\"";
-    if (arguments_ != NULL)
-        arguments_->Output(out, true);
-    out << ')';
+    out << "\");";
+    out << "$cyt=$cyn.type($cys," << (instance_ ? "true" : "false") << ");";
+    out << "class_addMethod($cy" << (instance_ ? 'c' : 'm') << ",$cyn,";
+    out << "new Functor(function(";
+    bool comma(false);
+    for (CYMessageParameter *parameter(parameter_); parameter != NULL; parameter = parameter->next_)
+        if (parameter->name_ != NULL) {
+            if (comma)
+                out << ',';
+            else
+                comma = true;
+            out << *parameter->name_;
+        }
+    out << "){";
+    if (body_ != NULL)
+        body_->Show(out);
+    out << "},$cyt),$cyt);";
 }
 
-void CYNew::Output(std::ostream &out) const {
-    out << "new " << *constructor_ << '(';
+void CYNew::Output(std::ostream &out, CYFlags flags) const {
+    out << "new";
+    constructor_->Output(out, Precedence(), CYCenter(flags) | CYNoLeader);
+    out << '(';
     if (arguments_ != NULL)
-        arguments_->Output(out, false);
+        arguments_->Output(out);
     out << ')';
 }
 
-void CYNull::Output(std::ostream &out) const {
+void CYNull::Output(std::ostream &out, CYFlags flags) const {
+    if ((flags & CYNoLeader) != 0)
+        out << ' ';
     CYWord::Output(out);
+    if ((flags & CYNoTrailer) != 0)
+        out << ' ';
 }
 
-void CYNumber::Output(std::ostream &out) const {
+void CYNumber::Output(std::ostream &out, CYFlags flags) const {
+    if ((flags & CYNoLeader) != 0)
+        out << ' ';
     // XXX: this is not a useful formatting
     out << Value();
+    if ((flags & CYNoTrailer) != 0)
+        out << ' ';
 }
 
-void CYParameter::Output(std::ostream &out) const {
-    out << *name_;
-    if (next_ != NULL) {
-        out << ',';
-        out << *next_;
-    }
+void CYObject::Output(std::ostream &out, CYFlags flags) const {
+    bool protect((flags & CYNoBrace) != 0);
+    if (protect)
+        out << '(';
+    out << '{';
+    if (property_ != NULL)
+        property_->Output(out);
+    out << '}';
+    if (protect)
+        out << ')';
 }
 
-void CYPostfix::Output(std::ostream &out) const {
-    out << *lhs_ << Operator();
+void CYPostfix::Output(std::ostream &out, CYFlags flags) const {
+    lhs_->Output(out, Precedence(), CYLeft(flags));
+    out << Operator();
 }
 
-void CYPrefix::Output(std::ostream &out) const {
-    out << Operator() << *rhs_;
+void CYPrefix::Output(std::ostream &out, CYFlags flags) const {
+    bool alphabetic(Alphabetic());
+    out << Operator();
+    CYFlags right(CYRight(flags));
+    if (alphabetic)
+        right |= CYNoLeader;
+    rhs_->Output(out, Precedence(), right);
 }
 
-void CYProperty::Output(std::ostream &out, bool raw) const {
-    if (!raw)
-        out << '{';
-    out << *name_ << ':' << *value_;
+void CYProperty::Output(std::ostream &out) const {
+    out << *name_ << ':';
+    value_->Output(out, CYPA, CYNoFlags);
     if (next_ != NULL) {
         out << ',';
-        next_->Output(out, true);
+        next_->Output(out);
     }
-    if (!raw)
-        out << '}';
-}
-
-void CYProperty::Output(std::ostream &out) const {
-    Output(out, false);
 }
 
 void CYReturn::Output(std::ostream &out) const {
     out << "return";
     if (value_ != NULL)
-        out << ' ' << *value_;
+        value_->Output(out, CYNoLeader);
     out << ';';
 }
 
-void CYSource::Part(std::ostream &out) const {
+void CYSelector::Output(std::ostream &out, CYFlags flags) const {
+    out << "new Selector(\"";
+    if (name_ != NULL)
+        name_->Output(out);
+    out << "\")";
+}
+
+void CYSelectorPart::Output(std::ostream &out) const {
+    if (name_ != NULL)
+        out << *name_;
+    if (value_)
+        out << ':';
+    if (next_ != NULL)
+        next_->Output(out);
+}
+
+void CYSend::Output(std::ostream &out, CYFlags flags) const {
+    out << "objc_msgSend(";
+    self_->Output(out, CYPA, CYNoFlags);
+    out << ",\"";
+    for (CYArgument *argument(arguments_); argument != NULL; argument = argument->next_)
+        if (argument->name_ != NULL) {
+            out << *argument->name_;
+            if (argument->value_ != NULL)
+                out << ':';
+        }
+    out << "\"";
+    for (CYArgument *argument(arguments_); argument != NULL; argument = argument->next_)
+        if (argument->value_ != NULL) {
+            out << ",";
+            argument->value_->Output(out, CYPA, CYNoFlags);
+        }
+    out << ')';
+}
+
+void CYSource::Show(std::ostream &out) const {
     for (const CYSource *next(this); next != NULL; next = next->next_)
         next->Output(out);
 }
@@ -298,12 +492,12 @@ void CYSource::Output(std::ostream &out, bool block) const {
         Output(out);
     else {
         out << '{';
-        Part(out);
+        Show(out);
         out << '}';
     }
 }
 
-void CYString::Output(std::ostream &out) const {
+void CYString::Output(std::ostream &out, CYFlags flags) const {
     out << '\"';
     for (const char *value(value_), *end(value_ + size_); value != end; ++value)
         switch (*value) {
@@ -326,20 +520,26 @@ void CYString::Output(std::ostream &out) const {
 }
 
 void CYSwitch::Output(std::ostream &out) const {
-    out << "switch" << *value_ << '{';
+    out << "switch(";
+    value_->Output(out, CYNoFlags);
+    out << "){";
     if (clauses_ != NULL)
         out << *clauses_;
     out << '}';
 }
 
-void CYThis::Output(std::ostream &out) const {
+void CYThis::Output(std::ostream &out, CYFlags flags) const {
+    if ((flags & CYNoLeader) != 0)
+        out << ' ';
     CYWord::Output(out);
+    if ((flags & CYNoTrailer) != 0)
+        out << ' ';
 }
 
 void CYThrow::Output(std::ostream &out) const {
-    out << "return";
+    out << "throw";
     if (value_ != NULL)
-        out << ' ' << *value_;
+        value_->Output(out, CYNoLeader);
     out << ';';
 }
 
@@ -354,17 +554,26 @@ void CYTry::Output(std::ostream &out) const {
     }
 }
 
-void CYVariable::Output(std::ostream &out) const {
+void CYVariable::Output(std::ostream &out, CYFlags flags) const {
+    bool protect((flags & CYNoLeader) != 0);
+    if (protect)
+        out << '(';
     out << *name_;
+    if (protect)
+        out << ')';
 }
 
 void CYWhile::Output(std::ostream &out) const {
-    out << "while" << *test_;
+    out << "while(";
+    test_->Output(out, CYNoFlags);
+    out << ')';
     code_->Output(out, false);
 }
 
 void CYWith::Output(std::ostream &out) const {
-    out << "with" << *scope_;
+    out << "with(";
+    scope_->Output(out, CYNoFlags);
+    out << ')';
     code_->Output(out, false);
 }