X-Git-Url: https://git.saurik.com/cycript.git/blobdiff_plain/561e7f1c23ea3804db1625ab806be939b4e9c5d1..447b698cea96010d0850e056348ef6cd085b96d9:/ObjectiveC/Syntax.hpp diff --git a/ObjectiveC/Syntax.hpp b/ObjectiveC/Syntax.hpp index e910154..d185f0d 100644 --- a/ObjectiveC/Syntax.hpp +++ b/ObjectiveC/Syntax.hpp @@ -1,140 +1,124 @@ -/* 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 . + * 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 . **/ /* }}} */ #ifndef CYCRIPT_OBJECTIVEC_SYNTAX_HPP #define CYCRIPT_OBJECTIVEC_SYNTAX_HPP -#include "Parser.hpp" +#include "../Syntax.hpp" -struct CYTypeModifier : - CYNext +struct CYInstanceLiteral : + CYTarget { - CYTypeModifier(CYTypeModifier *next) : - CYNext(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 +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 { - CYTypeModifier *type_; + CYExpression *key_; + CYExpression *value_; - CYEncodedType(CYTypeModifier *type) : - type_(type) + CYObjCKeyValue(CYExpression *key, CYExpression *value, CYObjCKeyValue *next) : + CYNext(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; }; @@ -159,27 +143,27 @@ struct CYSelectorPart : 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 +struct CYImplementationField : + CYNext { - CYExpression *type_; - CYIdentifier *name_; + CYType *type_; + CYPropertyName *name_; - CYField(CYExpression *type, CYIdentifier *name, CYField *next = NULL) : - CYNext(next), + CYImplementationField(CYType *type, CYPropertyName *name, CYImplementationField *next = NULL) : + CYNext(next), type_(type), name_(name) { @@ -192,14 +176,15 @@ struct CYField : struct CYMessageParameter : CYNext { - 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(next), + name_(name), type_(type), - name_(name) + identifier_(identifier) { } @@ -213,20 +198,20 @@ struct CYMessage : CYNext { 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; }; @@ -247,59 +232,25 @@ struct CYProtocol : 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; @@ -308,21 +259,23 @@ struct CYClassStatement : 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_; @@ -347,7 +300,7 @@ struct CYSendDirect : { } - virtual CYExpression *Replace(CYContext &context); + virtual CYTarget *Replace(CYContext &context); virtual void Output(CYOutput &out, CYFlags flags) const; }; @@ -359,7 +312,7 @@ struct CYSendSuper : { } - virtual CYExpression *Replace(CYContext &context); + virtual CYTarget *Replace(CYContext &context); virtual void Output(CYOutput &out, CYFlags flags) const; };