ObjectiveC/Replace.cpp

   1 /* Cycript - Optimizing JavaScript Compiler/Runtime
   2  * Copyright (C) 2009-2015  Jay Freeman (saurik)
   3 */
   4
   5 /* GNU Affero General Public License, Version 3 {{{ */
   6 /*
   7  * This program is free software: you can redistribute it and/or modify
   8  * it under the terms of the GNU Affero General Public License as published by
   9  * the Free Software Foundation, either version 3 of the License, or
  10  * (at your option) any later version.
  11
  12  * This program is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  * GNU Affero General Public License for more details.
  16
  17  * You should have received a copy of the GNU Affero General Public License
  18  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
  19 **/
  20 /* }}} */
  21
  22 #include "Replace.hpp"
  23 #include "ObjectiveC/Syntax.hpp"
  24
  25 #include <sstream>
  26
  27 static CYExpression *MessageType(CYContext &context, CYTypedIdentifier *type, CYMessageParameter *next, CYExpression *extra = NULL) {
  28     CYExpression *left($C0($M(type->Replace(context), $S("toString"))));
  29     if (extra != NULL)
  30         left = $ CYAdd(left, extra);
  31
  32     if (next == NULL || next->type_ == NULL)
  33         return left;
  34
  35     CYExpression *right(next->TypeSignature(context));
  36     if (right == NULL)
  37         return NULL;
  38
  39     return $ CYAdd(left, right);
  40 }
  41
  42 CYStatement *CYCategory::Replace(CYContext &context) {
  43     CYVariable *cyc($V("$cyc")), *cys($V("$cys"));
  44
  45     return $E($C1($F(NULL, $P6($L("$cys"), $L("$cyp"), $L("$cyc"), $L("$cyn"), $L("$cyt"), $L("$cym")), $$->*
  46         $E($ CYAssign($V("$cyp"), $C1($V("object_getClass"), cys)))->*
  47         $E($ CYAssign(cyc, cys))->*
  48         $E($ CYAssign($V("$cym"), $C1($V("object_getClass"), cyc)))->*
  49         messages_->Replace(context, true)
  50     ), name_->ClassName(context, true)));
  51 }
  52
  53 CYExpression *CYClass::Replace_(CYContext &context) {
  54     CYVariable *cyc($V("$cyc")), *cys($V("$cys"));
  55
  56     CYExpression *name(name_ != NULL ? name_->ClassName(context, false) : $C1($V("$cyq"), $S("CY$")));
  57
  58     return $C1($F(NULL, $P6($L("$cys"), $L("$cyp"), $L("$cyc"), $L("$cyn"), $L("$cyt"), $L("$cym")), $$->*
  59         $E($ CYAssign($V("$cyp"), $C1($V("object_getClass"), cys)))->*
  60         $E($ CYAssign(cyc, $C3($V("objc_allocateClassPair"), cys, name, $D(0))))->*
  61         $E($ CYAssign($V("$cym"), $C1($V("object_getClass"), cyc)))->*
  62         protocols_->Replace(context)->*
  63         fields_->Replace(context)->*
  64         messages_->Replace(context, false)->*
  65         $E($C1($V("objc_registerClassPair"), cyc))->*
  66         $ CYReturn(cyc)
  67     ), super_ == NULL ? $ CYNull() : super_);
  68 }
  69
  70 CYExpression *CYClassExpression::Replace(CYContext &context) {
  71     return Replace_(context);
  72 }
  73
  74 CYStatement *CYClassStatement::Replace(CYContext &context) {
  75     return $E(Replace_(context));
  76 }
  77
  78 CYStatement *CYField::Replace(CYContext &context) const { $T(NULL)
  79     CYVariable *cyn($V("$cyn"));
  80     CYVariable *cyt($V("$cyt"));
  81
  82     CYExpression *type($C0($M(typed_->Replace(context), $S("toString"))));
  83
  84     return $ CYBlock($$->*
  85         $E($ CYAssign(cyt, type))->*
  86         $E($ CYAssign(cyn, $N1($V("Type"), cyt)))->*
  87         $E($C5($V("class_addIvar"), $V("$cyc"), $S(typed_->identifier_->Word()), $M(cyn, $S("size")), $M(cyn, $S("alignment")), cyt))->*
  88         next_->Replace(context)
  89     );
  90 }
  91
  92 CYExpression *CYInstanceLiteral::Replace(CYContext &context) {
  93     return $N1($V("Instance"), number_);
  94 }
  95
  96 CYStatement *CYMessage::Replace(CYContext &context, bool replace) const { $T(NULL)
  97     CYVariable *cyn($V("$cyn"));
  98     CYVariable *cyt($V("$cyt"));
  99     CYVariable *self($V("self"));
 100     CYVariable *_class($V(instance_ ? "$cys" : "$cyp"));
 101
 102     return $ CYBlock($$->*
 103         next_->Replace(context, replace)->*
 104         $E($ CYAssign(cyn, parameters_->Selector(context)))->*
 105         $E($ CYAssign(cyt, TypeSignature(context)))->*
 106         $E($C4($V(replace ? "class_replaceMethod" : "class_addMethod"),
 107             $V(instance_ ? "$cyc" : "$cym"),
 108             cyn,
 109             $N2($V("Functor"), $F(NULL, $P2($L("self"), $L("_cmd"), parameters_->Parameters(context)), $$->*
 110                 $ CYVar($L1($L("$cyr", $N2($V("objc_super"), self, _class))))->*
 111                 $ CYReturn($C1($M($F(NULL, NULL, code_), $S("call")), self))
 112             ), cyt),
 113             cyt
 114         ))
 115     );
 116 }
 117
 118 CYExpression *CYMessage::TypeSignature(CYContext &context) const {
 119     return MessageType(context, type_, parameters_, $S("@:"));
 120 }
 121
 122 CYFunctionParameter *CYMessageParameter::Parameters(CYContext &context) const { $T(NULL)
 123     CYFunctionParameter *next(next_->Parameters(context));
 124     return type_ == NULL ? next : $ CYFunctionParameter($ CYDeclaration(type_->identifier_), next);
 125 }
 126
 127 CYSelector *CYMessageParameter::Selector(CYContext &context) const {
 128     return $ CYSelector(SelectorPart(context));
 129 }
 130
 131 CYSelectorPart *CYMessageParameter::SelectorPart(CYContext &context) const { $T(NULL)
 132     CYSelectorPart *next(next_->SelectorPart(context));
 133     return tag_ == NULL ? next : $ CYSelectorPart(tag_, type_ != NULL, next);
 134 }
 135
 136 CYExpression *CYMessageParameter::TypeSignature(CYContext &context) const {
 137     return MessageType(context, type_, next_);
 138 }
 139
 140 CYExpression *CYBox::Replace(CYContext &context) {
 141     return $C1($M($V("Instance"), $S("box")), value_);
 142 }
 143
 144 CYExpression *CYObjCBlock::Replace(CYContext &context) {
 145     return $C1($ CYEncodedType(($ CYTypedIdentifier(*typed_))->Modify($ CYTypeBlockWith(parameters_))), $ CYFunctionExpression(NULL, parameters_->Parameters(context), statements_));
 146 }
 147
 148 CYStatement *CYProtocol::Replace(CYContext &context) const { $T(NULL)
 149     return $ CYBlock($$->*
 150         next_->Replace(context)->*
 151         $E($C2($V("class_addProtocol"),
 152             $V("$cyc"), name_
 153         ))
 154     );
 155 }
 156
 157 CYExpression *CYSelector::Replace(CYContext &context) {
 158     return $C1($V("sel_registerName"), name_->Replace(context));
 159 }
 160
 161 CYString *CYSelectorPart::Replace(CYContext &context) {
 162     std::ostringstream str;
 163     CYForEach (part, this) {
 164         if (part->name_ != NULL)
 165             str << part->name_->Word();
 166         if (part->value_)
 167             str << ':';
 168     }
 169     return $S($pool.strdup(str.str().c_str()));
 170 }
 171
 172 CYExpression *CYSendDirect::Replace(CYContext &context) {
 173     std::ostringstream name;
 174     CYArgument **argument(&arguments_);
 175     CYSelectorPart *selector(NULL), *current(NULL);
 176
 177     while (*argument != NULL) {
 178         if ((*argument)->name_ != NULL) {
 179             CYSelectorPart *part($ CYSelectorPart((*argument)->name_, (*argument)->value_ != NULL));
 180             if (selector == NULL)
 181                 selector = part;
 182             if (current != NULL)
 183                 current->SetNext(part);
 184             current = part;
 185             (*argument)->name_ = NULL;
 186         }
 187
 188         if ((*argument)->value_ == NULL)
 189             *argument = (*argument)->next_;
 190         else
 191             argument = &(*argument)->next_;
 192     }
 193
 194     return $C2($V("objc_msgSend"), self_, selector->Replace(context), arguments_);
 195 }
 196
 197 CYExpression *CYSendSuper::Replace(CYContext &context) {
 198     return $ CYSendDirect($V("$cyr"), arguments_);
 199 }