Maintain a logical setup for const on sig::String.

[cycript.git] / ObjectiveC / Syntax.hpp

diff --git a/ObjectiveC/Syntax.hpp b/ObjectiveC/Syntax.hpp
index a5e826de70c899a1843dca6f775fac7f3ff423dc..d185f0db492146f03b874b4e5176e88d9035a5b0 100644 (file)
--- a/ObjectiveC/Syntax.hpp
+++ b/ObjectiveC/Syntax.hpp
@@ -1,28 +1,126 @@
-/* Cycript - Optimizing JavaScript Compiler/Runtime
- * Copyright (C) 2009-2010  Jay Freeman (saurik)
+/* Cycript - The Truly Universal Scripting Language
+ * Copyright (C) 2009-2016  Jay Freeman (saurik)

 */
 
 */
 

-/* GNU Lesser 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 Lesser 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 MERCHANTABILITY or
- * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
- * License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public License
- * along with Cycript.  If not, see <http://www.gnu.org/licenses/>.
+ * 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 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 <http://www.gnu.org/licenses/>.

 **/
 /* }}} */
 
 #ifndef CYCRIPT_OBJECTIVEC_SYNTAX_HPP
 #define CYCRIPT_OBJECTIVEC_SYNTAX_HPP
 
 **/
 /* }}} */
 
 #ifndef CYCRIPT_OBJECTIVEC_SYNTAX_HPP
 #define CYCRIPT_OBJECTIVEC_SYNTAX_HPP
 

-#include "Parser.hpp"
+#include "../Syntax.hpp"
+
+struct CYInstanceLiteral :
+    CYTarget
+{
+    CYNumber *number_;
+
+    CYInstanceLiteral(CYNumber *number) :
+        number_(number)
+    {
+    }
+
+    CYPrecedence(1)
+
+    virtual CYTarget *Replace(CYContext &context);
+    virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYObjCBlock :
+    CYTarget
+{
+    CYType *typed_;
+    CYTypedParameter *parameters_;
+    CYStatement *code_;
+
+    CYObjCBlock(CYType *typed, CYTypedParameter *parameters, CYStatement *code) :
+        typed_(typed),
+        parameters_(parameters),
+        code_(code)
+    {
+    }
+
+    CYPrecedence(1)
+
+    virtual CYTarget *Replace(CYContext &context);
+    virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYBox :
+    CYTarget
+{
+    CYExpression *value_;
+
+    CYBox(CYExpression *value) :
+        value_(value)
+    {
+    }
+
+    CYPrecedence(1)
+
+    virtual CYTarget *Replace(CYContext &context);
+    virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYObjCArray :
+    CYTarget
+{
+    CYElement *elements_;
+
+    CYObjCArray(CYElement *elements = NULL) :
+        elements_(elements)
+    {
+    }
+
+    CYPrecedence(0)
+
+    virtual CYTarget *Replace(CYContext &context);
+    virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYObjCKeyValue :
+    CYNext<CYObjCKeyValue>
+{
+    CYExpression *key_;
+    CYExpression *value_;
+
+    CYObjCKeyValue(CYExpression *key, CYExpression *value, CYObjCKeyValue *next) :
+        CYNext<CYObjCKeyValue>(next),
+        key_(key),
+        value_(value)
+    {
+    }
+};
+
+struct CYObjCDictionary :
+    CYTarget
+{
+    CYObjCKeyValue *pairs_;
+
+    CYObjCDictionary(CYObjCKeyValue *pairs) :
+        pairs_(pairs)
+    {
+    }
+
+    CYPrecedence(0)
+
+    virtual CYTarget *Replace(CYContext &context);
+    virtual void Output(CYOutput &out, CYFlags flags) const;
+};

 
 struct CYSelectorPart :
     CYNext<CYSelectorPart>,
 
 struct CYSelectorPart :
     CYNext<CYSelectorPart>,


@@ -45,22 +143,32 @@ struct CYSelectorPart :
 struct CYSelector :
     CYLiteral
 {
 struct CYSelector :
     CYLiteral
 {

-    CYSelectorPart *name_;
+    CYSelectorPart *parts_;

 
 

-    CYSelector(CYSelectorPart *name) :
-        name_(name)
+    CYSelector(CYSelectorPart *parts) :
+        parts_(parts)

     {
     }
 
     CYPrecedence(1)
 
     {
     }
 
     CYPrecedence(1)
 

-    virtual CYExpression *Replace(CYContext &context);
+    virtual CYTarget *Replace(CYContext &context);

     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 

-struct CYField :
-    CYNext<CYField>
+struct CYImplementationField :
+    CYNext<CYImplementationField>

 {
 {

+    CYType *type_;
+    CYPropertyName *name_;
+
+    CYImplementationField(CYType *type, CYPropertyName *name, CYImplementationField *next = NULL) :
+        CYNext<CYImplementationField>(next),
+        type_(type),
+        name_(name)
+    {
+    }
+

     CYStatement *Replace(CYContext &context) const;
     void Output(CYOutput &out) const;
 };
     CYStatement *Replace(CYContext &context) const;
     void Output(CYOutput &out) const;
 };


@@ -68,40 +176,44 @@ struct CYField :
 struct CYMessageParameter :
     CYNext<CYMessageParameter>
 {
 struct CYMessageParameter :
     CYNext<CYMessageParameter>
 {

-    CYWord *tag_;
-    CYExpression *type_;
-    CYIdentifier *name_;
+    CYWord *name_;
+    CYType *type_;
+    CYIdentifier *identifier_;

 
 

-    CYMessageParameter(CYWord *tag, CYExpression *type, CYIdentifier *name) :
-        tag_(tag),
+    CYMessageParameter(CYWord *name, CYType *type = NULL, CYIdentifier *identifier = NULL, CYMessageParameter *next = NULL) :
+        CYNext<CYMessageParameter>(next),
+        name_(name),

         type_(type),
         type_(type),

-        name_(name)
+        identifier_(identifier)

     {
     }
 
     CYFunctionParameter *Parameters(CYContext &context) const;
     CYSelector *Selector(CYContext &context) const;
     CYSelectorPart *SelectorPart(CYContext &context) const;
     {
     }
 
     CYFunctionParameter *Parameters(CYContext &context) const;
     CYSelector *Selector(CYContext &context) const;
     CYSelectorPart *SelectorPart(CYContext &context) const;

+    CYExpression *TypeSignature(CYContext &context) const;

 };
 
 struct CYMessage :
     CYNext<CYMessage>
 {
     bool instance_;
 };
 
 struct CYMessage :
     CYNext<CYMessage>
 {
     bool instance_;

-    CYExpression *type_;
+    CYType *type_;

     CYMessageParameter *parameters_;
     CYBlock code_;
 
     CYMessageParameter *parameters_;
     CYBlock code_;
 

-    CYMessage(bool instance, CYExpression *type, CYMessageParameter *parameter, CYStatement *statements) :
+    CYMessage(bool instance, CYType *type, CYMessageParameter *parameters, CYStatement *code) :

         instance_(instance),
         type_(type),
         instance_(instance),
         type_(type),

-        parameters_(parameter),
-        code_(statements)
+        parameters_(parameters),
+        code_(code)

     {
     }
 
     CYStatement *Replace(CYContext &context, bool replace) const;
     {
     }
 
     CYStatement *Replace(CYContext &context, bool replace) const;

-    void Output(CYOutput &out, bool replace) const;
+    void Output(CYOutput &out) const;
+
+    CYExpression *TypeSignature(CYContext &context) const;

 };
 
 struct CYProtocol :
 };
 
 struct CYProtocol :


@@ -120,59 +232,25 @@ struct CYProtocol :
     void Output(CYOutput &out) const;
 };
 
     void Output(CYOutput &out) const;
 };
 

-struct CYImport :
+struct CYImplementation :

     CYStatement
 {
     CYStatement
 {

-    virtual CYStatement *Replace(CYContext &context);
-    virtual void Output(CYOutput &out, CYFlags flags) const;
-};
-
-struct CYClass {
-    CYClassName *name_;
-    CYExpression *super_;
+    CYIdentifier *name_;
+    CYExpression *extends_;

     CYProtocol *protocols_;
     CYProtocol *protocols_;

-    CYField *fields_;
+    CYImplementationField *fields_;

     CYMessage *messages_;
 
     CYMessage *messages_;
 

-    CYClass(CYClassName *name, CYExpression *super, CYProtocol *protocols, CYField *fields, CYMessage *messages) :
+    CYImplementation(CYIdentifier *name, CYExpression *extends, CYProtocol *protocols, CYImplementationField *fields, CYMessage *messages) :

         name_(name),
         name_(name),

-        super_(super),
+        extends_(extends),

         protocols_(protocols),
         fields_(fields),
         messages_(messages)
     {
     }
 
         protocols_(protocols),
         fields_(fields),
         messages_(messages)
     {
     }
 

-    virtual ~CYClass() {
-    }
-
-    CYExpression *Replace_(CYContext &context);
-    virtual void Output(CYOutput &out, CYFlags flags) const;
-};
-
-struct CYClassExpression :
-    CYClass,
-    CYExpression
-{
-    CYClassExpression(CYClassName *name, CYExpression *super, CYProtocol *protocols, CYField *fields, CYMessage *messages) :
-        CYClass(name, super, protocols, fields, messages)
-    {
-    }
-
-    CYPrecedence(0)
-
-    virtual CYExpression *Replace(CYContext &context);
-    virtual void Output(CYOutput &out, CYFlags flags) const;
-};
-
-struct CYClassStatement :
-    CYClass,
-    CYStatement
-{
-    CYClassStatement(CYClassName *name, CYExpression *super, CYProtocol *protocols, CYField *fields, CYMessage *messages) :
-        CYClass(name, super, protocols, fields, messages)
-    {
-    }
+    CYCompact(None)

 
     virtual CYStatement *Replace(CYContext &context);
     virtual void Output(CYOutput &out, CYFlags flags) const;
 
     virtual CYStatement *Replace(CYContext &context);
     virtual void Output(CYOutput &out, CYFlags flags) const;


@@ -181,21 +259,23 @@ struct CYClassStatement :
 struct CYCategory :
     CYStatement
 {
 struct CYCategory :
     CYStatement
 {

-    CYClassName *name_;
+    CYIdentifier *name_;

     CYMessage *messages_;
 
     CYMessage *messages_;
 

-    CYCategory(CYClassName *name, CYMessage *messages) :
+    CYCategory(CYIdentifier *name, CYMessage *messages) :

         name_(name),
         messages_(messages)
     {
     }
 
         name_(name),
         messages_(messages)
     {
     }
 

+    CYCompact(None)
+

     virtual CYStatement *Replace(CYContext &context);
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 
 struct CYSend :
     virtual CYStatement *Replace(CYContext &context);
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 
 struct CYSend :

-    CYExpression
+    CYTarget

 {
     CYArgument *arguments_;
 
 {
     CYArgument *arguments_;
 


@@ -220,7 +300,7 @@ struct CYSendDirect :
     {
     }
 
     {
     }
 

-    virtual CYExpression *Replace(CYContext &context);
+    virtual CYTarget *Replace(CYContext &context);

     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 


@@ -232,7 +312,7 @@ struct CYSendSuper :
     {
     }
 
     {
     }
 

-    virtual CYExpression *Replace(CYContext &context);
+    virtual CYTarget *Replace(CYContext &context);

     virtual void Output(CYOutput &out, CYFlags flags) const;
 };
 
     virtual void Output(CYOutput &out, CYFlags flags) const;
 };