summaryrefslogtreecommitdiffstats
path: root/src/core/expression/RBAGetContentsList.cpp
blob: 5f14b33c2e833af536373f04961d9c8787ab9ff4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
/**
 * 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.
 */

/**
 * GetContentsList class definition file
 */

#include "RBAGetContentsList.hpp"

#include "RBAAllocatable.hpp"
#include "RBAContentSet.hpp"
#include "RBAExpressionVisitor.hpp"
#include "RBAModelElementType.hpp"
#include "RBAConstraintInfo.hpp"

namespace rba
{

void RBAGetContentsList::accept(RBAExpressionVisitor& visitor)
{
  // This path is not used, because RBASceneAllocatableCollector, 
  // the only existing visitor as of now, does not accept content.
  // But, keep this because another visitor may accept, in the future.
  visitor.visit(*this);
}

RBAModelElementType
RBAGetContentsList::getModelElementType() const
{
  return RBAModelElementType::GetContentsList;
}

const RBARuleObject*
RBAGetContentsList::getReferenceObjectCore(RBAConstraintInfo* info,
                                           RBAArbitrator* arb) const
{
  RBAConstraintInfo* const leftInfo {info->getChild(0U)};

  const RBARuleObject* const ruleObj
    {getLhsOperand()->getReferenceObject(leftInfo, arb)};
  const RBAAllocatable* allocatable {nullptr};
  if (ruleObj != nullptr) {
    allocatable = dynamic_cast<const RBAAllocatable*>(ruleObj->getRawObject());
  }
  // Indicates whether the content referenced by this constraint expression 
  // is the result of the previous arbitration result.

  if (leftInfo->isExceptionBeforeArbitrate() || (allocatable == nullptr)) {
    // As of now, this path is not used due to the following reasons.
    //  - The expression below GetContentsList is before arbitration
    //  - Constraint expression that returns null as allocatable 
    //    can not be described(specified) 
    // But, defined this for maintainability (especially expandability).
    info->setExceptionBeforeArbitrate(true);
    return nullptr;
  }

  return allocatable->getContentSet();
}

#ifdef RBA_USE_LOG
// At the moment, the arbitration FW cannot write a constraint expression 
// to call createHierarchy() of GetContentsList, 
// so it does not go through this path. 
// But, defined this for maintainability (especially expandability.
void
RBAGetContentsList::createHierarchy()
{
  // No operation because it does not affect structure.
}
#endif

}