summaryrefslogblamecommitdiffstats
path: root/rtemsspec/tests/spec-validation/action2.yml
blob: 7836b0d9f4b1600c20cd08d64d60249febea9520 (plain) (tree)



































































                                                                         




                   



                         

               
                            


                               



              

               






                               

                            



                   
                                                               








                              

                    















                              

               









                      
                      






                         

       






                  









                  
                  





                             




                         
                 
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
functional-type: action
links: []
post-conditions:
- name: A
  states:
  - name: X
    test-code: |
      /* Post A X */
    text: |
      Post A X.
  - name: Y
    test-code: |
      /* Post A Y */
    text: |
      Post A Y.
  test-epilogue: |
    /* Post A epilogue. */
  test-prologue: |
    /* Post A prologue. */
- name: B
  states:
  - name: X
    test-code: |
      /* Post B X */
    text: |
      Post B X.
  - name: Y
    test-code: |
      /* Post B Y */
    text: |
      Post B Y.
  test-epilogue: |
    /* Post B epilogue. */
  test-prologue: |
    /* Post B prologue. */
pre-conditions:
- name: A
  states:
  - name: X
    test-code: |
      /* Pre A X */
    text: |
      Pre A X.
  - name: Y
    test-code: |
      /* Pre A Y */
    text: |
      Pre A Y.
  test-epilogue: |
    /* Pre A epilogue. */
  test-prologue: |
    /* Pre A prologue. */
- name: B
  states:
  - name: X
    test-code: |
      /* Pre B X */
    text: |
      Pre B X.
  - name: Y
    test-code: |
      /* Pre B Y */
    text: |
      Pre B Y.
  - name: Z
    test-code: |
      /* Pre B Z */
    text: |
      Pre B Z.
  test-epilogue: |
    /* Pre B epilogue. */
  test-prologue: |
    /* Pre B prologue. */
rationale: null
references: []
requirement-type: functional
skip-reasons:
  SkipReason: |
    Skip it due to some reason.
test-action: |
  /* Action */
test-brief: |
  Test brief.
test-cleanup: |
  /* Cleanup */
test-context:
- brief: |
    Context member brief.
  description: |
    Context member description.
  member: |
    int member
test-context-support: |
  /* Context support code */
test-description: |
  Test description.
test-header:
  code: |
    /* Header code for ${.:/test-name} with ${.:/test-run}() */
  includes:
  - d.h
  local-includes:
  - e.h
  run-params:
  - description: |
      Parameter A description.
    dir: in
    name: a
    specifier: |
      int *${.:name}
  - description: |
      Parameter B description.
    dir: null
    name: b
    specifier: int ${.:name}
  - description: |
      Parameter C description.
    dir: out
    name: c
    specifier: int *${.:name}
  target: action2.h
test-includes:
- a.h
test-local-includes:
- b.h
test-name: Action 2
test-prepare: |
  /* Prepare */
test-setup:
  brief: |
    Setup brief.
  code: |
    /* Setup code */
  description: |
    Setup description.
test-stop: null
test-support: |
  /* Support code */
test-target: action2.c
test-teardown:
  brief: |
    Teardown brief.
  code: |
    /* Teardown code */
  description: |
    Teardown description.
text: |
  Text.
transition-map:
- enabled-by: true
  post-conditions:
    A: X
    B: Y
  pre-conditions:
    A: all
    B:
    - X
- enabled-by: true
  post-conditions:
    A: Y
    B: X
  pre-conditions:
    A: N/A
    B:
    - Y
- enabled-by: true
  post-conditions: SkipReason
  pre-conditions:
    A:
    - Y
    B:
    - Z
- enabled-by: true
  post-conditions:
    A: X
    B: X
  pre-conditions: default
type: requirement