Shinichiro Hamaji | 1d545aa | 2015-06-23 15:29:13 +0900 | [diff] [blame] | 1 | // Copyright 2015 Google Inc. All rights reserved |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 15 | #ifndef STMT_H_ |
| 16 | #define STMT_H_ |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 17 | |
| 18 | #include <string> |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 19 | #include <vector> |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 20 | |
| 21 | #include "loc.h" |
| 22 | #include "string_piece.h" |
Shinichiro Hamaji | 92a4738 | 2016-02-17 17:19:21 +0900 | [diff] [blame] | 23 | #include "symtab.h" |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 24 | |
| 25 | using namespace std; |
| 26 | |
| 27 | class Evaluator; |
Shinichiro Hamaji | f24ed14 | 2015-07-13 20:57:42 -0700 | [diff] [blame] | 28 | class Value; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 29 | |
Sasha Smundak | ae1d58c | 2018-08-22 09:39:42 -0700 | [diff] [blame] | 30 | enum struct AssignOp : char { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 31 | EQ, |
| 32 | COLON_EQ, |
| 33 | PLUS_EQ, |
| 34 | QUESTION_EQ, |
| 35 | }; |
| 36 | |
Dan Willemsen | 3ce083f | 2017-10-11 22:17:48 -0700 | [diff] [blame] | 37 | enum struct AssignDirective { |
Shinichiro Hamaji | 420f775 | 2015-06-26 04:02:02 +0900 | [diff] [blame] | 38 | NONE = 0, |
| 39 | OVERRIDE = 1, |
| 40 | EXPORT = 2, |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 41 | }; |
| 42 | |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 43 | enum struct CondOp { |
| 44 | IFEQ, |
| 45 | IFNEQ, |
| 46 | IFDEF, |
| 47 | IFNDEF, |
| 48 | }; |
| 49 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 50 | struct Stmt { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 51 | public: |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 52 | virtual ~Stmt(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 53 | |
| 54 | Loc loc() const { return loc_; } |
| 55 | void set_loc(Loc loc) { loc_ = loc; } |
| 56 | StringPiece orig() const { return orig_; } |
| 57 | |
| 58 | virtual void Eval(Evaluator* ev) const = 0; |
| 59 | |
| 60 | virtual string DebugString() const = 0; |
| 61 | |
| 62 | protected: |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 63 | Stmt(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 64 | |
| 65 | private: |
| 66 | Loc loc_; |
| 67 | StringPiece orig_; |
| 68 | }; |
| 69 | |
Sasha Smundak | ce812f5 | 2018-08-15 14:49:39 -0700 | [diff] [blame] | 70 | /* Parsed "rule statement" before evaluation is kept as |
| 71 | * <lhs> <sep> <rhs> |
| 72 | * where <lhs> and <rhs> as Value instances. <sep> is either command |
| 73 | * separator (';') or an assignment ('=' or '=$='). |
| 74 | * Until we evaluate <lhs>, we don't know whether it is a rule or |
| 75 | * a rule-specific variable assignment. |
| 76 | */ |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 77 | struct RuleStmt : public Stmt { |
Sasha Smundak | ce812f5 | 2018-08-15 14:49:39 -0700 | [diff] [blame] | 78 | Value* lhs; |
| 79 | enum { SEP_NULL, SEP_SEMICOLON, SEP_EQ, SEP_FINALEQ } sep; |
| 80 | Value* rhs; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 81 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 82 | virtual ~RuleStmt(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 83 | |
| 84 | virtual void Eval(Evaluator* ev) const; |
| 85 | |
| 86 | virtual string DebugString() const; |
| 87 | }; |
| 88 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 89 | struct AssignStmt : public Stmt { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 90 | Value* lhs; |
| 91 | Value* rhs; |
Shinichiro Hamaji | 81699be | 2015-06-22 18:07:38 +0900 | [diff] [blame] | 92 | StringPiece orig_rhs; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 93 | AssignOp op; |
| 94 | AssignDirective directive; |
Sasha Smundak | ce812f5 | 2018-08-15 14:49:39 -0700 | [diff] [blame] | 95 | bool is_final; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 96 | |
Sasha Smundak | ce812f5 | 2018-08-15 14:49:39 -0700 | [diff] [blame] | 97 | AssignStmt() : is_final(false) {} |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 98 | virtual ~AssignStmt(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 99 | |
| 100 | virtual void Eval(Evaluator* ev) const; |
| 101 | |
| 102 | virtual string DebugString() const; |
Shinichiro Hamaji | 92a4738 | 2016-02-17 17:19:21 +0900 | [diff] [blame] | 103 | |
| 104 | Symbol GetLhsSymbol(Evaluator* ev) const; |
| 105 | |
| 106 | private: |
| 107 | mutable Symbol lhs_sym_cache_; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 108 | }; |
| 109 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 110 | struct CommandStmt : public Stmt { |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 111 | Value* expr; |
Shinichiro Hamaji | 631a9f8 | 2015-07-05 14:18:15 +0900 | [diff] [blame] | 112 | StringPiece orig; |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 113 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 114 | virtual ~CommandStmt(); |
Shinichiro Hamaji | 776ca30 | 2015-06-06 03:52:48 +0900 | [diff] [blame] | 115 | |
| 116 | virtual void Eval(Evaluator* ev) const; |
| 117 | |
| 118 | virtual string DebugString() const; |
| 119 | }; |
| 120 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 121 | struct IfStmt : public Stmt { |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 122 | CondOp op; |
| 123 | Value* lhs; |
| 124 | Value* rhs; |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 125 | vector<Stmt*> true_stmts; |
| 126 | vector<Stmt*> false_stmts; |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 127 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 128 | virtual ~IfStmt(); |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 129 | |
| 130 | virtual void Eval(Evaluator* ev) const; |
| 131 | |
| 132 | virtual string DebugString() const; |
| 133 | }; |
| 134 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 135 | struct IncludeStmt : public Stmt { |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 136 | Value* expr; |
Shinichiro Hamaji | efad2dd | 2015-06-17 03:08:02 +0900 | [diff] [blame] | 137 | bool should_exist; |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 138 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 139 | virtual ~IncludeStmt(); |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 140 | |
| 141 | virtual void Eval(Evaluator* ev) const; |
| 142 | |
| 143 | virtual string DebugString() const; |
| 144 | }; |
| 145 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 146 | struct ExportStmt : public Stmt { |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 147 | Value* expr; |
| 148 | bool is_export; |
| 149 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 150 | virtual ~ExportStmt(); |
Shinichiro Hamaji | 42b625f | 2015-06-16 23:07:21 +0900 | [diff] [blame] | 151 | |
| 152 | virtual void Eval(Evaluator* ev) const; |
| 153 | |
| 154 | virtual string DebugString() const; |
| 155 | }; |
| 156 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 157 | struct ParseErrorStmt : public Stmt { |
Shinichiro Hamaji | 5622786 | 2015-08-05 16:53:37 +0900 | [diff] [blame] | 158 | string msg; |
| 159 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 160 | virtual ~ParseErrorStmt(); |
Shinichiro Hamaji | 5622786 | 2015-08-05 16:53:37 +0900 | [diff] [blame] | 161 | |
| 162 | virtual void Eval(Evaluator* ev) const; |
| 163 | |
| 164 | virtual string DebugString() const; |
| 165 | }; |
| 166 | |
Shinichiro Hamaji | 645cca7 | 2015-09-24 17:04:21 +0900 | [diff] [blame] | 167 | #endif // STMT_H_ |