diff options
author | 2020-08-24 21:58:42 +0900 | |
---|---|---|
committer | 2020-08-24 21:58:42 +0900 | |
commit | 2b4ae7fde370bc3316ab30cc38b74d23e785b360 (patch) | |
tree | 41b6eb70b3419c2fbd192ed133c5890a985eddec /src/sound/RBAIsAttenuated.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/sound/RBAIsAttenuated.cpp')
-rw-r--r-- | src/sound/RBAIsAttenuated.cpp | 135 |
1 files changed, 135 insertions, 0 deletions
diff --git a/src/sound/RBAIsAttenuated.cpp b/src/sound/RBAIsAttenuated.cpp new file mode 100644 index 0000000..cf55890 --- /dev/null +++ b/src/sound/RBAIsAttenuated.cpp @@ -0,0 +1,135 @@ +/** + * 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. + */ +/// IsAttenuated class + +#include "RBAIsAttenuated.hpp" + +#include "RBAExpression.hpp" +#include "RBAZoneImpl.hpp" +#include "RBAArbitrator.hpp" +#include "RBAExpressionVisitor.hpp" +#include "RBAResultImpl.hpp" +#include "RBALogManager.hpp" +#include "RBAModelElementType.hpp" +#include "RBAExpressionType.hpp" +#include "RBAConstraintInfo.hpp" + +namespace rba +{ + +void +RBAIsAttenuated::accept(RBAExpressionVisitor& visitor) +{ + visitor.visit(*this); +} + +RBAModelElementType +RBAIsAttenuated::getModelElementType() const +{ + return RBAModelElementType::IsAttenuated; +} + +bool +RBAIsAttenuated::executeCore(RBAConstraintInfo* info, + RBAArbitrator* arb) const +{ + bool isPassed {false}; + LOG_addHierarchy(LOG_getSymbol()); + RBAConstraintInfo* const leftInfo {info->getChild(0U)}; + const RBARuleObject* const ruleObj + {getLhsOperand()->getReferenceObject(leftInfo, arb)}; + if ((leftInfo->isExceptionBeforeArbitrate() ) || (ruleObj == nullptr)) { + info->setExceptionBeforeArbitrate(true); + } else { + const RBAZoneImpl* const zone {dynamic_cast<const RBAZoneImpl*>(ruleObj->getRawObject())}; + info->addOperandAllocatable(zone); + if (ruleObj->isPrevious() == true) { + isPassed = arb->getResult()->isPreAttenuated(zone); + } else { + if (zone->isAttenuateChecked() == true) { + isPassed = zone->isAttenuated(); + if (isPassed == true) { + info->addTrueAllocatable(zone); + } else { + info->addFalseAllocatable(zone); + } + } else { + info->setExceptionBeforeArbitrate(true); + } + } + } +#ifdef RBA_USE_LOG + if (ruleObj != nullptr) { + const RBAZoneImpl* zone = dynamic_cast<const RBAZoneImpl*>(ruleObj + ->getRawObject()); + if (info->isExceptionBeforeArbitrate() == true) { + LOG_arbitrateConstraintLogicLogLine( + " [" + getPreMsg(ruleObj->isPrevious()) + zone->getName() + + getSymbol() + "] before arbitrate skip"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::SKIP); + } else if (isPassed == true) { + LOG_arbitrateConstraintLogicLogLine( + " [" + getPreMsg(ruleObj->isPrevious()) + zone->getName() + + getSymbol() + "] true"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::TRUE); + } else { + LOG_arbitrateConstraintLogicLogLine( + " [" + getPreMsg(ruleObj->isPrevious()) + zone->getName() + + getSymbol() + "] false"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::FALSE); + } + } else { + // At the moment, there is no expression that returns null as an Allocable, + // so it will not go through this path. + // This is implmented because we may add an expression that returns null, + // in the future. + if (info->isExceptionBeforeArbitrate() == true) { + LOG_arbitrateConstraintLogicLogLine( + " [" + getPreMsg(ruleObj->isPrevious()) + "NULL" + getSymbol() + + "] before arbitrate skip"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::SKIP); + } else { + LOG_arbitrateConstraintLogicLogLine( + " [" + getPreMsg(ruleObj->isPrevious()) + "NULL" + getSymbol() + + "] false"); + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::FALSE); + } + } +#endif + LOG_removeHierarchy(); + return isPassed; +} + +#ifdef RBA_USE_LOG +const std::string +RBAIsAttenuated::getSymbol() const +{ + return ".isAttenuated()"; +} + +RBAExpressionType +RBAIsAttenuated::getUnderlyingType() const +{ + return RBAExpressionType::BOOLEAN; +} +#endif + +} |