FW Profile - C1 Implementation
TestPrData Struct Reference

Type for the data structure passed to all procedures made by the functions declared by this header file. More...

Data Fields

int counter_1
 Counter incremented by the procedure actions. More...
 
int marker
 Procedure's marker. More...
 
int flag_1
 Flag used in the procedure control flows. More...
 
int flag_2
 Flag used in the procedure control flows. More...
 
int flag_3
 Flag used in the procedure control flows. More...
 
int flag_4
 Flag used in the procedure control flows. More...
 
int flag_5
 Flag used in the procedure control flows. More...
 
int flag_6
 Flag used in the procedure control flows. More...
 

Detailed Description

Type for the data structure passed to all procedures made by the functions declared by this header file.

The counters are incremented by the procedure actions and the flags are used to determine the outcome of the procedure guards.

The actions attached to the test procedures write a "marker" and the current node of their procedure to two log arrays (logMarker and logNode, these arrays are defined as global variables in the c-file). The value of the marker is stored in field marker. Thus, when a procedure action is executed it does the following:

  1. it writes the marker at logMarker[logIndex];
  2. it writes the current node identifier at logNode[logIndex]; and
  3. it increments logIndex by 1.

Definition at line 63 of file FwPrMakeTest.h.

Field Documentation

int counter_1

Counter incremented by the procedure actions.

Definition at line 65 of file FwPrMakeTest.h.

int flag_1

Flag used in the procedure control flows.

Definition at line 69 of file FwPrMakeTest.h.

int flag_2

Flag used in the procedure control flows.

Definition at line 71 of file FwPrMakeTest.h.

int flag_3

Flag used in the procedure control flows.

Definition at line 73 of file FwPrMakeTest.h.

int flag_4

Flag used in the procedure control flows.

Definition at line 75 of file FwPrMakeTest.h.

int flag_5

Flag used in the procedure control flows.

Definition at line 77 of file FwPrMakeTest.h.

int flag_6

Flag used in the procedure control flows.

Definition at line 79 of file FwPrMakeTest.h.

int marker

Procedure's marker.

Definition at line 67 of file FwPrMakeTest.h.


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