CORDET Framework - C2 Implementation

This procedure is run when a command has failed its start check or its termination check. More...

Go to the source code of this file.

Functions

void CrPsCmdVerFailN2 (FwPrDesc_t prDesc)
 Action for node N2. More...
 
void CrPsCmdVerFailN3 (FwPrDesc_t prDesc)
 Action for node N3. More...
 
void CrPsCmdVerFailN4 (FwPrDesc_t prDesc)
 Action for node N4. More...
 
void CrPsCmdVerFailN5 (FwPrDesc_t prDesc)
 Action for node N5. More...
 
void CrPsCmdVerFailN6 (FwPrDesc_t prDesc)
 Action for node N6. More...
 
FwPrBool_t CrPsCmdVerFailG1 (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION2 to N3. More...
 

Variables

static FwSmDesc_t rep
 CrPsCmdVerFail function definitions. More...
 

Detailed Description

This procedure is run when a command has failed its start check or its termination check.

Author
FW Profile code generator version 5.01
Date
Created on: Jul 11 2017 18:1:13
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 CrPsCmdVerFailFunc.c.

Function Documentation

FwPrBool_t CrPsCmdVerFailG1 ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION2 to N3.

Definition at line 242 of file CrPsCmdVerFailFunc.c.

void CrPsCmdVerFailN2 ( FwPrDesc_t  prDesc)

Action for node N2.

Definition at line 57 of file CrPsCmdVerFailFunc.c.

void CrPsCmdVerFailN3 ( FwPrDesc_t  prDesc)

Action for node N3.

Definition at line 74 of file CrPsCmdVerFailFunc.c.

void CrPsCmdVerFailN4 ( FwPrDesc_t  prDesc)

Action for node N4.

Definition at line 92 of file CrPsCmdVerFailFunc.c.

void CrPsCmdVerFailN5 ( FwPrDesc_t  prDesc)

Action for node N5.

Definition at line 164 of file CrPsCmdVerFailFunc.c.

void CrPsCmdVerFailN6 ( FwPrDesc_t  prDesc)

Action for node N6.

Definition at line 192 of file CrPsCmdVerFailFunc.c.

Variable Documentation

FwSmDesc_t rep
static

CrPsCmdVerFail function definitions.

FW Profile function definitions

Definition at line 50 of file CrPsCmdVerFailFunc.c.

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