diff options
author | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2020-08-24 21:58:42 +0900 |
---|---|---|
committer | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2020-08-24 21:58:42 +0900 |
commit | 2b4ae7fde370bc3316ab30cc38b74d23e785b360 (patch) | |
tree | 41b6eb70b3419c2fbd192ed133c5890a985eddec /src/core/expression/RBAAndOperator.cpp | |
parent | 6694a4d2952ebd171564932200cac00d6e5792f4 (diff) |
First commitjellyfish_9.99.4jellyfish/9.99.49.99.4
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Change-Id: I381abb0a6521f5349768a76ef7ceecbce4b2d701
Diffstat (limited to 'src/core/expression/RBAAndOperator.cpp')
-rw-r--r-- | src/core/expression/RBAAndOperator.cpp | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/src/core/expression/RBAAndOperator.cpp b/src/core/expression/RBAAndOperator.cpp new file mode 100644 index 0000000..0f3a30d --- /dev/null +++ b/src/core/expression/RBAAndOperator.cpp @@ -0,0 +1,113 @@ +/** + * 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. + */ + +/** + * AND operator class definition + */ + +#include "RBAAndOperator.hpp" + +#include "RBAExpressionVisitor.hpp" +#include "RBALogManager.hpp" +#include "RBAConstraintInfo.hpp" +#include "RBAModelElementType.hpp" + +namespace rba +{ + +void +RBAAndOperator::accept(RBAExpressionVisitor& visitor) +{ + visitor.visit(*this); +} + +RBAModelElementType +RBAAndOperator::getModelElementType() const +{ + return RBAModelElementType::AndOperator; +} + +bool +RBAAndOperator::executeCore(RBAConstraintInfo* info, + RBAArbitrator * arb) const +{ + // Add itself to the constraint hierarchy for coverage + LOG_addHierarchy(LOG_getSymbol()); + + std::uint32_t falseCount {0U}; + std::uint32_t exceptionCount {0U}; + std::uint32_t index {0U}; + for(const auto& ope : getOperand()) { + // Add count to constraint hierarchy for coverage + LOG_addHierarchy("#" + std::to_string(index)); + + RBAConstraintInfo* const childInfo {info->getChild(index)}; + const bool res {ope->execute(childInfo, arb)}; + if(childInfo->isExceptionBeforeArbitrate()) { + exceptionCount++; + } else if(!res) { + falseCount++; + } else { + ; + } + + // Remove count to constraint hierarchy for coverage + LOG_removeHierarchy(); + index++; + } + + // with fail + if (falseCount > 0U) { + LOG_arbitrateConstraintLogicLogLine( + " [" + LOG_getExpressionText() + "] false"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::FALSE); + // Rmove count to constraint hierarchy for coverage + LOG_removeHierarchy(); + return false; + } + + // exception + if (exceptionCount > 0U) { + LOG_arbitrateConstraintLogicLogLine( + " [" + LOG_getExpressionText() + "] before arbitrate skip"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::SKIP); + // Rmove count to constraint hierarchy for coverage + LOG_removeHierarchy(); + info->setExceptionBeforeArbitrate(true); + return false; + } + + LOG_arbitrateConstraintLogicLogLine( + " [" + LOG_getExpressionText() + "] true"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::TRUE); + // Rmove count to constraint hierarchy for coverage + LOG_removeHierarchy(); + + return true; +} + +#ifdef RBA_USE_LOG +const std::string +RBAAndOperator::getSymbol() const +{ + return "AND"; +} +#endif + +} |