diff options
author | 2020-08-24 21:58:42 +0900 | |
---|---|---|
committer | 2020-08-24 21:58:42 +0900 | |
commit | 2b4ae7fde370bc3316ab30cc38b74d23e785b360 (patch) | |
tree | 41b6eb70b3419c2fbd192ed133c5890a985eddec /src/core/expression/RBAHasComeEarlierThan.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/RBAHasComeEarlierThan.cpp')
-rw-r--r-- | src/core/expression/RBAHasComeEarlierThan.cpp | 151 |
1 files changed, 151 insertions, 0 deletions
diff --git a/src/core/expression/RBAHasComeEarlierThan.cpp b/src/core/expression/RBAHasComeEarlierThan.cpp new file mode 100644 index 0000000..4b5482a --- /dev/null +++ b/src/core/expression/RBAHasComeEarlierThan.cpp @@ -0,0 +1,151 @@ +/** + * 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. + */ + +/** + * HasComeEarlierThan class + */ + +#include "RBAHasComeEarlierThan.hpp" +#include "RBAContent.hpp" +#include "RBAArbitrator.hpp" +#include "RBAExpressionVisitor.hpp" +#include "RBALogManager.hpp" +#include "RBAModelElementType.hpp" +#include "RBAExpressionType.hpp" +#include "RBAConstraintInfo.hpp" + +namespace rba +{ + +RBAModelElementType +RBAHasComeEarlierThan::getModelElementType() const +{ + return RBAModelElementType::HasComeEarlier; +} + +void RBAHasComeEarlierThan::accept(RBAExpressionVisitor& visitor) +{ + visitor.visit(*this); +} + +bool +RBAHasComeEarlierThan::executeCore(RBAConstraintInfo* info, + RBAArbitrator* arb) const +{ + // Add itself to the constraint hierarchy for coverage + LOG_addHierarchy(LOG_getSymbol()); + + bool isResult {false}; + // Get content in left side of the expression + RBAConstraintInfo* const leftInfo {info->getChild(0U)}; + const RBARuleObject* ruleObj {getLhsOperand()->getReferenceObject(leftInfo, arb)}; + const RBAContent* contentLhs {nullptr}; + if(ruleObj != nullptr) { + contentLhs = dynamic_cast<const RBAContent*>(ruleObj->getRawObject()); + } + + // Get content in right hand side of the expression + RBAConstraintInfo* const rightInfo {info->getChild(1U)}; + ruleObj = getRhsOperand()->getReferenceObject(rightInfo, arb); + const RBAContent* contentRhs {nullptr}; + if(ruleObj != nullptr) { + contentRhs = dynamic_cast<const RBAContent*>(ruleObj->getRawObject()); + } + + if((contentLhs == nullptr) || (contentRhs == nullptr)) { + info->setExceptionBeforeArbitrate(true); + } else { + if (!((arb->getResult()->isActive(contentLhs)) + && (arb->getResult()->isActive(contentRhs)))) { + info->setExceptionBeforeArbitrate(true); + } + else if(contentLhs == contentRhs) { + isResult = false; + } + else { + isResult = !arb->getResult()->isLater(contentLhs, contentRhs); + } + } +#ifdef RBA_USE_LOG + std::string lhsName; + std::string rhsName; + std::string resultText; + if(contentLhs == nullptr) { + lhsName = "NULL"; + } else { + lhsName = contentLhs->getElementName(); + } + if (contentRhs == nullptr) { + rhsName = "NULL"; + } else { + rhsName = contentRhs->getElementName(); + } + if (info->isExceptionBeforeArbitrate() == true ) { + resultText = "is before arbitrate skip"; + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::SKIP); + } else { + resultText = RBALogManager::boolToString(isResult); + if(isResult) { + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::TRUE); + } + else { + LOG_coverageConstraintExpressionLog(LOG_getCoverageExpressionText(), + RBAExecuteResult::FALSE); + } + } + LOG_arbitrateConstraintLogicLogLine( + " Content[" + lhsName + "] has come earlier than Content[" + rhsName + "] " + resultText); +#endif + // Remove itself from constraint hierarchy for coverage + LOG_removeHierarchy(); + return isResult; +} + +#ifdef RBA_USE_LOG +const std::string +RBAHasComeEarlierThan::getSymbol() const +{ + return ".hasComeEarlierThan"; +} + +const std::string +RBAHasComeEarlierThan::getExpressionText() const +{ + RBAExpression* exprLhs = getLhsOperand(); + RBAExpression* exprRhs = getRhsOperand(); + return exprLhs->getExpressionText() + getSymbol() + + "(" + exprRhs->getExpressionText() + ")"; +} + +const std::string +RBAHasComeEarlierThan::getCoverageExpressionText() const +{ + RBAExpression* exprLhs = getLhsOperand(); + RBAExpression* exprRhs = getRhsOperand(); + return exprLhs->getCoverageExpressionText() + getSymbol() + + "(" + exprRhs->getCoverageExpressionText() + ")"; +} + +RBAExpressionType +RBAHasComeEarlierThan::getUnderlyingType() const +{ + return RBAExpressionType::BOOLEAN; +} +#endif + +} |