65 #include "FwSmConstants.h" 66 #include "FwSmConfig.h" 68 #include "FwPrConfig.h" 70 #include "FwPrConstants.h" 87 #include "CrFwOutRegistryUserPar.h" 88 #include "CrFwOutFactoryUserPar.h" 89 #include "CrFwInFactoryUserPar.h" 90 #include "CrFwCmpData.h" 119 FwSmDesc_t inStream1, inStream2, outStream1, outStream2;
128 printf(
"Consistency check of OutRegistry parameters failed\n");
130 printf(
"Consistency check of OutFactory parameters failed\n");
132 printf(
"Consistency check of InCommand parameters in InFactory failed\n");
134 printf(
"Consistency check of InRepot parameters in InFactory failed\n");
137 printf(
"S1: Consistency check of configuration parameters ran successfully.\n");
162 printf(
"S1: Wait 5 seconds (to give time to the client sockets applications to start) and then continue\n");
198 for (i=1; i<100; i++) {
199 printf(
"S1: Starting cycle %d\n",i);
223 printf(
"S1: Application Error Code is set and is equal to: %d\n",
CrFwGetAppErrCode());
#define CR_S1_HIGH_TEMP_VALUE
The "high" temperature value.
Interface through which framework components access the current time.
Interface for the client socket used in the CORDET Demo.
void CrFwCmpInit(FwSmDesc_t smDesc)
Initialize a framework component.
void CrDaServerSocketSetPort(int n)
Set the port number for the socket.
CrFwBool_t CrFwCmpIsInConfigured(FwSmDesc_t smDesc)
Return true if the argument component is in state CONFIGURED.
InFactory configuration parameters for InCommands are inconsistent (see CrFwAuxInFactoryInCmdConfigCh...
#define CR_DA_SOCKET_PORT
The port number for the socket port.
Auxiliary module to check the static part of an application's configuration.
Definition of the OutStream component.
Definition of the OutFactory component.
FwSmDesc_t CrFwOutManagerMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th OutManager State Machine instance.
Interface for creating and accessing a report or command packet.
Definition of the InStream component.
Definition of the OutRegistry Component.
Definition of the InRegistry Component.
CrFwBool_t CrFwCmpIsInInitialized(FwSmDesc_t smDesc)
Return true if the argument component is in state INITIALIZED.
CrFwConfigCheckOutcome_t CrFwAuxConfigCheck()
Check the configuration of an application.
Interface for reporting an error detected by a framework component.
FwSmDesc_t CrFwInRegistryMake()
Factory function for the singleton instance of the InRegistry.
CrFwConfigCheckOutcome_t
Type for the outcome of the consistency check on the configuration parameters.
OutFactory configuration parameters are inconsistent (see CrFwAuxOutFactoryConfigCheck.h)
All configuration consistency checks have been passed.
FwSmDesc_t CrFwInLoaderMake()
Factory function to retrieve the state machine implementing the InLoader singleton component...
FwSmDesc_t CrFwOutLoaderMake()
Factory function to retrieve the OutLoader State Machine instance.
FwSmDesc_t CrFwInManagerMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th InManager State Machine instance.
Definition of the InFactory component.
int main()
Main program for the Slave 1 Application.
InFactory configuration parameters for InReports are inconsistent (see CrFwAuxInFactoryInRepConfigChe...
Definition of the utility functions for the CORDET Framework.
FwSmDesc_t CrFwOutRegistryMake()
Factory function for the singleton instance of the OutRegistry.
void CrFwCmpReset(FwSmDesc_t smDesc)
Reset a framework component.
#define CR_S1_LOW_TEMP_VALUE
The "low" temperature value.
Definition of Base Component.
FwSmDesc_t CrFwInFactoryMake()
Factory function for the singleton instance of the InFactory.
void CrFwInLoaderSetInStream(FwSmDesc_t inStream)
Set the InStream from which the packets will be retrieved the next time the InLoader is executed...
Definition of the OutComponent Component of the framework.
Interface for the server socket used in the CORDET Demo.
FwSmDesc_t CrFwOutFactoryMake()
Factory function for the singleton instance of the OutFactory.
FwSmDesc_t CrFwOutStreamMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th OutStream State Machine instance.
Header file to define constants and types for the CORDET Demo.
FwSmDesc_t CrFwInStreamMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th InStream State Machine instance.
void CrDaTempMonitoringExec(char temp, CrFwDestSrc_t appId)
Execute a temperature monitoring action on the argument temperature.
#define CR_FW_HOST_APP_ID
The identifier of the Master Application of the CORDET Demo.
void CrDaServerSocketPoll()
Poll the server socket to check whether a new packet has arrived from either client.
No application errors have been detected.
#define CR_S1_N_OF_FW_CMP
The number of framework components.
Definition of the OutLoader component.
Header file to define constants and types for the Slave 1 Application of the CORDET Demo...
CrFwAppErrCode_t CrFwGetAppErrCode()
Return the value of the application error code.
OutRegistry configuration parameters are inconsistent (see CrFwAuxOutRegistryConfigCheck.h)