spec: Specify rtems_interrupt_entry_remove()

1 files changed, 884 insertions, 0 deletions

diff --git a/spec/rtems/intr/req/entry-remove.yml b/spec/rtems/intr/req/entry-remove.yml
new file mode 100644
index 00000000..bdde2927
--- /dev/null
+++ b/spec/rtems/intr/req/entry-remove.yml
@@ -0,0 +1,884 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+functional-type: action
+links:
+- role: interface-function
+  uid: ../if/entry-remove
+post-conditions:
+- name: Status
+  states:
+  - name: Ok
+    test-code: |
+      T_rsc_success( ctx->status );
+    text: |
+      The return status of ${../if/entry-remove:/name} shall be
+      ${../../status/if/successful:/name}.
+  - name: InvAddr
+    test-code: |
+      T_rsc( ctx->status, RTEMS_INVALID_ADDRESS );
+    text: |
+      The return status of ${../if/entry-remove:/name} shall be
+      ${../../status/if/invalid-address:/name}.
+  - name: IncStat
+    test-code: |
+      T_rsc( ctx->status, RTEMS_INCORRECT_STATE );
+    text: |
+      The return status of ${../if/entry-remove:/name} shall be
+      ${../../status/if/incorrect-state:/name}.
+  - name: InvId
+    test-code: |
+      T_rsc( ctx->status, RTEMS_INVALID_ID );
+    text: |
+      The return status of ${../if/entry-remove:/name} shall be
+      ${../../status/if/invalid-id:/name}.
+  - name: CalledFromISR
+    test-code: |
+      T_rsc( ctx->status, RTEMS_CALLED_FROM_ISR );
+    text: |
+      The return status of ${../if/entry-remove:/name} shall be
+      ${../../status/if/called-from-isr:/name}.
+  - name: Unsat
+    test-code: |
+      T_rsc( ctx->status, RTEMS_UNSATISFIED );
+    text: |
+      The return status of ${../if/entry-remove:/name} shall be
+      ${../../status/if/unsatisfied:/name}.
+  test-epilogue: null
+  test-prologue: null
+- name: IsEnabled
+  states:
+  - name: Nop
+    test-code: |
+      if ( !ctx->interrupt_occurred ) {
+        T_eq( ctx->enabled_before, ctx->enabled_after );
+      }
+    text: |
+      The enabled status of the interrupt vector specified by
+      ${../if/entry-remove:/params[0]/name} shall not be modified by the
+      ${../if/entry-remove:/name} call.
+  - name: 'No'
+    test-code: |
+      T_true( ctx->enabled_before || ctx->interrupt_occurred );
+      T_false( ctx->enabled_after );
+    text: |
+      The interrupt vector specified by ${../if/entry-remove:/params[0]/name}
+      shall be disabled.
+  test-epilogue: null
+  test-prologue: null
+- name: Installed
+  states:
+  - name: 'No'
+    test-code: |
+      ctx->visited_entries = 0;
+      sc = rtems_interrupt_handler_iterate(
+        ctx->valid_vector,
+        VisitInstalledNo,
+        ctx
+      );
+      T_rsc_success( sc );
+
+      if ( ctx->other_installed && ctx->third_installed ) {
+        expected_entries = 2;
+      } else if ( ctx->other_installed ) {
+        expected_entries = 1;
+      } else {
+        expected_entries = 0;
+      }
+
+      T_eq_u32( ctx->visited_entries, expected_entries );
+
+      if ( expected_entries > 0 ) {
+        ctx->entry_counter = 0;
+        bsp_interrupt_handler_dispatch( ctx->valid_vector );
+        T_eq_u32( ctx->entry_counter, 0 );
+      } else {
+        rtems_interrupt_entry *first;
+
+        first = bsp_interrupt_handler_table[
+          bsp_interrupt_handler_index( ctx->valid_vector )
+        ];
+        T_null( first );
+      }
+    text: |
+      The entry referenced by ${../if/entry-remove:/params[1]/name} shall not
+      be installed at the interrupt vector specified by
+      ${../if/entry-remove:/params[0]/name}.
+  - name: Nop
+    test-code: |
+      ctx->visited_entries = 0;
+      sc = rtems_interrupt_handler_iterate(
+        ctx->valid_vector,
+        VisitInstalledNop,
+        ctx
+      );
+      T_rsc_success( sc );
+
+      if ( ctx->installed && ctx->other_installed && ctx->third_installed ) {
+        expected_entries = 3;
+      } else if ( ctx->installed && ctx->other_installed ) {
+        expected_entries = 2;
+      } else if ( ctx->installed || ctx->other_installed ) {
+        expected_entries = 1;
+      } else {
+        expected_entries = 0;
+      }
+
+      T_eq_u32( ctx->visited_entries, expected_entries );
+
+      if ( ctx->installed ) {
+        ctx->entry_counter = 0;
+        bsp_interrupt_handler_dispatch( ctx->valid_vector );
+        T_eq_u32( ctx->entry_counter, 1 );
+      }
+    text: |
+      The entries installed at the interrupt vector specified by
+      ${../if/entry-remove:/params[0]/name} shall not be modified by the
+      ${../if/entry-remove:/name} call.
+  test-epilogue: null
+  test-prologue: |
+    rtems_status_code sc;
+    uint32_t          expected_entries;
+pre-conditions:
+- name: Vector
+  states:
+  - name: Valid
+    test-code: |
+      ctx->vector = ctx->valid_vector;
+    text: |
+      While the ${../if/entry-remove:/params[0]/name} parameter is
+      associated with an interrupt vector.
+  - name: Invalid
+    test-code: |
+      ctx->vector = BSP_INTERRUPT_VECTOR_COUNT;
+    text: |
+      While the ${../if/entry-remove:/params[0]/name} parameter is
+      not associated with an interrupt vector.
+  test-epilogue: null
+  test-prologue: null
+- name: Entry
+  states:
+  - name: Obj
+    test-code: |
+      ctx->entry = &ctx->entry_obj;
+    text: |
+      While the ${../if/entry-remove:/params[1]/name} parameter references an
+      object of type ${../if/entry:/name}.
+  - name: 'Null'
+    test-code: |
+      ctx->entry = NULL;
+    text: |
+      While the ${../if/entry-remove:/params[1]/name} parameter is equal to
+      ${/c/if/null:/name}.
+  test-epilogue: null
+  test-prologue: null
+- name: Routine
+  states:
+  - name: Valid
+    test-code: |
+      rtems_interrupt_entry_initialize(
+        &ctx->entry_obj,
+        EntryRoutine,
+        &entry_arg,
+        info
+      );
+    text: |
+      While the handler routine of the entry referenced by the
+      ${../if/entry-install:/params[1]/name} parameter is valid.
+  - name: 'Null'
+    test-code: |
+      rtems_interrupt_entry_initialize(
+        &ctx->entry_obj,
+        NULL,
+        &entry_arg,
+        info
+      );
+    text: |
+      While the handler routine of the entry referenced by the
+      ${../if/entry-install:/params[1]/name} parameter is equal to
+      ${/c/if/null:/name}.
+  test-epilogue: null
+  test-prologue: null
+- name: EntryObj
+  states:
+  - name: Installed
+    test-code: |
+      ctx->installed = true;
+    text: |
+      While the entry referenced by the ${../if/entry-install:/params[1]/name}
+      parameter is installed at the interrupt vector specified by the
+      ${../if/entry-remove:/params[0]/name} parameter.
+  - name: Match
+    test-code: |
+      ctx->installed = false;
+      ctx->other_installed = true;
+      ctx->match = true;
+    text: |
+      While the entry referenced by the ${../if/entry-install:/params[1]/name}
+      parameter not installed at the interrupt vector specified by the
+      ${../if/entry-remove:/params[0]/name} parameter,
+      while the entry referenced by the ${../if/entry-install:/params[1]/name}
+      has a handler routine and argument pair which is equal to the handler
+      routine and argument pair of an entry installed at the interrupt vector
+      specified by the ${../if/entry-remove:/params[0]/name} parameter.
+  - name: NoMatch
+    test-code: |
+      ctx->installed = false;
+      ctx->other_installed = true;
+      ctx->match = false;
+    text: |
+      While the entry referenced by the ${../if/entry-install:/params[1]/name}
+      parameter not installed at the interrupt vector specified by the
+      ${../if/entry-remove:/params[0]/name} parameter,
+      while the entry referenced by the ${../if/entry-install:/params[1]/name}
+      has a handler routine and argument pair which is not equal to the handler
+      routine and argument pairs of all entries installed at the interrupt
+      vector specified by the ${../if/entry-remove:/params[0]/name} parameter.
+  test-epilogue: null
+  test-prologue: null
+- name: Init
+  states:
+  - name: 'Yes'
+    test-code: |
+      ctx->initialized = true;
+    text: |
+      While the service is initialized.
+  - name: 'No'
+    test-code: |
+      ctx->initialized = false;
+    text: |
+      While the service is not initialized.
+  test-epilogue: null
+  test-prologue: null
+- name: ISR
+  states:
+  - name: 'Yes'
+    test-code: |
+      ctx->isr = true;
+    text: |
+      While ${../if/entry-remove:/name} is called from within interrupt
+      context.
+  - name: 'No'
+    test-code: |
+      ctx->isr = false;
+    text: |
+      While ${../if/entry-remove:/name} is not called from within interrupt
+      context.
+  test-epilogue: null
+  test-prologue: null
+- name: First
+  states:
+  - name: 'Yes'
+    test-code: |
+      ctx->first = true;
+    text: |
+      While the entry referenced by the ${../if/entry-remove:/params[1]/name}
+      parameter is installed as the first entry at the interrupt vector
+      specified by the ${../if/entry-remove:/params[0]/name} parameter.
+  - name: 'No'
+    test-code: |
+      ctx->first = false;
+    text: |
+      While the entry referenced by the ${../if/entry-remove:/params[1]/name}
+      parameter is installed as not the first entry at the interrupt vector
+      specified by the ${../if/entry-remove:/params[0]/name} parameter.
+  test-epilogue: null
+  test-prologue: null
+- name: Last
+  states:
+  - name: 'Yes'
+    test-code: |
+      ctx->last = true;
+    text: |
+      While the entry referenced by the ${../if/entry-remove:/params[1]/name}
+      parameter is installed as the last entry at the interrupt vector
+      specified by the ${../if/entry-remove:/params[0]/name} parameter.
+  - name: 'No'
+    test-code: |
+      ctx->last = false;
+    text: |
+      While the entry referenced by the ${../if/entry-remove:/params[1]/name}
+      parameter is installed as not the last entry at the interrupt vector
+      specified by the ${../if/entry-remove:/params[0]/name} parameter.
+  test-epilogue: null
+  test-prologue: null
+rationale: null
+references: []
+requirement-type: functional
+skip-reasons: {}
+test-action: |
+  if ( ctx->installed ) {
+    ctx->entry = &ctx->entry_obj;
+
+    if ( ctx->first && ctx->last ) {
+      Install( ctx, &ctx->entry_obj, EntryRoutine, &entry_arg );
+    } else if ( ctx->first ) {
+      ctx->other_installed = true;
+      Install( ctx, &ctx->entry_obj, EntryRoutine, &entry_arg );
+      Install( ctx, &ctx->other_entry, OtherRoutine, &other_arg );
+    } else if ( ctx->last ) {
+      ctx->other_installed = true;
+      Install( ctx, &ctx->other_entry, OtherRoutine, &other_arg );
+      Install( ctx, &ctx->entry_obj, EntryRoutine, &entry_arg );
+    } else {
+      ctx->other_installed = true;
+      ctx->third_installed = true;
+      Install( ctx, &ctx->other_entry, OtherRoutine, &other_arg );
+      Install( ctx, &ctx->entry_obj, EntryRoutine, &entry_arg );
+      Install( ctx, &ctx->third_entry, ThirdRoutine, &third_arg );
+    }
+  } else if ( ctx->other_installed ) {
+    ctx->entry = &ctx->entry_obj;
+
+    if ( ctx->match ) {
+      Install( ctx, &ctx->other_entry, EntryRoutine, &entry_arg );
+    } else {
+      Install( ctx, &ctx->other_entry, OtherRoutine, &other_arg );
+    }
+  }
+
+  if ( ctx->isr ) {
+    CallWithinISR( Action, ctx );
+  } else {
+    Action( ctx );
+  }
+test-brief: null
+test-cleanup: |
+  rtems_status_code sc;
+
+  if ( ctx->third_installed ) {
+    sc = rtems_interrupt_entry_remove( ctx->valid_vector, &ctx->third_entry );
+    T_rsc_success( sc );
+  }
+
+  if ( ctx->other_installed ) {
+    sc = rtems_interrupt_entry_remove( ctx->valid_vector, &ctx->other_entry );
+    T_rsc_success( sc );
+  }
+
+  if ( ctx->installed && ctx->status != RTEMS_SUCCESSFUL ) {
+    sc = rtems_interrupt_entry_remove( ctx->valid_vector, ctx->entry );
+    T_rsc_success( sc );
+  }
+test-context:
+- brief: |
+    If this member is true, then the service was initialized during setup.
+  description: null
+  member: |
+    bool initialized_during_setup
+- brief: |
+    If this member is true, then an interrupt occurred.
+  description: null
+  member: |
+    bool interrupt_occurred
+- brief: |
+    This member provides a counter incremented by EntryRoutine().
+  description: null
+  member: |
+    uint32_t entry_counter;
+- brief: |
+    This member provides another ${../if/entry:/name} object.
+  description: null
+  member: |
+    rtems_interrupt_entry other_entry
+- brief: |
+    If this member is true, then another entry was installed.
+  description: null
+  member: |
+    bool other_installed
+- brief: |
+    This member provides a third ${../if/entry:/name} object.
+  description: null
+  member: |
+    rtems_interrupt_entry third_entry
+- brief: |
+    If this member is true, then a third entry was installed.
+  description: null
+  member: |
+    bool third_installed
+- brief: |
+    If this member is true, then the entry is installed.
+  description: null
+  member: |
+    bool installed
+- brief: |
+    If this member is true, then the entry is installed as the first entry.
+  description: null
+  member: |
+    bool first
+- brief: |
+    If this member is true, then the entry is installed as the last entry.
+  description: null
+  member: |
+    bool last
+- brief: |
+    If this member is true, then the entry matches with another installed
+    entry.
+  description: null
+  member: |
+    bool match
+- brief: |
+    This member provides a valid interrupt vector number.
+  description: null
+  member: |
+    rtems_vector_number valid_vector
+- brief: |
+    If this member is true, then the service shall be initialized.
+  description: null
+  member: |
+    bool initialized
+- brief: |
+    If this member is true, then ${../if/entry-remove:/name} shall be called
+    from within interrupt context.
+  description: null
+  member: |
+    bool isr
+- brief: |
+    This member contains the enabled status before the
+    ${../if/entry-remove:/name} call.
+  description: null
+  member: |
+    bool enabled_before
+- brief: |
+    This member contains the enabled status after the
+    ${../if/entry-remove:/name} call.
+  description: null
+  member: |
+    bool enabled_after
+- brief: |
+    This member provides the count of visited entries.
+  description: null
+  member: |
+    uint32_t visited_entries
+- brief: |
+    This member provides the ${../if/entry:/name} object.
+  description: null
+  member: |
+    rtems_interrupt_entry entry_obj
+- brief: |
+    This member specifies if the ${../if/entry-remove:/params[0]/name}
+    parameter value.
+  description: null
+  member: |
+    rtems_vector_number vector
+- brief: |
+    This member specifies if the ${../if/entry-remove:/params[1]/name}
+    parameter value.
+  description: null
+  member: |
+    rtems_interrupt_entry *entry;
+- brief: |
+    This member contains the return value of the ${../if/entry-remove:/name}
+    call.
+  description: null
+  member: |
+    rtems_status_code status
+test-context-support: null
+test-description: null
+test-header: null
+test-includes:
+- rtems/irq-extension.h
+- bsp/irq-generic.h
+test-local-includes:
+- tx-support.h
+test-prepare: |
+  ctx->interrupt_occurred = false;
+  ctx->installed = false;
+  ctx->other_installed = false;
+  ctx->third_installed = false;
+test-setup:
+  brief: null
+  code: |
+    ctx->initialized_during_setup = bsp_interrupt_is_initialized();
+
+    /* Find a valid interrupt vector for this test */
+    for (
+      ctx->valid_vector = 0;
+      ctx->valid_vector < BSP_INTERRUPT_VECTOR_COUNT;
+      ++ctx->valid_vector
+    ) {
+      rtems_status_code          sc;
+      rtems_interrupt_attributes attr;
+
+      sc = rtems_interrupt_get_attributes( ctx->valid_vector, &attr );
+
+      if (
+        sc == RTEMS_SUCCESSFUL && attr.can_enable && attr.can_disable &&
+        attr.is_maskable &&
+        !HasInterruptVectorEntriesInstalled( ctx->valid_vector )
+      ) {
+        break;
+      }
+    }
+  description: null
+test-stop: null
+test-support: |
+  typedef RtemsIntrReqEntryRemove_Context Context;
+
+  static char entry_arg;
+
+  static char other_arg;
+
+  static char third_arg;
+
+  static const char info[] = "Info";
+
+  static void Install(
+    Context                *ctx,
+    rtems_interrupt_entry  *entry,
+    rtems_interrupt_handler routine,
+    void                   *arg
+  )
+  {
+    rtems_status_code sc;
+
+    rtems_interrupt_entry_initialize(
+      entry,
+      routine,
+      arg,
+      info
+    );
+
+    sc = rtems_interrupt_entry_install(
+      ctx->valid_vector,
+      RTEMS_INTERRUPT_SHARED,
+      entry
+    );
+    T_rsc_success( sc );
+  }
+
+  static void OtherRoutine( void *arg )
+  {
+    Context          *ctx;
+    rtems_status_code sc;
+
+    (void) arg;
+    ctx = T_fixture_context();
+    sc = rtems_interrupt_vector_disable( ctx->valid_vector );
+    T_rsc_success( sc );
+
+    ctx->interrupt_occurred = true;
+  }
+
+  static void ThirdRoutine( void *arg )
+  {
+    T_eq_ptr( arg, &third_arg );
+    OtherRoutine( NULL );
+  }
+
+  static void EntryRoutine( void *arg )
+  {
+    Context *ctx;
+
+    ctx = T_fixture_context();
+    ++ctx->entry_counter;
+
+    T_eq_ptr( arg, &entry_arg );
+    OtherRoutine( NULL );
+  }
+
+  static void Action( void *arg )
+  {
+    Context          *ctx;
+    rtems_status_code sc;
+
+    ctx = arg;
+
+    sc = rtems_interrupt_vector_is_enabled(
+      ctx->valid_vector,
+      &ctx->enabled_before
+    );
+    T_rsc_success( sc );
+
+    bsp_interrupt_set_handler_unique(
+      BSP_INTERRUPT_HANDLER_TABLE_SIZE,
+      ctx->initialized
+    );
+
+    ctx->status = rtems_interrupt_entry_remove( ctx->vector, ctx->entry );
+
+    bsp_interrupt_set_handler_unique(
+      BSP_INTERRUPT_HANDLER_TABLE_SIZE,
+      ctx->initialized_during_setup
+    );
+
+    sc = rtems_interrupt_vector_is_enabled(
+      ctx->valid_vector,
+      &ctx->enabled_after
+    );
+    T_rsc_success( sc );
+  }
+
+  static void VisitInstalledNo(
+    void                   *arg,
+    const char             *entry_info,
+    rtems_option            options,
+    rtems_interrupt_handler handler_routine,
+    void                   *handler_arg
+  )
+  {
+    Context *ctx;
+    uint32_t visited_entries;
+
+    ctx = arg;
+    visited_entries = ctx->visited_entries;
+
+    T_eq_u32( options, RTEMS_INTERRUPT_SHARED );
+    T_eq_ptr( entry_info, info );
+
+    if ( visited_entries == 0 ) {
+      T_eq_ptr( handler_routine, ctx->other_entry.handler );
+      T_eq_ptr( handler_arg, ctx->other_entry.arg );
+    } else if ( visited_entries == 1 ) {
+      T_eq_ptr( handler_routine, ctx->third_entry.handler );
+      T_eq_ptr( handler_arg, ctx->third_entry.arg );
+    }
+
+    ctx->visited_entries = visited_entries + 1;
+  }
+
+  static void VisitInstalledNop(
+    void                   *arg,
+    const char             *entry_info,
+    rtems_option            options,
+    rtems_interrupt_handler handler_routine,
+    void                   *handler_arg
+  )
+  {
+    Context *ctx;
+    uint32_t visited_entries;
+
+    ctx = arg;
+    visited_entries = ctx->visited_entries;
+
+    T_eq_u32( options, RTEMS_INTERRUPT_SHARED );
+    T_eq_ptr( entry_info, info );
+
+    if ( visited_entries == 0 ) {
+      if ( ctx->installed && ctx->first ) {
+        T_eq_ptr( handler_routine, ctx->entry_obj.handler );
+        T_eq_ptr( handler_arg, ctx->entry_obj.arg );
+      } else {
+        T_eq_ptr( info, ctx->other_entry.info );
+        T_eq_ptr( handler_routine, ctx->other_entry.handler );
+        T_eq_ptr( handler_arg, ctx->other_entry.arg );
+      }
+    } else if ( visited_entries == 1 ) {
+      if (
+        ctx->installed && ( ( !ctx->first && ctx->last ) ||
+          ( !ctx->first && !ctx->last ) )
+      ) {
+        T_eq_ptr( handler_routine, ctx->entry_obj.handler );
+        T_eq_ptr( handler_arg, ctx->entry_obj.arg );
+      } else {
+        T_eq_ptr( handler_routine, ctx->other_entry.handler );
+        T_eq_ptr( handler_arg, ctx->other_entry.arg );
+      }
+    } else if ( visited_entries == 2 ) {
+      if ( ctx->installed && !ctx->first && ctx->last ) {
+        T_eq_ptr( handler_routine, ctx->entry_obj.handler );
+        T_eq_ptr( handler_arg, ctx->entry_obj.arg );
+      } else {
+        T_eq_ptr( handler_routine, ctx->third_entry.handler );
+        T_eq_ptr( handler_arg, ctx->third_entry.arg );
+      }
+    }
+
+    ctx->visited_entries = visited_entries + 1;
+  }
+test-target: testsuites/validation/tc-intr-entry-remove.c
+test-teardown: null
+text: ${.:text-template}
+transition-map:
+- enabled-by: true
+  post-conditions:
+    Status: Ok
+    IsEnabled:
+    - if:
+        pre-conditions:
+          First: 'Yes'
+          Last: 'Yes'
+      then: 'No'
+    - else: Nop
+    Installed: 'No'
+  pre-conditions:
+    Vector:
+    - Valid
+    Entry:
+    - Obj
+    Routine:
+    - Valid
+    EntryObj:
+    - Installed
+    Init:
+    - 'Yes'
+    ISR:
+    - 'No'
+    First: all
+    Last: all
+- enabled-by: true
+  post-conditions:
+    Status: Unsat
+    IsEnabled: Nop
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Valid
+    Entry:
+    - Obj
+    Routine:
+    - Valid
+    EntryObj:
+    - Match
+    - NoMatch
+    Init:
+    - 'Yes'
+    ISR:
+    - 'No'
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: InvAddr
+    IsEnabled: Nop
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Valid
+    Entry:
+    - 'Null'
+    Routine: N/A
+    EntryObj: N/A
+    Init: all
+    ISR: all
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: InvAddr
+    IsEnabled: N/A
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Invalid
+    Entry:
+    - 'Null'
+    Routine: N/A
+    EntryObj: N/A
+    Init: all
+    ISR: all
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: IncStat
+    IsEnabled: Nop
+    Installed: N/A
+  pre-conditions:
+    Vector: all
+    Entry:
+    - Obj
+    Routine: all
+    EntryObj: N/A
+    Init:
+    - 'No'
+    ISR: all
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: InvAddr
+    IsEnabled: Nop
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Valid
+    Entry:
+    - Obj
+    Routine:
+    - 'Null'
+    EntryObj: N/A
+    Init:
+    - 'Yes'
+    ISR: all
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: InvAddr
+    IsEnabled: N/A
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Invalid
+    Entry:
+    - Obj
+    Routine:
+    - 'Null'
+    EntryObj: N/A
+    Init:
+    - 'Yes'
+    ISR: all
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: InvId
+    IsEnabled: N/A
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Invalid
+    Entry:
+    - Obj
+    Routine:
+    - Valid
+    EntryObj: N/A
+    Init:
+    - 'Yes'
+    ISR: all
+    First: N/A
+    Last: N/A
+- enabled-by: true
+  post-conditions:
+    Status: CalledFromISR
+    IsEnabled: Nop
+    Installed: Nop
+  pre-conditions:
+    Vector:
+    - Valid
+    Entry:
+    - Obj
+    Routine:
+    - Valid
+    EntryObj:
+    - Installed
+    Init:
+    - 'Yes'
+    ISR:
+    - 'Yes'
+    First: all
+    Last: all
+- enabled-by: true
+  post-conditions:
+    Status: CalledFromISR
+    IsEnabled: Nop
+    Installed: N/A
+  pre-conditions:
+    Vector:
+    - Valid
+    Entry:
+    - Obj
+    Routine:
+    - Valid
+    EntryObj:
+    - Match
+    - NoMatch
+    Init:
+    - 'Yes'
+    ISR:
+    - 'Yes'
+    First: N/A
+    Last: N/A
+type: requirement