1 files changed, 63 insertions, 0 deletions
diff --git a/src/core/expression/RBAForAllOperatorMaker.hpp b/src/core/expression/RBAForAllOperatorMaker.hpp
new file mode 100644
index 0000000..9c5de92
--- /dev/null
+++ b/src/core/expression/RBAForAllOperatorMaker.hpp
@@ -0,0 +1,63 @@
+/**
+ * Copyright (c) 2019 DENSO CORPORATION.
+ * 
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ * 
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ * 
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+/// @file  RBAForAllOperatorMaker.hpp
+/// @brief ForAllOperator　object generation class header
+
+#ifndef RBAFORALLOPERATORMAKER_HPP
+#define RBAFORALLOPERATORMAKER_HPP
+
+#include "RBALambdaContextMaker.hpp"
+
+namespace rba
+{
+
+/// @brief ForAllOperator　object generation class
+class RBAForAllOperatorMaker : public RBALambdaContextMaker
+{
+public:
+  RBAForAllOperatorMaker();
+  RBAForAllOperatorMaker(const RBAForAllOperatorMaker&)=delete;
+  RBAForAllOperatorMaker(const RBAForAllOperatorMaker&&)=delete;
+  RBAForAllOperatorMaker& operator=(const RBAForAllOperatorMaker&)=delete;
+  RBAForAllOperatorMaker& operator=(const RBAForAllOperatorMaker&&)=delete;
+  virtual ~RBAForAllOperatorMaker()=default;
+
+protected:
+  /// @brief  generate an empty instance
+  /// @details generate an empty instance of unique_ptr in a derived class
+  /// @return unique_ptr for instance
+  std::unique_ptr<RBAModelElement> createInstance(const std::string& name="") override;
+
+  /// @brief Set model element attributes for each derived class
+  /// @param[in] jsonElem JSON element of ModelElement
+  /// @param[in] model M\model to store the generated object
+  /// @param[in,out] owner parent object (Not in use)
+  RBAModelElement* setProperty(RBAModelElement* element,
+                                       const RBAJsonElement* jsonElem,
+                                       RBAModelImpl* model,
+                                       RBAModelElement* owner=nullptr) override;
+
+  /// @brief generate an empty object of LambdaContext
+  /// @details generate an empty object of unique_ptr in a derived class
+  /// @return unique_ptr for LambdaContext object
+  std::unique_ptr<RBALambdaContext> createLambdaContext() override;
+
+};
+
+}
+
+#endif