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/RBAGetProperty.hpp | 57 ++++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) create mode 100644 src/core/expression/RBAGetProperty.hpp (limited to 'src/core/expression/RBAGetProperty.hpp') diff --git a/src/core/expression/RBAGetProperty.hpp b/src/core/expression/RBAGetProperty.hpp new file mode 100644 index 0000000..eff3852 --- /dev/null +++ b/src/core/expression/RBAGetProperty.hpp @@ -0,0 +1,57 @@ +/** + * 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. + */ + +/** + * RBAGetProperty Class + */ + +#ifndef RBAGETPROPERTY_HPP +#define RBAGETPROPERTY_HPP + +#include "RBAPropertyOperator.hpp" + +namespace rba +{ + +class DLL_EXPORT RBAGetProperty : public RBAPropertyOperator +{ +public: + RBAGetProperty()=default; + RBAGetProperty(const RBAGetProperty&)=delete; + RBAGetProperty(const RBAGetProperty&&)=delete; + RBAGetProperty& operator=(const RBAGetProperty&)=delete; + RBAGetProperty& operator=(const RBAGetProperty&&)=delete; + virtual ~RBAGetProperty()=default; + +public: + void accept(RBAExpressionVisitor& visitor) override; + RBAModelElementType getModelElementType() const override; + std::int32_t getValueCore(RBAConstraintInfo* info, + RBAArbitrator * arb) const override; + + // Log +#ifdef RBA_USE_LOG + const std::string getSymbol() const override; + const std::string getExpressionText() const override; + const std::string getCoverageExpressionText() const override; + RBAExpressionType getUnderlyingType() const override; +#endif + +}; + +} + +#endif -- cgit 1.2.3-korg