First commitjellyfish_9.99.4jellyfish/9.99.49.99.4

Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Change-Id: I381abb0a6521f5349768a76ef7ceecbce4b2d701

1 files changed, 92 insertions, 0 deletions

diff --git a/src/core/expression/RBALambdaContext.cpp b/src/core/expression/RBALambdaContext.cpp
new file mode 100644
index 0000000..7d68513
--- /dev/null
+++ b/src/core/expression/RBALambdaContext.cpp
@@ -0,0 +1,92 @@
+/**
+ * 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.
+ */
+
+/**
+ * LambdaContext class definition file
+ */
+
+#include "RBALambdaContext.hpp"
+#include "RBALogManager.hpp"
+#include "RBAVariable.hpp"
+#include "RBAAllocatable.hpp"
+#include "RBAAllocatableSet.hpp"
+#include "RBAContent.hpp"
+#include "RBAContentSet.hpp"
+#include "RBALambdaExpression.hpp"
+
+namespace rba
+{
+
+RBALambdaExpression* const
+RBALambdaContext::getLambda() const
+{
+  return lambda_;
+}
+
+void
+RBALambdaContext::setLambda(RBALambdaExpression* const newLambda)
+{
+  lambda_ = newLambda;
+}
+
+#ifdef RBA_USE_LOG
+void
+RBALambdaContext::createHierarchy()
+{
+  lambda_->getX()->clearRuleObj();
+  // Add itself to Constraint hierarchy for coverage
+  LOG_addHierarchy(getSymbol());
+  RBALogManager::coverageHierarchyOfConstraintExpressionLog(getCoverageExpressionText(), this);
+
+  // Get rule object and loop
+  RBAExpression* setObj = getLhsOperand();
+  RBAConstraintInfo dummyInfo;
+  // Since it is not referenced by "AllInstanceOf..." or "SetOfOperator" 
+  // used for the set of "For-All" or "Exists", nullptr is no problem
+  RBAArbitrator* dummyArb = nullptr;
+  const RBARuleObject* objset = setObj->getReferenceObject(&dummyInfo, dummyArb);
+  std::vector<const RBARuleObject*> objs;
+  if(objset) {
+    if(dynamic_cast<const RBAAllocatableSet*>(objset) != nullptr) {
+      const RBAAllocatableSet* aSet
+	= dynamic_cast<const RBAAllocatableSet*>(objset);
+      for(const auto& alloc : aSet->getLeafAllocatable()) {
+	objs.push_back(alloc);
+      }
+    }
+    else if(dynamic_cast<const RBAContentSet*>(objset) != nullptr) {
+      const RBAContentSet* cSet = dynamic_cast<const RBAContentSet*>(objset);
+      for(const auto& cont : cSet->getLeafContent() ){
+	objs.push_back(cont);
+      }
+    }
+  }
+
+  // Enable expansion of own variables in the coverage log
+  std::int32_t idx=0;
+  for(const RBARuleObject* obj : objs) {
+    LOG_addHierarchy("#" + std::to_string(idx++));
+    lambda_->getX()->setRuleObj(obj);
+    lambda_->createHierarchy();
+    LOG_removeHierarchy();
+  }
+
+  // Remove own to Constraint hierarchy for coverage
+  LOG_removeHierarchy();
+}
+#endif
+
+}