-/* Cycript - Optimizing JavaScript Compiler/Runtime
- * Copyright (C) 2009-2012 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
-#include "Parser.hpp"
+#include "../Syntax.hpp"
-struct CYTypeModifier :
- CYNext<CYTypeModifier>
+struct CYInstanceLiteral :
+ CYTarget
{
- CYTypeModifier(CYTypeModifier *next) :
- CYNext<CYTypeModifier>(next)
- {
- }
-
- virtual CYExpression *Replace(CYContext &context) = 0;
-};
-
-struct CYTypeArrayOf :
- CYTypeModifier
-{
- size_t size_;
-
- CYTypeArrayOf(size_t size, CYTypeModifier *next = NULL) :
- CYTypeModifier(next),
- size_(size)
- {
- }
+ CYNumber *number_;
- CYPrecedence(2)
-
- virtual CYExpression *Replace(CYContext &context);
-};
-
-struct CYTypeConstant :
- CYTypeModifier
-{
- CYTypeConstant(CYTypeModifier *next = NULL) :
- CYTypeModifier(next)
+ CYInstanceLiteral(CYNumber *number) :
+ number_(number)
{
}
- CYPrecedence(3)
+ CYPrecedence(1)
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYTypePointerTo :
- CYTypeModifier
+struct CYObjCBlock :
+ CYTarget
{
- CYTypePointerTo(CYTypeModifier *next = NULL) :
- CYTypeModifier(next)
+ CYType *typed_;
+ CYTypedParameter *parameters_;
+ CYStatement *code_;
+
+ CYObjCBlock(CYType *typed, CYTypedParameter *parameters, CYStatement *code) :
+ typed_(typed),
+ parameters_(parameters),
+ code_(code)
{
}
- CYPrecedence(3)
+ CYPrecedence(1)
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYTypeVariable :
- CYTypeModifier
+struct CYBox :
+ CYTarget
{
- CYExpression *expression_;
+ CYExpression *value_;
- CYTypeVariable(CYExpression *expression) :
- CYTypeModifier(NULL),
- expression_(expression)
+ CYBox(CYExpression *value) :
+ value_(value)
{
}
CYPrecedence(1)
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYTypedIdentifier :
- CYNext<CYTypedIdentifier>
+struct CYObjCArray :
+ CYTarget
{
- CYIdentifier *identifier_;
- CYTypeModifier *type_;
+ CYElement *elements_;
- CYTypedIdentifier(CYIdentifier *identifier) :
- identifier_(identifier),
- type_(NULL)
+ CYObjCArray(CYElement *elements = NULL) :
+ elements_(elements)
{
}
+
+ CYPrecedence(0)
+
+ virtual CYTarget *Replace(CYContext &context);
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYEncodedType :
- CYExpression
+struct CYObjCKeyValue :
+ CYNext<CYObjCKeyValue>
{
- CYTypeModifier *type_;
+ CYExpression *key_;
+ CYExpression *value_;
- CYEncodedType(CYTypeModifier *type) :
- type_(type)
+ CYObjCKeyValue(CYExpression *key, CYExpression *value, CYObjCKeyValue *next) :
+ CYNext<CYObjCKeyValue>(next),
+ key_(key),
+ value_(value)
{
}
-
- CYPrecedence(1)
-
- virtual CYExpression *Replace(CYContext &context);
- virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYBox :
- CYExpression
+struct CYObjCDictionary :
+ CYTarget
{
- CYExpression *value_;
+ CYObjCKeyValue *pairs_;
- CYBox(CYExpression *value) :
- value_(value)
+ CYObjCDictionary(CYObjCKeyValue *pairs) :
+ pairs_(pairs)
{
}
- CYPrecedence(1)
+ CYPrecedence(0)
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYSelector :
CYLiteral
{
- CYSelectorPart *name_;
+ CYSelectorPart *parts_;
- CYSelector(CYSelectorPart *name) :
- name_(name)
+ CYSelector(CYSelectorPart *parts) :
+ parts_(parts)
{
}
CYPrecedence(1)
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
virtual void Output(CYOutput &out, CYFlags flags) const;
};
-struct CYField :
- CYNext<CYField>
+struct CYImplementationField :
+ CYNext<CYImplementationField>
{
- CYExpression *type_;
- CYIdentifier *name_;
+ CYType *type_;
+ CYPropertyName *name_;
- CYField(CYExpression *type, CYIdentifier *name, CYField *next = NULL) :
- CYNext<CYField>(next),
+ CYImplementationField(CYType *type, CYPropertyName *name, CYImplementationField *next = NULL) :
+ CYNext<CYImplementationField>(next),
type_(type),
name_(name)
{
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),
- name_(name)
+ identifier_(identifier)
{
}
CYNext<CYMessage>
{
bool instance_;
- CYExpression *type_;
+ CYType *type_;
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),
- parameters_(parameter),
- code_(statements)
+ parameters_(parameters),
+ code_(code)
{
}
CYStatement *Replace(CYContext &context, bool replace) const;
- void Output(CYOutput &out, bool replace) const;
+ void Output(CYOutput &out) const;
CYExpression *TypeSignature(CYContext &context) const;
};
void Output(CYOutput &out) const;
};
-struct CYImport :
+struct CYImplementation :
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_;
- CYField *fields_;
+ CYImplementationField *fields_;
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),
- super_(super),
+ extends_(extends),
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;
struct CYCategory :
CYStatement
{
- CYClassName *name_;
+ CYIdentifier *name_;
CYMessage *messages_;
- CYCategory(CYClassName *name, CYMessage *messages) :
+ CYCategory(CYIdentifier *name, CYMessage *messages) :
name_(name),
messages_(messages)
{
}
+ CYCompact(None)
+
virtual CYStatement *Replace(CYContext &context);
virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYSend :
- CYExpression
+ CYTarget
{
CYArgument *arguments_;
{
}
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
virtual void Output(CYOutput &out, CYFlags flags) const;
};
{
}
- virtual CYExpression *Replace(CYContext &context);
+ virtual CYTarget *Replace(CYContext &context);
virtual void Output(CYOutput &out, CYFlags flags) const;
};