FW Profile - C1 Implementation
TestSmData Struct Reference

Type for the state machine data for the test state machines. More...

Data Fields

int counter_1
 Counter incremented by the state actions. More...
 
int counter_2
 Counter incremented by the transition actions. More...
 
int flag_1
 Flag checked by the transition guards. More...
 
int flag_2
 Flag checked by the transition guards. More...
 
int flag_3
 Flag checked by the transition guards. More...
 
int logBase
 Offset for markers written to log array. More...
 

Detailed Description

Type for the state machine data for the test state machines.

This data structure defines counters and flags. The counters are incremented by the state machine actions and the flags are used to determine the outcome of the state machine guards.

The actions attached to the test state machines write a "marker" and the current state of their state machine to two log arrays (logMarker and logState).

Thus, when a state action is executed it does the following:

  1. it writes: (marker+logBase) at logMarker[logIndex];
  2. it writes: (currentState+logBase) at logState[logIndex]; and
  3. it increments logIndex by 1.

The values of the markers are: 1 for the entry action; 2 for the do-action; 3 for the exit action; and 4 for the transition action.

The log arrays are common to all test state machines. In order to allow the entries made by different state machines to be distinguished, the logBase field provides an offset which is specific to each state machine.

Definition at line 101 of file FwSmMakeTest.h.

Field Documentation

int counter_1

Counter incremented by the state actions.

Definition at line 103 of file FwSmMakeTest.h.

int counter_2

Counter incremented by the transition actions.

Definition at line 105 of file FwSmMakeTest.h.

int flag_1

Flag checked by the transition guards.

Definition at line 107 of file FwSmMakeTest.h.

int flag_2

Flag checked by the transition guards.

Definition at line 109 of file FwSmMakeTest.h.

int flag_3

Flag checked by the transition guards.

Definition at line 111 of file FwSmMakeTest.h.

int logBase

Offset for markers written to log array.

Definition at line 113 of file FwSmMakeTest.h.


The documentation for this struct was generated from the following file:
P&P Software GmbH, Copyright 2011, All Rights Reserved