Line data Source code
1 : /* File: data_feature_type.inl; Copyright and License: see below */ 2 : 3 0 : static inline bool data_feature_type_outside_compartment( data_feature_type_t this_ ) 4 : { 5 0 : const bool result 6 : = ( this_ == DATA_FEATURE_TYPE_PORT ) 7 0 : ||( this_ == DATA_FEATURE_TYPE_LIFELINE ) 8 0 : ||( this_ == DATA_FEATURE_TYPE_PROVIDED_INTERFACE ) 9 0 : ||( this_ == DATA_FEATURE_TYPE_REQUIRED_INTERFACE ) 10 0 : ||( this_ == DATA_FEATURE_TYPE_IN_PORT_PIN ) 11 0 : ||( this_ == DATA_FEATURE_TYPE_OUT_PORT_PIN ) 12 0 : ||( this_ == DATA_FEATURE_TYPE_ENTRY ) 13 0 : ||( this_ == DATA_FEATURE_TYPE_EXIT ); 14 0 : return result; 15 : } 16 : 17 0 : static inline bool data_feature_type_inside_compartment( data_feature_type_t this_ ) 18 : { 19 0 : return ( ! data_feature_type_outside_compartment( this_ ) ); 20 : } 21 : 22 : /* 23 : Copyright 2023-2024 Andreas Warnke 24 : 25 : Licensed under the Apache License, Version 2.0 (the "License"); 26 : you may not use this file except in compliance with the License. 27 : You may obtain a copy of the License at 28 : 29 : http://www.apache.org/licenses/LICENSE-2.0 30 : 31 : Unless required by applicable law or agreed to in writing, software 32 : distributed under the License is distributed on an "AS IS" BASIS, 33 : WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 34 : See the License for the specific language governing permissions and 35 : limitations under the License. 36 : */