CORDET Framework - C2 Implementation

Create one instance of the CrPsRep3s25Ready procedure. More...

Go to the source code of this file.

Macros

#define CrPsRep3s25Ready_N1   (1) /* The identifier of action node N1 in procedure CrPsRep3s25Ready */
 Make sure to include this header file only once. More...
 
#define CrPsRep3s25Ready_N2   (2) /* The identifier of action node N2 in procedure CrPsRep3s25Ready */
 
#define CrPsRep3s25Ready_N3   (3) /* The identifier of action node N3 in procedure CrPsRep3s25Ready */
 
#define CrPsRep3s25Ready_N4   (4) /* The identifier of action node N4 in procedure CrPsRep3s25Ready */
 

Functions

FwPrDesc_t CrPsRep3s25ReadyCreate (void *prData)
 Create a new procedure descriptor. More...
 
void CrPsRep3s25ReadyN1 (FwPrDesc_t prDesc)
 Action for node N1. More...
 
void CrPsRep3s25ReadyN2 (FwPrDesc_t prDesc)
 Action for node N2. More...
 
void CrPsRep3s25ReadyN3 (FwPrDesc_t prDesc)
 Action for node N3. More...
 
void CrPsRep3s25ReadyN4 (FwPrDesc_t prDesc)
 Action for node N4. More...
 
FwPrBool_t CrPsRep3s25ReadyG1 (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION1 to N3. More...
 
FwPrBool_t CrPsRep3s25ReadyG1E (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION1 to N2. More...
 
FwPrBool_t CrPsRep3s25ReadyG2 (FwPrDesc_t prDesc)
 Guard on the Control Flow from N4 to DECISION2. More...
 
FwPrBool_t CrIaReadyChk3s25ReadyGoToRst (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION2 to N1. More...
 
FwPrBool_t CrPsRep3s25ReadyGoToFin (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION2 to Final Node. More...
 
FwPrBool_t CrIaReadyChk3s25ReadyGoToDec (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION2 to DECISION1. More...
 

Detailed Description

Create one instance of the CrPsRep3s25Ready procedure.

This header file declares the function to create one instance of the CrPsRep3s25Ready procedure. The procedure is configured with a set of function pointers representing the non-default actions and guards of the procedure. Some of these functions may also be declared in this header file in accordance with the configuration of the procedure in the FW Profile Editor. In the latter case, the user has to provide an implementation for these functions in a user-supplied body file.

This header file has been automatically generated by the FW Profile Editor. The procedure created by this file is shown in the figure below.

CrPsRep3s25Ready.png
Author
FW Profile code generator version 5.01
Date
Created on: Jan 3 2018 14:31:12
Author
Christian Reimers chris.nosp@m.tian.nosp@m..reim.nosp@m.ers@.nosp@m.univi.nosp@m.e.ac.nosp@m..at
Markus Rockenbauer marku.nosp@m.s.ro.nosp@m.ckenb.nosp@m.auer.nosp@m.@univ.nosp@m.ie.a.nosp@m.c.at

last modification: 22.01.2018

This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.

Definition in file CrPsRep3s25ReadyCreate.h.

Macro Definition Documentation

#define CrPsRep3s25Ready_N1   (1) /* The identifier of action node N1 in procedure CrPsRep3s25Ready */

Make sure to include this header file only once.

FW Profile function definitions Action node identifiers

Definition at line 43 of file CrPsRep3s25ReadyCreate.h.

Function Documentation

FwPrBool_t CrIaReadyChk3s25ReadyGoToDec ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION2 to DECISION1.

(Cycle Counter != Period) && (SID is Defined)

Parameters
smDescthe procedure descriptor
Returns
1 if the guard is fulfilled, otherwise 0.

Definition at line 43 of file CrPsRep3s25ReadyCreate.c.

FwPrBool_t CrIaReadyChk3s25ReadyGoToRst ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION2 to N1.

(Cycle Counter == Period) && (SID is Defined)

Parameters
smDescthe procedure descriptor
Returns
1 if the guard is fulfilled, otherwise 0.

Definition at line 168 of file CrPsRep3s25ReadyFunc.c.

FwPrDesc_t CrPsRep3s25ReadyCreate ( void *  prData)

Create a new procedure descriptor.

This interface creates the procedure descriptor dynamically.

Parameters
prDatathe pointer to the procedure data. A value of NULL is legal (note that the default value of the pointer to the procedure data when the procedure is created is NULL).
Returns
the pointer to the procedure descriptor

Create the procedure

Configure the procedure

Definition at line 50 of file CrPsRep3s25ReadyCreate.c.

FwPrBool_t CrPsRep3s25ReadyG1 ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION1 to N3.

Flag_1

Parameters
smDescthe procedure descriptor
Returns
1 if the guard is fulfilled, otherwise 0.

Definition at line 123 of file CrPsRep3s25ReadyFunc.c.

FwPrBool_t CrPsRep3s25ReadyG1E ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION1 to N2.

! Flag_1

Parameters
smDescthe procedure descriptor
Returns
1 if the guard is fulfilled, otherwise 0.

Guard on the Control Flow from DECISION1 to N2.

CrPsRep3s25Ready function definitions Guard on the Control Flow from DECISION1 to N2.

Definition at line 36 of file CrPsRep3s25ReadyCreate.c.

FwPrBool_t CrPsRep3s25ReadyG2 ( FwPrDesc_t  prDesc)

Guard on the Control Flow from N4 to DECISION2.

Next Execution

Parameters
smDescthe procedure descriptor
Returns
1 if the guard is fulfilled, otherwise 0.

Definition at line 154 of file CrPsRep3s25ReadyFunc.c.

FwPrBool_t CrPsRep3s25ReadyGoToFin ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION2 to Final Node.

SID is not defined

Parameters
smDescthe procedure descriptor
Returns
1 if the guard is fulfilled, otherwise 0.

Definition at line 196 of file CrPsRep3s25ReadyFunc.c.

void CrPsRep3s25ReadyN1 ( FwPrDesc_t  prDesc)

Action for node N1.

Set Cycle Counter to zero

Parameters
smDescthe procedure descriptor

Action for node N1.

FW Profile function definitions Action for node N1.

Definition at line 52 of file CrPsRep3s25ReadyFunc.c.

void CrPsRep3s25ReadyN2 ( FwPrDesc_t  prDesc)

Action for node N2.

Ready Check
returns 'Ready'
Parameters
smDescthe procedure descriptor

Definition at line 67 of file CrPsRep3s25ReadyFunc.c.

void CrPsRep3s25ReadyN3 ( FwPrDesc_t  prDesc)

Action for node N3.

Ready Check
returns 'Not Ready'
Parameters
smDescthe procedure descriptor

Definition at line 84 of file CrPsRep3s25ReadyFunc.c.

void CrPsRep3s25ReadyN4 ( FwPrDesc_t  prDesc)

Action for node N4.

Increment Cycle Counter

Parameters
smDescthe procedure descriptor

Definition at line 101 of file CrPsRep3s25ReadyFunc.c.

P&P Software GmbH, Copyright 2012-2013, All Rights Reserved