path: root/spec/rtems/attr/val/attr.yml

SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2020 embedded brains GmbH & Co. KG
enabled-by: true
links: []
test-actions:
- action-brief: |
    Validate the non-default attribute constants.
  action-code: |
    /* No action */
  checks:
  - brief: |
      Check that RTEMS_BARRIER_AUTOMATIC_RELEASE is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_BARRIER_AUTOMATIC_RELEASE ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/barrier-automatic-release
  - brief: |
      Check that RTEMS_BINARY_SEMAPHORE is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_BINARY_SEMAPHORE ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/binary-semaphore
  - brief: |
      Check that RTEMS_FLOATING_POINT is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_FLOATING_POINT ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/floating-point
  - brief: |
      Check that RTEMS_GLOBAL is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_GLOBAL ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/global
  - brief: |
      Check that RTEMS_INHERIT_PRIORITY is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_INHERIT_PRIORITY ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/inherit-priority
  - brief: |
      Check that RTEMS_MULTIPROCESSOR_RESOURCE_SHARING is a power of two.
    code: |
      T_step_true(
        ${.:/step},
        IsPowerOfTwo( RTEMS_MULTIPROCESSOR_RESOURCE_SHARING )
      );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/multiprocessor-resource-sharing
  - brief: |
      Check that RTEMS_PRIORITY is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_PRIORITY ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/priority
  - brief: |
      Check that RTEMS_PRIORITY_CEILING is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_PRIORITY_CEILING ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/priority-ceiling
  - brief: |
      Check that RTEMS_SIMPLE_BINARY_SEMAPHORE is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_SIMPLE_BINARY_SEMAPHORE ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/simple-binary-semaphore
  - brief: |
      Check that RTEMS_SYSTEM_TASK is a power of two.
    code: |
      T_step_true( ${.:/step}, IsPowerOfTwo( RTEMS_SYSTEM_TASK ) );
    links:
    - role: validation
      uid: ../req/bit-set
    - role: validation
      uid: ../if/system-task
  links: []
- action-brief: |
    Validate the default attribute constants.
  action-code: |
    /* No action */
  checks:
  - brief: |
      Check that RTEMS_APPLICATION_TASK is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_APPLICATION_TASK, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/application-task
  - brief: |
      Check that RTEMS_BARRIER_MANUAL_RELEASE is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_BARRIER_MANUAL_RELEASE, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/barrier-manual-release
  - brief: |
      Check that RTEMS_COUNTING_SEMAPHORE is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_COUNTING_SEMAPHORE, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/counting-semaphore
  - brief: |
      Check that RTEMS_DEFAULT_ATTRIBUTES is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_DEFAULT_ATTRIBUTES, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/default
  - brief: |
      Check that RTEMS_FIFO is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_FIFO, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/fifo
  - brief: |
      Check that RTEMS_LOCAL is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_LOCAL, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/local
  - brief: |
      Check that RTEMS_NO_FLOATING_POINT is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_NO_FLOATING_POINT, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/no-floating-point
  - brief: |
      Check that RTEMS_NO_INHERIT_PRIORITY is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_NO_INHERIT_PRIORITY, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/no-inherit-priority
  - brief: |
      Check that RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_NO_MULTIPROCESSOR_RESOURCE_SHARING, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/no-multiprocessor-resource-sharing
  - brief: |
      Check that RTEMS_NO_PRIORITY_CEILING is equal to zero.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_NO_PRIORITY_CEILING, 0 );
    links:
    - role: validation
      uid: ../req/default
    - role: validation
      uid: ../if/no-priority-ceiling
  links: []
- action-brief: |
    Calculate the bitwise or of all non-default attribute constants.
  action-code: |
    rtems_attribute attributes;

    attributes = 0;
    attributes |= RTEMS_BARRIER_AUTOMATIC_RELEASE;
    attributes |= RTEMS_BINARY_SEMAPHORE;
    attributes |= RTEMS_FLOATING_POINT;
    attributes |= RTEMS_GLOBAL;
    attributes |= RTEMS_INHERIT_PRIORITY;
    attributes |= RTEMS_MULTIPROCESSOR_RESOURCE_SHARING;
    attributes |= RTEMS_PRIORITY;
    attributes |= RTEMS_PRIORITY_CEILING;
    attributes |= RTEMS_SEMAPHORE_CLASS;
    attributes |= RTEMS_SIMPLE_BINARY_SEMAPHORE;
    attributes |= RTEMS_SYSTEM_TASK;
  checks:
  - brief: |
      Check that the count of set bits in the calculated value is equal to the
      count of non-default attribute constants.  Since each non-default
      attribute constant is a power of two, this proves that each constant has
      a unique value.
    code: |
      T_step_eq_int( ${.:/step}, PopCount( attributes ), 10 );
    links:
    - role: validation
      uid: ../req/unique
  links: []
- action-brief: |
    Calculate the bitwise or of the RTEMS_BINARY_SEMAPHORE,
    RTEMS_COUNTING_SEMAPHORE, and RTEMS_SIMPLE_BINARY_SEMAPHORE attribute
    constants.
  action-code: |
    rtems_attribute attributes;

    attributes = 0;
    attributes |= RTEMS_BINARY_SEMAPHORE;
    attributes |= RTEMS_COUNTING_SEMAPHORE;
    attributes |= RTEMS_SIMPLE_BINARY_SEMAPHORE;
  checks:
  - brief: |
      Check that the calculated value is equal to RTEMS_SEMAPHORE_CLASS.
    code: |
      T_step_eq_u32( ${.:/step}, RTEMS_SEMAPHORE_CLASS, attributes );
    links:
    - role: validation
      uid: ../req/semaphore-class
  links: []
- action-brief: |
    Check the value of ${../if/default:/name}.
  action-code: |
    /* No action */
  checks:
  - brief: |
      Check ${../if/default:/name} equals
      ${../if/fifo:/name} | ${../if/local:/name}.
    code: |
      T_step_eq_int(
        ${.:/step},
        ${../if/default:/name},
        ${../if/fifo:/name} | ${../if/local:/name}
      );
    links:
    - role: validation
      uid: ../req/default-equals
  links: []
test-brief: |
  Tests the attribute constants of the Classic API.
test-context: []
test-context-support: null
test-description: null
test-header: null
test-includes:
- rtems.h
test-local-includes: []
test-setup: null
test-stop: null
test-support: |
  static bool IsPowerOfTwo( rtems_attribute attribute )
  {
    return attribute != 0 && ( attribute & ( attribute - 1 ) ) == 0;
  }

  static int PopCount( rtems_attribute attributes )
  {
    int count;

    count = 0;

    while ( attributes != 0 ) {
      ++count;
      attributes &= attributes - 1;
    }

    return count;
  }
test-target: testsuites/validation/tc-attr.c
test-teardown: null
type: test-case