+/* Cycript - Remove Execution Server and Disassembler
+ * Copyright (C) 2009 Jay Freeman (saurik)
+*/
+
+/* Modified BSD License {{{ */
+/*
+ * Redistribution and use in source and binary
+ * forms, with or without modification, are permitted
+ * provided that the following conditions are met:
+ *
+ * 1. Redistributions of source code must retain the
+ * above copyright notice, this list of conditions
+ * and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the
+ * above copyright notice, this list of conditions
+ * and the following disclaimer in the documentation
+ * and/or other materials provided with the
+ * distribution.
+ * 3. The name of the author may not be used to endorse
+ * or promote products derived from this software
+ * without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS''
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING,
+ * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
+ * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+ * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+ * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
+ * TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
+ * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+*/
+/* }}} */
+
#ifndef CYPARSER_HPP
#define CYPARSER_HPP
};
struct CYThing {
- virtual void Output(std::ostream &out) const = 0;
+ virtual void Output(struct CYOutput &out) const = 0;
};
-_finline std::ostream &operator <<(std::ostream &out, const CYThing &rhs) {
- rhs.Output(out);
- return out;
-}
+struct CYOutput {
+ std::ostream &out_;
+
+ CYOutput(std::ostream &out) :
+ out_(out)
+ {
+ }
+
+ _finline CYOutput &operator <<(char rhs) {
+ out_ << rhs;
+ return *this;
+ }
+
+ _finline CYOutput &operator <<(const char *rhs) {
+ out_ << rhs;
+ return *this;
+ }
+
+ _finline CYOutput &operator <<(const CYThing &rhs) {
+ rhs.Output(*this);
+ return *this;
+ }
+};
struct CYSource :
CYNext<CYSource>
{
- virtual void Show(std::ostream &out) const;
- virtual void Output(std::ostream &out) const = 0;
- virtual void Output(std::ostream &out, bool block) const;
+ virtual bool IsBlock() const {
+ return next_ != NULL;
+ }
+
+ virtual void Show(CYOutput &out) const;
+ virtual void Output(CYOutput &out) const = 0;
+ virtual void Output(CYOutput &out, bool block) const;
+ virtual void Output_(CYOutput &out) const;
};
-struct CYName :
- CYThing
-{
- virtual const char *Name() const = 0;
+struct CYPropertyName {
+ virtual void PropertyName(CYOutput &out) const = 0;
+};
+
+struct CYClassName {
+ virtual void ClassName(CYOutput &out, bool object) const = 0;
};
struct CYWord :
- CYName
+ CYThing,
+ CYPropertyName,
+ CYClassName
{
const char *word_;
return word_;
}
- virtual const char *Name() const {
- return Value();
- }
+ virtual void Output(CYOutput &out) const;
- virtual void Output(std::ostream &out) const;
+ virtual void ClassName(CYOutput &out, bool object) const;
+ virtual void PropertyName(CYOutput &out) const;
};
+_finline std::ostream &operator <<(std::ostream &lhs, const CYWord &rhs) {
+ return lhs << rhs.Value();
+}
+
struct CYIdentifier :
CYWord
{
struct CYLabel :
CYNext<CYLabel>
{
- CYIdentifier *identifier_;
+ CYIdentifier *name_;
- CYLabel(CYIdentifier *identifier, CYLabel *next) :
+ CYLabel(CYIdentifier *name, CYLabel *next) :
CYNext<CYLabel>(next),
- identifier_(identifier)
+ name_(name)
{
}
};
struct CYStatement :
CYSource
{
- CYLabel *label_;
+ CYLabel *labels_;
+
+ CYStatement() :
+ labels_(NULL)
+ {
+ }
void AddLabel(CYIdentifier *identifier) {
- label_ = new CYLabel(identifier, label_);
+ labels_ = new CYLabel(identifier, labels_);
+ }
+
+ virtual void Output_(CYOutput &out) const;
+};
+
+struct CYBlock :
+ CYStatement
+{
+ CYStatement *statements_;
+
+ CYBlock(CYStatement *statements) :
+ statements_(statements)
+ {
}
+
+ virtual bool IsBlock() const {
+ return true;
+ }
+
+ virtual void Output(CYOutput &out) const;
};
enum CYState {
const char *data_;
size_t size_;
+ FILE *file_;
+
+ enum Condition {
+ RegExStart,
+ RegExRest
+ };
std::string filename_;
public:
CYDriver(const std::string &filename);
~CYDriver();
-};
-struct CYPart {
- virtual void Part(std::ostream &out) const = 0;
-};
-
-struct CYForInitialiser :
- CYPart
-{
-};
-
-struct CYForInInitialiser :
- CYPart
-{
+ void SetCondition(Condition condition);
};
enum CYFlags {
CYNoLeader = (1 << 2),
CYNoTrailer = (1 << 3),
CYNoIn = (1 << 4),
+ CYNoHyphen = (1 << 5),
+ CYNoBF = (CYNoBrace | CYNoFunction),
+};
+
+struct CYForInitialiser {
+ virtual void For(CYOutput &out) const = 0;
+};
+
+struct CYForInInitialiser {
+ virtual void ForIn(CYOutput &out, CYFlags flags) const = 0;
+ virtual const char *ForEachIn() const = 0;
+ virtual void ForEachIn(CYOutput &out) const = 0;
};
struct CYExpression :
CYNext<CYExpression>,
CYForInitialiser,
- CYForInInitialiser
+ CYForInInitialiser,
+ CYClassName
{
virtual unsigned Precedence() const = 0;
- virtual void Part(std::ostream &out) const;
- virtual void Output(std::ostream &out, CYFlags flags) const = 0;
- void Output(std::ostream &out, unsigned precedence, CYFlags flags) const;
+
+ virtual void For(CYOutput &out) const;
+ virtual void ForIn(CYOutput &out, CYFlags flags) const;
+
+ virtual const char *ForEachIn() const;
+ virtual void ForEachIn(CYOutput &out) const;
+
+ virtual void Output(CYOutput &out, CYFlags flags) const = 0;
+ void Output(CYOutput &out, unsigned precedence, CYFlags flags) const;
+
+ virtual void ClassName(CYOutput &out, bool object) const;
virtual const char *Word() const {
return NULL;
CYPrecedence(17)
- void Output(std::ostream &out, CYFlags flags) const;
+ void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYComprehension :
+ CYNext<CYComprehension>
+{
+ void Output(CYOutput &out) const;
+ virtual const char *Name() const = 0;
+
+ virtual void Begin_(CYOutput &out) const = 0;
+
+ virtual void End_(CYOutput &out) const {
+ }
+};
+
+struct CYForInComprehension :
+ CYComprehension
+{
+ CYIdentifier *name_;
+ CYExpression *set_;
+
+ CYForInComprehension(CYIdentifier *name, CYExpression *set) :
+ name_(name),
+ set_(set)
+ {
+ }
+
+ virtual const char *Name() const {
+ return name_->Value();
+ }
+
+ virtual void Begin_(CYOutput &out) const;
+};
+
+struct CYForEachInComprehension :
+ CYComprehension
+{
+ CYIdentifier *name_;
+ CYExpression *set_;
+
+ CYForEachInComprehension(CYIdentifier *name, CYExpression *set) :
+ name_(name),
+ set_(set)
+ {
+ }
+
+ virtual const char *Name() const {
+ return name_->Value();
+ }
+
+ virtual void Begin_(CYOutput &out) const;
+ virtual void End_(CYOutput &out) const;
+};
+
+struct CYIfComprehension :
+ CYComprehension
+{
+ CYExpression *test_;
+
+ CYIfComprehension(CYExpression *test) :
+ test_(test)
+ {
+ }
+
+ virtual const char *Name() const {
+ return NULL;
+ }
+
+ virtual void Begin_(CYOutput &out) const;
+};
+
+struct CYArrayComprehension :
+ CYExpression
+{
+ CYExpression *expression_;
+ CYComprehension *comprehensions_;
+
+ CYArrayComprehension(CYExpression *expression, CYComprehension *comprehensions) :
+ expression_(expression),
+ comprehensions_(comprehensions)
+ {
+ }
+
+ CYPrecedence(0)
+
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYLiteral :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYSelector :
CYPrecedence(1)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYRange {
}
};
+extern CYRange DigitRange_;
extern CYRange WordStartRange_;
extern CYRange WordEndRange_;
struct CYString :
CYLiteral,
- CYName
+ CYPropertyName
{
const char *value_;
size_t size_;
return value_;
}
- virtual const char *Name() const {
- return Value();
- }
-
virtual const char *Word() const {
if (size_ == 0 || !WordStartRange_[value_[0]])
return NULL;
return Value();
}
- virtual void Output(std::ostream &out) const {
+ virtual void Output(CYOutput &out) const {
return Output(out, CYNoFlags);
}
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
+ virtual void PropertyName(CYOutput &out) const;
};
struct CYNumber :
CYLiteral,
- CYName
+ CYPropertyName
{
double value_;
return value_;
}
- virtual const char *Name() const {
- throw;
+ virtual void Output(CYOutput &out) const {
+ return Output(out, CYNoFlags);
}
- virtual void Output(std::ostream &out) const {
- return Output(out, CYNoFlags);
+ virtual void Output(CYOutput &out, CYFlags flags) const;
+ virtual void PropertyName(CYOutput &out) const;
+};
+
+struct CYRegEx :
+ CYLiteral
+{
+ const char *value_;
+
+ CYRegEx(const char *value) :
+ value_(value)
+ {
}
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ const char *Value() const {
+ return value_;
+ }
+
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYNull :
{
}
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYThis :
{
}
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYBoolean :
CYLiteral
{
virtual bool Value() const = 0;
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYFalse :
CYPrecedence(0)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYPrefix :
virtual bool Alphabetic() const = 0;
virtual const char *Operator() const = 0;
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYInfix :
{
}
+ void SetLeft(CYExpression *lhs) {
+ lhs_ = lhs;
+ }
+
virtual bool Alphabetic() const = 0;
virtual const char *Operator() const = 0;
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYPostfix :
virtual const char *Operator() const = 0;
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYAssignment :
{
}
+ void SetLeft(CYExpression *lhs) {
+ lhs_ = lhs;
+ }
+
virtual const char *Operator() const = 0;
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYArgument :
{
}
- void Output(std::ostream &out) const;
+ void Output(CYOutput &out) const;
};
struct CYBlank :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYElement :
{
}
- void Output(std::ostream &out) const;
+ void Output(CYOutput &out) const;
};
struct CYArray :
{
}
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYDeclaration :
- CYThing,
CYForInInitialiser
{
CYIdentifier *identifier_;
{
}
- virtual void Part(std::ostream &out) const;
- virtual void Output(std::ostream &out) const;
+ virtual void ForIn(CYOutput &out, CYFlags flags) const;
+
+ virtual const char *ForEachIn() const;
+ virtual void ForEachIn(CYOutput &out) const;
+
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYDeclarations :
- CYStatement,
+ CYNext<CYDeclarations>,
CYForInitialiser
{
CYDeclaration *declaration_;
- CYDeclarations *next_;
CYDeclarations(CYDeclaration *declaration, CYDeclarations *next) :
- declaration_(declaration),
- next_(next)
+ CYNext<CYDeclarations>(next),
+ declaration_(declaration)
+ {
+ }
+
+ virtual void For(CYOutput &out) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYVar :
+ CYStatement
+{
+ CYDeclarations *declarations_;
+
+ CYVar(CYDeclarations *declarations) :
+ declarations_(declarations)
+ {
+ }
+
+ virtual void Output(CYOutput &out) const;
+};
+
+struct CYLet :
+ CYStatement
+{
+ CYDeclarations *declarations_;
+ CYStatement *statements_;
+
+ CYLet(CYDeclarations *declarations, CYStatement *statements) :
+ declarations_(declarations),
+ statements_(statements)
{
}
- virtual void Part(std::ostream &out) const;
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYField :
CYNext<CYField>
{
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYMessageParameter :
};
struct CYMessage :
- CYSource
+ CYNext<CYMessage>
{
bool instance_;
CYExpression *type_;
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out, bool replace) const;
};
struct CYClass :
- CYSource
+ CYExpression,
+ CYStatement
{
- CYIdentifier *name_;
+ CYClassName *name_;
CYExpression *super_;
CYField *fields_;
CYMessage *messages_;
- CYClass(CYIdentifier *name, CYExpression *super, CYField *fields, CYMessage *messages) :
+ CYClass(CYClassName *name, CYExpression *super, CYField *fields, CYMessage *messages) :
name_(name),
super_(super),
fields_(fields),
{
}
- virtual void Output(std::ostream &out) const;
+ CYPrecedence(0)
+
+ virtual void Output(CYOutput &out) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYCategory :
+ CYStatement
+{
+ CYClassName *name_;
+ CYMessage *messages_;
+
+ CYCategory(CYClassName *name, CYMessage *messages) :
+ name_(name),
+ messages_(messages)
+ {
+ }
+
+ virtual void Output(CYOutput &out) const;
};
struct CYFunctionParameter :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYFor :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYForIn :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
+};
+
+struct CYForEachIn :
+ CYStatement
+{
+ CYForInInitialiser *initialiser_;
+ CYExpression *set_;
+ CYStatement *code_;
+
+ CYForEachIn(CYForInInitialiser *initialiser, CYExpression *set, CYStatement *code) :
+ initialiser_(initialiser),
+ set_(set),
+ code_(code)
+ {
+ }
+
+ virtual void Output(CYOutput &out) const;
};
struct CYProperty :
CYNext<CYProperty>
{
- CYName *name_;
+ CYPropertyName *name_;
CYExpression *value_;
- CYProperty(CYName *name, CYExpression *value, CYProperty *next) :
+ CYProperty(CYPropertyName *name, CYExpression *value, CYProperty *next) :
CYNext<CYProperty>(next),
name_(name),
value_(value)
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYObject :
{
}
- void Output(std::ostream &out, CYFlags flags) const;
+ void Output(CYOutput &out, CYFlags flags) const;
};
struct CYCatch :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYSend :
CYPrecedence(0)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYMember :
{
}
+ void SetLeft(CYExpression *object) {
+ object_ = object;
+ }
+};
+
+struct CYDirectMember :
+ CYMember
+{
+ CYDirectMember(CYExpression *object, CYExpression *property) :
+ CYMember(object, property)
+ {
+ }
+
+ CYPrecedence(1)
+
+ virtual void Output(CYOutput &out, CYFlags flags) const;
+};
+
+struct CYIndirectMember :
+ CYMember
+{
+ CYIndirectMember(CYExpression *object, CYExpression *property) :
+ CYMember(object, property)
+ {
+ }
+
CYPrecedence(1)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYNew :
CYPrecedence(1)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYCall :
CYPrecedence(2)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYIf :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYDoWhile :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYWhile :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYLambda :
CYPrecedence(0)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYFunction :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYExpress :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYContinue :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYBreak :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYReturn :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYEmpty :
CYStatement
{
- virtual void Output(std::ostream &out) const;
- virtual void Output(std::ostream &out, bool block) const;
+ virtual void Output(CYOutput &out) const;
+ virtual void Output(CYOutput &out, bool block) const;
};
struct CYTry :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYThrow :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYWith :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYSwitch :
{
}
- virtual void Output(std::ostream &out) const;
+ virtual void Output(CYOutput &out) const;
};
struct CYCondition :
CYPrecedence(15)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYAddressOf :
CYAlphabetic(false)
CYPrecedence(2)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
struct CYIndirect :
CYAlphabetic(false)
CYPrecedence(1)
- virtual void Output(std::ostream &out, CYFlags flags) const;
+ virtual void Output(CYOutput &out, CYFlags flags) const;
};
#define CYPostfix_(op, name) \
projects / cycript.git / blobdiff