[rtems-central commit] spec: Specify rtems_interrupt_entry_remove()
Sebastian Huber
sebh at rtems.org
Mon Jul 12 12:57:20 UTC 2021
Module: rtems-central
Branch: master
Commit: caff70197776c07f332b3353ba21f07cb8e04e54
Changeset: http://git.rtems.org/rtems-central/commit/?id=caff70197776c07f332b3353ba21f07cb8e04e54
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Wed Jun 30 08:12:37 2021 +0200
spec: Specify rtems_interrupt_entry_remove()
---
spec/rtems/intr/req/entry-remove.yml | 884 +++++++++++++++++++++++++++++++++++
1 file changed, 884 insertions(+)
diff --git a/spec/rtems/intr/req/entry-remove.yml b/spec/rtems/intr/req/entry-remove.yml
new file mode 100644
index 0000000..bdde292
--- /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
More information about the vc
mailing list