From 2b4ae7fde370bc3316ab30cc38b74d23e785b360 Mon Sep 17 00:00:00 2001 From: Kenji Hosokawa Date: Mon, 24 Aug 2020 21:58:42 +0900 Subject: First commit Signed-off-by: Kenji Hosokawa Change-Id: I381abb0a6521f5349768a76ef7ceecbce4b2d701 --- src/core/expression/RBALetStatement.cpp | 68 +++++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) create mode 100644 src/core/expression/RBALetStatement.cpp (limited to 'src/core/expression/RBALetStatement.cpp') diff --git a/src/core/expression/RBALetStatement.cpp b/src/core/expression/RBALetStatement.cpp new file mode 100644 index 0000000..f64cc18 --- /dev/null +++ b/src/core/expression/RBALetStatement.cpp @@ -0,0 +1,68 @@ +/** + * 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. + */ + +/* + * LetStatement class definition + */ + +#include "RBALetStatement.hpp" +#include "RBALogManager.hpp" +#include "RBAConstraintInfo.hpp" +#include "RBAModelElementType.hpp" +#include "RBAVariable.hpp" +#include "RBAExpressionVisitor.hpp" + +namespace rba +{ + +RBAModelElementType RBALetStatement::getModelElementType() const +{ + return RBAModelElementType::LetStatement; +} + +void RBALetStatement::setVariable(RBAVariable* const var) +{ + variable_ = var; +} + +void +RBALetStatement::accept(RBAExpressionVisitor& visitor) +{ + visitor.visit(*this); +} + +void RBALetStatement::setVariable(RBAArbitrator* const arb) +{ + RBAConstraintInfo* const info {variable_->createConstraintInfo()}; + variable_->setRuleObj(getLhsOperand()->getReferenceObject(info, arb)); +#ifdef RBA_USE_LOG + std::string valueName; + if (info->isExceptionBeforeArbitrate() == true) { + valueName = "before arbitrate skip"; + } else if (variable_->getRuleObj() == nullptr) { + valueName = "NULL"; + } else { + valueName = variable_->getRuleObj()->getElementName(); + if (valueName == "") { + valueName = variable_->getRuleObj()->getDynamicName(); + } + } + LOG_arbitrateConstraintLogicLogLine( + " let " + variable_->getElementName() + " = " + + getLhsOperand()->getExpressionText() + " = " + valueName); +#endif +} +} /* namespace rba */ -- cgit 1.2.3-korg