Verify lexer tokens are always default reductions.

[cycript.git] / ObjectiveC / Syntax.hpp

diff --git a/ObjectiveC/Syntax.hpp b/ObjectiveC/Syntax.hpp
index 5702171318c91d80bcb645e1a001f0ff58705549..aa55a42bc16be489116f41c0abd58f7c58ad6797 100644 (file)
--- a/ObjectiveC/Syntax.hpp
+++ b/ObjectiveC/Syntax.hpp
@@ -1,5 +1,5 @@
 /* Cycript - Optimizing JavaScript Compiler/Runtime
 /* Cycript - Optimizing JavaScript Compiler/Runtime

- * Copyright (C) 2009-2014  Jay Freeman (saurik)
+ * Copyright (C) 2009-2015  Jay Freeman (saurik)

 */
 
 /* GNU Affero General Public License, Version 3 {{{ */
 */
 
 /* GNU Affero General Public License, Version 3 {{{ */


@@ -22,10 +22,10 @@
 #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 :
 
 struct CYInstanceLiteral :

-    CYExpression
+    CYTarget

 {
     CYNumber *number_;
 
 {
     CYNumber *number_;
 


@@ -36,32 +36,32 @@ struct CYInstanceLiteral :
 
     CYPrecedence(1)
 
 
     CYPrecedence(1)
 

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

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

-    CYExpression
+    CYTarget

 {
     CYTypedIdentifier *typed_;
     CYTypedParameter *parameters_;
 {
     CYTypedIdentifier *typed_;
     CYTypedParameter *parameters_;

-    CYStatement *statements_;
+    CYStatement *code_;

 
 

-    CYObjCBlock(CYTypedIdentifier *typed, CYTypedParameter *parameters, CYStatement *statements) :
+    CYObjCBlock(CYTypedIdentifier *typed, CYTypedParameter *parameters, CYStatement *code) :

         typed_(typed),
         parameters_(parameters),
         typed_(typed),
         parameters_(parameters),

-        statements_(statements)
+        code_(code)

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

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

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

-    CYExpression
+    CYTarget

 {
     CYExpression *value_;
 
 {
     CYExpression *value_;
 


@@ -72,7 +72,7 @@ struct CYBox :
 
     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;
 };
 


@@ -106,17 +106,17 @@ struct CYSelector :
 
     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>

 {
     CYTypedIdentifier *typed_;
 
 {
     CYTypedIdentifier *typed_;
 

-    CYField(CYTypedIdentifier *typed, CYField *next = NULL) :
-        CYNext<CYField>(next),
+    CYImplementationField(CYTypedIdentifier *typed, CYImplementationField *next = NULL) :
+        CYNext<CYImplementationField>(next),

         typed_(typed)
     {
     }
         typed_(typed)
     {
     }


@@ -130,12 +130,10 @@ struct CYMessageParameter :
 {
     CYWord *tag_;
     CYTypedIdentifier *type_;
 {
     CYWord *tag_;
     CYTypedIdentifier *type_;

-    CYIdentifier *name_;

 
 

-    CYMessageParameter(CYWord *tag, CYTypedIdentifier *type, CYIdentifier *name) :
+    CYMessageParameter(CYWord *tag, CYTypedIdentifier *type) :

         tag_(tag),
         tag_(tag),

-        type_(type),
-        name_(name)
+        type_(type)

     {
     }
 
     {
     }
 


@@ -153,16 +151,16 @@ struct CYMessage :
     CYMessageParameter *parameters_;
     CYBlock code_;
 
     CYMessageParameter *parameters_;
     CYBlock code_;
 

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

         instance_(instance),
         type_(type),
         parameters_(parameter),
         instance_(instance),
         type_(type),
         parameters_(parameter),

-        code_(statements)
+        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;
 };
 
     CYExpression *TypeSignature(CYContext &context) const;
 };


@@ -183,14 +181,16 @@ struct CYProtocol :
     void Output(CYOutput &out) const;
 };
 
     void Output(CYOutput &out) const;
 };
 

-struct CYClass {
-    CYClassName *name_;
+struct CYImplementation :
+    CYStatement
+{
+    CYIdentifier *name_;

     CYExpression *super_;
     CYProtocol *protocols_;
     CYExpression *super_;
     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 *super, CYProtocol *protocols, CYImplementationField *fields, CYMessage *messages) :

         name_(name),
         super_(super),
         protocols_(protocols),
         name_(name),
         super_(super),
         protocols_(protocols),


@@ -199,36 +199,7 @@ struct CYClass {
     {
     }
 
     {
     }
 

-    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;


@@ -237,21 +208,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_;
 


@@ -276,7 +249,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;
 };
 


@@ -288,7 +261,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;
 };