CORDET Framework - C2 Implementation

This procedure is run when a command has passed its acceptance, start or termination check. More...

Go to the source code of this file.

Functions

void CrPsCmdVerSuccN2 (FwPrDesc_t prDesc)
 Action for node N2. More...
 
void CrPsCmdVerSuccN3 (FwPrDesc_t prDesc)
 Action for node N3. More...
 
void CrPsCmdVerSuccN4 (FwPrDesc_t prDesc)
 Action for node N4. More...
 
FwPrBool_t CrPsCmdVerSuccG1 (FwPrDesc_t prDesc)
 Guard on the Control Flow from DECISION2 to N3. More...
 

Variables

static FwSmDesc_t rep
 CrPsCmdVerSucc function definitions. More...
 

Detailed Description

This procedure is run when a command has passed its acceptance, start or termination check.

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

Function Documentation

FwPrBool_t CrPsCmdVerSuccG1 ( FwPrDesc_t  prDesc)

Guard on the Control Flow from DECISION2 to N3.

Definition at line 158 of file CrPsCmdVerSuccFunc.c.

void CrPsCmdVerSuccN2 ( FwPrDesc_t  prDesc)

Action for node N2.

Definition at line 55 of file CrPsCmdVerSuccFunc.c.

void CrPsCmdVerSuccN3 ( FwPrDesc_t  prDesc)

Action for node N3.

Definition at line 73 of file CrPsCmdVerSuccFunc.c.

void CrPsCmdVerSuccN4 ( FwPrDesc_t  prDesc)

Action for node N4.

Definition at line 89 of file CrPsCmdVerSuccFunc.c.

Variable Documentation

FwSmDesc_t rep
static

CrPsCmdVerSucc function definitions.

FW Profile function definitions

Definition at line 49 of file CrPsCmdVerSuccFunc.c.

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