diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-07 08:37:19 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-07 19:58:14 +0200 |
| commit | 53ba7fbfe47850a78ee8b0c45aac044ad8ff1022 (patch) | |
| tree | 61b5c3aab2b1ccb05c8f1b48ad79c7fb75098713 | |
| parent | spec: Improve timer order test (diff) | |
| download | rtems-central-53ba7fbfe47850a78ee8b0c45aac044ad8ff1022.tar.bz2 | |
spec: Simplify message queue construct
| -rw-r--r-- | spec/rtems/message/req/construct-errors.yml | 257 |
1 files changed, 54 insertions, 203 deletions
diff --git a/spec/rtems/message/req/construct-errors.yml b/spec/rtems/message/req/construct-errors.yml index 23e1d555..56e94948 100644 --- a/spec/rtems/message/req/construct-errors.yml +++ b/spec/rtems/message/req/construct-errors.yml @@ -344,216 +344,67 @@ text: ${.:text-template} transition-map: - enabled-by: true post-conditions: - Status: Ok - Name: Valid - IdVar: Set - pre-conditions: - Area: - - Valid - AreaSize: - - Valid - Config: - - Valid - Id: - - Id - MaxPending: - - Valid - MaxSize: - - Valid + Status: + - if: + pre-conditions: + Config: 'Null' + then: InvAddr + - if: + pre-conditions: + Name: Invalid + then: InvName + - if: + pre-conditions: + Id: 'Null' + then: InvAddr + - if: + pre-conditions: + MaxPending: Zero + then: InvNum + - if: + pre-conditions: + MaxSize: Zero + then: InvSize + - if: + pre-conditions: + Free: 'No' + then: TooMany + - if: + pre-conditions: + MaxSize: Big + then: InvSize + - if: + pre-conditions: + MaxPending: Big + then: InvNum + - if: + pre-conditions: + Area: 'Null' + then: Unsat + - if: + pre-conditions: + AreaSize: Invalid + then: Unsat + - else: Ok Name: - - Valid - Free: - - 'Yes' -- enabled-by: true - post-conditions: - Status: InvAddr - Name: Invalid - IdVar: Nop + - if: + post-conditions: + Status: Ok + then: Valid + - else: Invalid + IdVar: + - if: + post-conditions: + Status: Ok + then: Set + - else: Nop pre-conditions: Area: all AreaSize: all - Config: - - 'Null' + Config: all Id: all MaxPending: all MaxSize: all Name: all Free: all -- enabled-by: true - post-conditions: - Status: InvName - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: all - MaxPending: all - MaxSize: all - Name: - - Invalid - Free: all -- enabled-by: true - post-conditions: - Status: InvAddr - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: - - 'Null' - MaxPending: all - MaxSize: all - Name: - - Valid - Free: all -- enabled-by: true - post-conditions: - Status: InvNum - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: - - Id - MaxPending: - - Zero - MaxSize: all - Name: - - Valid - Free: all -- enabled-by: true - post-conditions: - Status: InvSize - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: - - Id - MaxPending: - - Valid - - Big - MaxSize: - - Zero - Name: - - Valid - Free: all -- enabled-by: true - post-conditions: - Status: TooMany - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: - - Id - MaxPending: - - Valid - - Big - MaxSize: - - Valid - - Big - Name: - - Valid - Free: - - 'No' -- enabled-by: true - post-conditions: - Status: InvNum - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: - - Id - MaxPending: - - Big - MaxSize: - - Valid - Name: - - Valid - Free: - - 'Yes' -- enabled-by: true - post-conditions: - Status: InvSize - Name: Invalid - IdVar: Nop - pre-conditions: - Area: all - AreaSize: all - Config: - - Valid - Id: - - Id - MaxPending: - - Valid - - Big - MaxSize: - - Big - Name: - - Valid - Free: - - 'Yes' -- enabled-by: true - post-conditions: - Status: Unsat - Name: Invalid - IdVar: Nop - pre-conditions: - Area: - - 'Null' - AreaSize: all - Config: - - Valid - Id: - - Id - MaxPending: - - Valid - MaxSize: - - Valid - Name: - - Valid - Free: - - 'Yes' -- enabled-by: true - post-conditions: - Status: Unsat - Name: Invalid - IdVar: Nop - pre-conditions: - Area: - - Valid - AreaSize: - - Invalid - Config: - - Valid - Id: - - Id - MaxPending: - - Valid - MaxSize: - - Valid - Name: - - Valid - Free: - - 'Yes' type: requirement |