Skip to content

P
PolyORB-HI-C
Commit c5c89915 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files
Options

Update configuration files

parent bfda62a8
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 419 additions and 842 deletions
include/drivers/configuration/1553.h
View file @ c5c89915
......@@ -13,8 +13,6 @@ extern "C" {
typedef asn1SccUint __po_hi_c_Node_Addr_T;
flag __po_hi_c_Node_Addr_T_Equal(const __po_hi_c_Node_Addr_T* pVal1, const __po_hi_c_Node_Addr_T* pVal2);
void __po_hi_c_Node_Addr_T_Initialize(__po_hi_c_Node_Addr_T* pVal);
#define ERR_NODE_ADDR_T 1 /**/
......@@ -24,7 +22,9 @@ typedef enum {
__po_hi_c_mil1553b = 1
} __po_hi_c_Standard_T;
flag __po_hi_c_Standard_T_Equal(const __po_hi_c_Standard_T* pVal1, const __po_hi_c_Standard_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Standard_T_mil1553a __po_hi_c_mil1553a
#define __po_hi_c_Standard_T_mil1553b __po_hi_c_mil1553b
void __po_hi_c_Standard_T_Initialize(__po_hi_c_Standard_T* pVal);
......@@ -36,7 +36,10 @@ typedef enum {
__po_hi_c_monitor = 2
} __po_hi_c_Mode_T;
flag __po_hi_c_Mode_T_Equal(const __po_hi_c_Mode_T* pVal1, const __po_hi_c_Mode_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Mode_T_controller __po_hi_c_controller
#define __po_hi_c_Mode_T_terminal __po_hi_c_terminal
#define __po_hi_c_Mode_T_monitor __po_hi_c_monitor
void __po_hi_c_Mode_T_Initialize(__po_hi_c_Mode_T* pVal);
......@@ -49,7 +52,11 @@ typedef enum {
__po_hi_c_both = 3
} __po_hi_c_Bus_T;
flag __po_hi_c_Bus_T_Equal(const __po_hi_c_Bus_T* pVal1, const __po_hi_c_Bus_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Bus_T_none __po_hi_c_none
#define __po_hi_c_Bus_T_bus_a __po_hi_c_bus_a
#define __po_hi_c_Bus_T_bus_b __po_hi_c_bus_b
#define __po_hi_c_Bus_T_both __po_hi_c_both
void __po_hi_c_Bus_T_Initialize(__po_hi_c_Bus_T* pVal);
......@@ -57,7 +64,6 @@ void __po_hi_c_Bus_T_Initialize(__po_hi_c_Bus_T* pVal);
flag __po_hi_c_Bus_T_IsConstraintValid(const __po_hi_c_Bus_T* pVal, int* pErrCode);
/*-- __po_hi_c_mil_1553_conf_t --------------------------------------------*/
typedef char __po_hi_c_mil_1553_conf_t_devname[21];
typedef struct {
__po_hi_c_mil_1553_conf_t_devname devname;
__po_hi_c_Standard_T standard;
......@@ -75,21 +81,18 @@ typedef struct {
} __po_hi_c_mil_1553_conf_t;
flag __po_hi_c_mil_1553_conf_t_devname_Equal(const __po_hi_c_mil_1553_conf_t_devname val1, const __po_hi_c_mil_1553_conf_t_devname val2);
flag __po_hi_c_mil_1553_conf_t_Equal(const __po_hi_c_mil_1553_conf_t* pVal1, const __po_hi_c_mil_1553_conf_t* pVal2);
void __po_hi_c_mil_1553_conf_t_devname_Initialize(__po_hi_c_mil_1553_conf_t_devname val);
void __po_hi_c_mil_1553_conf_t_Initialize(__po_hi_c_mil_1553_conf_t* pVal);
#define ERR_MIL_1553_CONF_T 105 /**/
#define ERR_MIL_1553_CONF_T_DEVNAME 29 /**/
#define ERR_MIL_1553_CONF_T_STANDARD 36 /**/
#define ERR_MIL_1553_CONF_T_MODE 47 /**/
#define ERR_MIL_1553_CONF_T_BUS 58 /**/
#define ERR_MIL_1553_CONF_T_TERMADDR 69 /**/
#define ERR_MIL_1553_CONF_T_BROADCAST 80 /**/
#define ERR_MIL_1553_CONF_T_RXBLOCK 87 /**/
#define ERR_MIL_1553_CONF_T_TXBLOCK 94 /**/
#define ERR_MIL_1553_CONF_T_STANDARD_2 43 /**/
#define ERR_MIL_1553_CONF_T_MODE_2 55 /**/
#define ERR_MIL_1553_CONF_T_BUS_2 67 /**/
#define ERR_MIL_1553_CONF_T_TERMADDR_2 79 /**/
#define ERR_MIL_1553_CONF_T_BROADCAST 84 /**/
#define ERR_MIL_1553_CONF_T_RXBLOCK 91 /**/
#define ERR_MIL_1553_CONF_T_TXBLOCK 98 /**/
flag __po_hi_c_mil_1553_conf_t_IsConstraintValid(const __po_hi_c_mil_1553_conf_t* pVal, int* pErrCode);
......@@ -107,4 +110,4 @@ flag __po_hi_c_mil_1553_conf_t_IsConstraintValid(const __po_hi_c_mil_1553_conf_t
#endif
#endif
\ No newline at end of file
#endif
include/drivers/configuration/asn1crt.h
View file @ c5c89915
This diff is collapsed.
include/drivers/configuration/bluetooth.h
View file @ c5c89915
......@@ -16,7 +16,10 @@ typedef enum {
__po_hi_c_d2M = 2
} __po_hi_c_Datarate_T;
flag __po_hi_c_Datarate_T_Equal(const __po_hi_c_Datarate_T* pVal1, const __po_hi_c_Datarate_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Datarate_T_d250K __po_hi_c_d250K
#define __po_hi_c_Datarate_T_d1M __po_hi_c_d1M
#define __po_hi_c_Datarate_T_d2M __po_hi_c_d2M
void __po_hi_c_Datarate_T_Initialize(__po_hi_c_Datarate_T* pVal);
......@@ -28,13 +31,13 @@ typedef struct {
} __po_hi_c_Address_T;
flag __po_hi_c_Address_T_Equal(const __po_hi_c_Address_T* pVal1, const __po_hi_c_Address_T* pVal2);
void __po_hi_c_Address_T_Initialize(__po_hi_c_Address_T* pVal);
#define ERR_ADDRESS_T 8 /**/
flag __po_hi_c_Address_T_IsConstraintValid(const __po_hi_c_Address_T* pVal, int* pErrCode);
/*-- __po_hi_c_bluetooth_conf_t --------------------------------------------*/
typedef asn1SccUint __po_hi_c_bluetooth_conf_t_channel;
typedef struct {
__po_hi_c_bluetooth_conf_t_channel channel;
__po_hi_c_Datarate_T datarate;
......@@ -47,15 +50,13 @@ typedef struct {
} __po_hi_c_bluetooth_conf_t;
flag __po_hi_c_bluetooth_conf_t_channel_Equal(const __po_hi_c_bluetooth_conf_t_channel* pVal1, const __po_hi_c_bluetooth_conf_t_channel* pVal2);
flag __po_hi_c_bluetooth_conf_t_Equal(const __po_hi_c_bluetooth_conf_t* pVal1, const __po_hi_c_bluetooth_conf_t* pVal2);
void __po_hi_c_bluetooth_conf_t_channel_Initialize(__po_hi_c_bluetooth_conf_t_channel* pVal);
void __po_hi_c_bluetooth_conf_t_Initialize(__po_hi_c_bluetooth_conf_t* pVal);
#define ERR_BLUETOOTH_CONF_T_CHANNEL 14 /**/
#define ERR_BLUETOOTH_CONF_T_DATARATE 21 /**/
#define ERR_BLUETOOTH_CONF_T 46 /**/
#define ERR_BLUETOOTH_CONF_T_CHANNEL 15 /**/
#define ERR_BLUETOOTH_CONF_T_DATARATE_2 29 /**/
#define ERR_BLUETOOTH_CONF_T_ADDRESS_2 41 /**/
flag __po_hi_c_bluetooth_conf_t_IsConstraintValid(const __po_hi_c_bluetooth_conf_t* pVal, int* pErrCode);
extern const __po_hi_c_bluetooth_conf_t crazyflie_default;
......@@ -73,4 +74,4 @@ extern const __po_hi_c_bluetooth_conf_t crazyflie_default;
#endif
#endif
\ No newline at end of file
#endif
include/drivers/configuration/ip.h
View file @ c5c89915
......@@ -13,8 +13,6 @@ extern "C" {
typedef asn1SccUint __po_hi_c_Port_T;
flag __po_hi_c_Port_T_Equal(const __po_hi_c_Port_T* pVal1, const __po_hi_c_Port_T* pVal2);
void __po_hi_c_Port_T_Initialize(__po_hi_c_Port_T* pVal);
#define ERR_PORT_T 1 /**/
......@@ -24,7 +22,9 @@ typedef enum {
__po_hi_c_ipv6 = 1
} __po_hi_c_Version_T;
flag __po_hi_c_Version_T_Equal(const __po_hi_c_Version_T* pVal1, const __po_hi_c_Version_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Version_T_ipv4 __po_hi_c_ipv4
#define __po_hi_c_Version_T_ipv6 __po_hi_c_ipv6
void __po_hi_c_Version_T_Initialize(__po_hi_c_Version_T* pVal);
......@@ -37,7 +37,6 @@ typedef char __po_hi_c_ip_conf_t_broadcast[41];
typedef char __po_hi_c_ip_conf_t_netmask[41];
typedef char __po_hi_c_ip_conf_t_gateway[41];
typedef char __po_hi_c_ip_conf_t_dns[41];
typedef struct {
__po_hi_c_ip_conf_t_devname devname;
__po_hi_c_ip_conf_t_address address;
......@@ -58,20 +57,6 @@ typedef struct {
} __po_hi_c_ip_conf_t;
flag __po_hi_c_ip_conf_t_devname_Equal(const __po_hi_c_ip_conf_t_devname val1, const __po_hi_c_ip_conf_t_devname val2);
flag __po_hi_c_ip_conf_t_address_Equal(const __po_hi_c_ip_conf_t_address val1, const __po_hi_c_ip_conf_t_address val2);
flag __po_hi_c_ip_conf_t_broadcast_Equal(const __po_hi_c_ip_conf_t_broadcast val1, const __po_hi_c_ip_conf_t_broadcast val2);
flag __po_hi_c_ip_conf_t_netmask_Equal(const __po_hi_c_ip_conf_t_netmask val1, const __po_hi_c_ip_conf_t_netmask val2);
flag __po_hi_c_ip_conf_t_gateway_Equal(const __po_hi_c_ip_conf_t_gateway val1, const __po_hi_c_ip_conf_t_gateway val2);
flag __po_hi_c_ip_conf_t_dns_Equal(const __po_hi_c_ip_conf_t_dns val1, const __po_hi_c_ip_conf_t_dns val2);
flag __po_hi_c_ip_conf_t_Equal(const __po_hi_c_ip_conf_t* pVal1, const __po_hi_c_ip_conf_t* pVal2);
void __po_hi_c_ip_conf_t_devname_Initialize(__po_hi_c_ip_conf_t_devname val);
void __po_hi_c_ip_conf_t_address_Initialize(__po_hi_c_ip_conf_t_address val);
void __po_hi_c_ip_conf_t_broadcast_Initialize(__po_hi_c_ip_conf_t_broadcast val);
......@@ -80,14 +65,15 @@ void __po_hi_c_ip_conf_t_gateway_Initialize(__po_hi_c_ip_conf_t_gateway val);
void __po_hi_c_ip_conf_t_dns_Initialize(__po_hi_c_ip_conf_t_dns val);
void __po_hi_c_ip_conf_t_Initialize(__po_hi_c_ip_conf_t* pVal);
#define ERR_IP_CONF_T 81 /**/
#define ERR_IP_CONF_T_DEVNAME 15 /**/
#define ERR_IP_CONF_T_ADDRESS 22 /**/
#define ERR_IP_CONF_T_BROADCAST 29 /**/
#define ERR_IP_CONF_T_NETMASK 36 /**/
#define ERR_IP_CONF_T_GATEWAY 43 /**/
#define ERR_IP_CONF_T_DNS 50 /**/
#define ERR_IP_CONF_T_VERSION 57 /**/
#define ERR_IP_CONF_T_PORT 68 /**/
#define ERR_IP_CONF_T_VERSION_2 64 /**/
#define ERR_IP_CONF_T_PORT_2 76 /**/
flag __po_hi_c_ip_conf_t_IsConstraintValid(const __po_hi_c_ip_conf_t* pVal, int* pErrCode);
extern const __po_hi_c_ip_conf_t localhost1;
......@@ -106,4 +92,4 @@ extern const __po_hi_c_ip_conf_t localhost2;
#endif
#endif
\ No newline at end of file
#endif
include/drivers/configuration/serial.h
View file @ c5c89915
......@@ -19,7 +19,13 @@ typedef enum {
__po_hi_c_b230400 = 5
} __po_hi_c_Baudrate_T;
flag __po_hi_c_Baudrate_T_Equal(const __po_hi_c_Baudrate_T* pVal1, const __po_hi_c_Baudrate_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Baudrate_T_b9600 __po_hi_c_b9600
#define __po_hi_c_Baudrate_T_b19200 __po_hi_c_b19200
#define __po_hi_c_Baudrate_T_b38400 __po_hi_c_b38400
#define __po_hi_c_Baudrate_T_b57600 __po_hi_c_b57600
#define __po_hi_c_Baudrate_T_b115200 __po_hi_c_b115200
#define __po_hi_c_Baudrate_T_b230400 __po_hi_c_b230400
void __po_hi_c_Baudrate_T_Initialize(__po_hi_c_Baudrate_T* pVal);
......@@ -30,7 +36,9 @@ typedef enum {
__po_hi_c_odd = 1
} __po_hi_c_Parity_T;
flag __po_hi_c_Parity_T_Equal(const __po_hi_c_Parity_T* pVal1, const __po_hi_c_Parity_T* pVal2);
// please use the following macros to avoid breaking code.
#define __po_hi_c_Parity_T_even __po_hi_c_even
#define __po_hi_c_Parity_T_odd __po_hi_c_odd
void __po_hi_c_Parity_T_Initialize(__po_hi_c_Parity_T* pVal);
......@@ -42,7 +50,6 @@ typedef asn1SccUint __po_hi_c_serial_conf_t_bits;
typedef asn1SccUint __po_hi_c_serial_conf_t_sending_wait;
typedef struct {
__po_hi_c_serial_conf_t_devname devname;
__po_hi_c_Baudrate_T speed;
......@@ -61,25 +68,18 @@ typedef struct {
} __po_hi_c_serial_conf_t;
flag __po_hi_c_serial_conf_t_devname_Equal(const __po_hi_c_serial_conf_t_devname val1, const __po_hi_c_serial_conf_t_devname val2);
flag __po_hi_c_serial_conf_t_bits_Equal(const __po_hi_c_serial_conf_t_bits* pVal1, const __po_hi_c_serial_conf_t_bits* pVal2);
flag __po_hi_c_serial_conf_t_sending_wait_Equal(const __po_hi_c_serial_conf_t_sending_wait* pVal1, const __po_hi_c_serial_conf_t_sending_wait* pVal2);
flag __po_hi_c_serial_conf_t_Equal(const __po_hi_c_serial_conf_t* pVal1, const __po_hi_c_serial_conf_t* pVal2);
void __po_hi_c_serial_conf_t_devname_Initialize(__po_hi_c_serial_conf_t_devname val);
void __po_hi_c_serial_conf_t_bits_Initialize(__po_hi_c_serial_conf_t_bits* pVal);
void __po_hi_c_serial_conf_t_sending_wait_Initialize(__po_hi_c_serial_conf_t_sending_wait* pVal);
void __po_hi_c_serial_conf_t_Initialize(__po_hi_c_serial_conf_t* pVal);
#define ERR_SERIAL_CONF_T 67 /**/
#define ERR_SERIAL_CONF_T_DEVNAME 15 /**/
#define ERR_SERIAL_CONF_T_SPEED 22 /**/
#define ERR_SERIAL_CONF_T_PARITY 33 /**/
#define ERR_SERIAL_CONF_T_BITS 44 /**/
#define ERR_SERIAL_CONF_T_SENDING_WAIT 51 /**/
#define ERR_SERIAL_CONF_T_USE_PARITYBIT 58 /**/
#define ERR_SERIAL_CONF_T_SPEED_2 29 /**/
#define ERR_SERIAL_CONF_T_PARITY_2 41 /**/
#define ERR_SERIAL_CONF_T_BITS 46 /**/
#define ERR_SERIAL_CONF_T_SENDING_WAIT 53 /**/
#define ERR_SERIAL_CONF_T_USE_PARITYBIT 60 /**/
flag __po_hi_c_serial_conf_t_IsConstraintValid(const __po_hi_c_serial_conf_t* pVal, int* pErrCode);
extern const __po_hi_c_serial_conf_t linux_ttyS0;
......@@ -102,4 +102,4 @@ extern const __po_hi_c_serial_conf_t leon_rasta_apburasta1;
#endif
#endif
\ No newline at end of file
#endif
include/drivers/configuration/spacewire.h
View file @ c5c89915
......@@ -13,8 +13,6 @@ extern "C" {
typedef asn1SccUint __po_hi_c_Core_Frequence_T;
flag __po_hi_c_Core_Frequence_T_Equal(const __po_hi_c_Core_Frequence_T* pVal1, const __po_hi_c_Core_Frequence_T* pVal2);
void __po_hi_c_Core_Frequence_T_Initialize(__po_hi_c_Core_Frequence_T* pVal);
#define ERR_CORE_FREQUENCE_T 1 /**/
......@@ -22,8 +20,6 @@ flag __po_hi_c_Core_Frequence_T_IsConstraintValid(const __po_hi_c_Core_Frequence
typedef asn1SccUint __po_hi_c_Node_Addr_T;
flag __po_hi_c_Node_Addr_T_Equal(const __po_hi_c_Node_Addr_T* pVal1, const __po_hi_c_Node_Addr_T* pVal2);
void __po_hi_c_Node_Addr_T_Initialize(__po_hi_c_Node_Addr_T* pVal);
#define ERR_NODE_ADDR_T 8 /**/
......@@ -31,15 +27,12 @@ flag __po_hi_c_Node_Addr_T_IsConstraintValid(const __po_hi_c_Node_Addr_T* pVal,
typedef asn1SccUint __po_hi_c_Clock_Division_T;
flag __po_hi_c_Clock_Division_T_Equal(const __po_hi_c_Clock_Division_T* pVal1, const __po_hi_c_Clock_Division_T* pVal2);
void __po_hi_c_Clock_Division_T_Initialize(__po_hi_c_Clock_Division_T* pVal);
#define ERR_CLOCK_DIVISION_T 15 /**/
flag __po_hi_c_Clock_Division_T_IsConstraintValid(const __po_hi_c_Clock_Division_T* pVal, int* pErrCode);
/*-- __po_hi_c_spacewire_conf_t --------------------------------------------*/
typedef char __po_hi_c_spacewire_conf_t_devname[21];
typedef struct {
__po_hi_c_spacewire_conf_t_devname devname;
__po_hi_c_Node_Addr_T nodeaddr;
......@@ -61,21 +54,18 @@ typedef struct {
} __po_hi_c_spacewire_conf_t;
flag __po_hi_c_spacewire_conf_t_devname_Equal(const __po_hi_c_spacewire_conf_t_devname val1, const __po_hi_c_spacewire_conf_t_devname val2);
flag __po_hi_c_spacewire_conf_t_Equal(const __po_hi_c_spacewire_conf_t* pVal1, const __po_hi_c_spacewire_conf_t* pVal2);
void __po_hi_c_spacewire_conf_t_devname_Initialize(__po_hi_c_spacewire_conf_t_devname val);
void __po_hi_c_spacewire_conf_t_Initialize(__po_hi_c_spacewire_conf_t* pVal);
#define ERR_SPACEWIRE_CONF_T 93 /**/
#define ERR_SPACEWIRE_CONF_T_DEVNAME 22 /**/
#define ERR_SPACEWIRE_CONF_T_NODEADDR 29 /**/
#define ERR_SPACEWIRE_CONF_T_COREFREQ 40 /**/
#define ERR_SPACEWIRE_CONF_T_CLOCKDIV 51 /**/
#define ERR_SPACEWIRE_CONF_T_USE_ROUTER 62 /**/
#define ERR_SPACEWIRE_CONF_T_REMOVE_PROT_ID 69 /**/
#define ERR_SPACEWIRE_CONF_T_RXBLOCK 76 /**/
#define ERR_SPACEWIRE_CONF_T_TXBLOCK 83 /**/
#define ERR_SPACEWIRE_CONF_T_NODEADDR_2 36 /**/
#define ERR_SPACEWIRE_CONF_T_COREFREQ_2 48 /**/
#define ERR_SPACEWIRE_CONF_T_CLOCKDIV_2 60 /**/
#define ERR_SPACEWIRE_CONF_T_USE_ROUTER 65 /**/
#define ERR_SPACEWIRE_CONF_T_REMOVE_PROT_ID 72 /**/
#define ERR_SPACEWIRE_CONF_T_RXBLOCK 79 /**/
#define ERR_SPACEWIRE_CONF_T_TXBLOCK 86 /**/
flag __po_hi_c_spacewire_conf_t_IsConstraintValid(const __po_hi_c_spacewire_conf_t* pVal, int* pErrCode);
extern const __po_hi_c_spacewire_conf_t leon_rasta_spw_sender;
......@@ -94,4 +84,4 @@ extern const __po_hi_c_spacewire_conf_t leon_rasta_spw_receiver;
#endif
#endif
\ No newline at end of file
#endif
src/drivers/configuration/1553.c
View file @ c5c89915
......@@ -5,19 +5,16 @@ Code automatically generated by asn1scc tool
#include <limits.h>
#include <string.h>
#include <math.h>
#include "1553.h"
#include "1553.h"
flag __po_hi_c_Node_Addr_T_Equal(const __po_hi_c_Node_Addr_T* pVal1, const __po_hi_c_Node_Addr_T* pVal2)
{
return (*(pVal1)) == (*(pVal2));
}
void __po_hi_c_Node_Addr_T_Initialize(__po_hi_c_Node_Addr_T* pVal)
{
(void)pVal;
(*(pVal)) = 0;
}
......@@ -25,23 +22,20 @@ void __po_hi_c_Node_Addr_T_Initialize(__po_hi_c_Node_Addr_T* pVal)
flag __po_hi_c_Node_Addr_T_IsConstraintValid(const __po_hi_c_Node_Addr_T* pVal, int* pErrCode)
{
flag ret = TRUE;
(void)pVal;
ret = ((*(pVal)) <= 31UL);
*pErrCode = ret ? 0 : ERR_NODE_ADDR_T;
*pErrCode = ret ? 0 : ERR_NODE_ADDR_T;
return ret;
}
flag __po_hi_c_Standard_T_Equal(const __po_hi_c_Standard_T* pVal1, const __po_hi_c_Standard_T* pVal2)
{
return (*(pVal1)) == (*(pVal2));
}
void __po_hi_c_Standard_T_Initialize(__po_hi_c_Standard_T* pVal)
{
(void)pVal;
(*(pVal)) = __po_hi_c_mil1553a;
}
......@@ -49,23 +43,20 @@ void __po_hi_c_Standard_T_Initialize(__po_hi_c_Standard_T* pVal)
flag __po_hi_c_Standard_T_IsConstraintValid(const __po_hi_c_Standard_T* pVal, int* pErrCode)
{
flag ret = TRUE;
(void)pVal;
ret = ((((*(pVal)) == __po_hi_c_mil1553a)) || (((*(pVal)) == __po_hi_c_mil1553b)));
*pErrCode = ret ? 0 : ERR_STANDARD_T;
*pErrCode = ret ? 0 : ERR_STANDARD_T;
return ret;
}
flag __po_hi_c_Mode_T_Equal(const __po_hi_c_Mode_T* pVal1, const __po_hi_c_Mode_T* pVal2)
{
return (*(pVal1)) == (*(pVal2));
}
void __po_hi_c_Mode_T_Initialize(__po_hi_c_Mode_T* pVal)
{
(void)pVal;
(*(pVal)) = __po_hi_c_controller;
}
......@@ -73,23 +64,20 @@ void __po_hi_c_Mode_T_Initialize(__po_hi_c_Mode_T* pVal)
flag __po_hi_c_Mode_T_IsConstraintValid(const __po_hi_c_Mode_T* pVal, int* pErrCode)
{
flag ret = TRUE;
(void)pVal;
ret = ((((((*(pVal)) == __po_hi_c_controller)) || (((*(pVal)) == __po_hi_c_terminal)))) || (((*(pVal)) == __po_hi_c_monitor)));
*pErrCode = ret ? 0 : ERR_MODE_T;
*pErrCode = ret ? 0 : ERR_MODE_T;
return ret;
}
flag __po_hi_c_Bus_T_Equal(const __po_hi_c_Bus_T* pVal1, const __po_hi_c_Bus_T* pVal2)
{
return (*(pVal1)) == (*(pVal2));
}
void __po_hi_c_Bus_T_Initialize(__po_hi_c_Bus_T* pVal)
{
(void)pVal;
(*(pVal)) = __po_hi_c_none;
}
......@@ -97,73 +85,28 @@ void __po_hi_c_Bus_T_Initialize(__po_hi_c_Bus_T* pVal)
flag __po_hi_c_Bus_T_IsConstraintValid(const __po_hi_c_Bus_T* pVal, int* pErrCode)
{
flag ret = TRUE;
(void)pVal;
ret = ((((((((*(pVal)) == __po_hi_c_none)) || (((*(pVal)) == __po_hi_c_bus_a)))) || (((*(pVal)) == __po_hi_c_bus_b)))) || (((*(pVal)) == __po_hi_c_both)));
*pErrCode = ret ? 0 : ERR_BUS_T;
*pErrCode = ret ? 0 : ERR_BUS_T;
return ret;
}
flag __po_hi_c_mil_1553_conf_t_devname_Equal(const __po_hi_c_mil_1553_conf_t_devname val1, const __po_hi_c_mil_1553_conf_t_devname val2)
{
return strcmp(val1, val2) == 0;
}
flag __po_hi_c_mil_1553_conf_t_Equal(const __po_hi_c_mil_1553_conf_t* pVal1, const __po_hi_c_mil_1553_conf_t* pVal2)
{
flag ret=TRUE;
ret = __po_hi_c_mil_1553_conf_t_devname_Equal(pVal1->devname, pVal2->devname);
if (ret) {
ret = (pVal1->standard == pVal2->standard);
if (ret) {
ret = (pVal1->mode == pVal2->mode);
if (ret) {
ret = (pVal1->bus == pVal2->bus);
if (ret) {
ret = (pVal1->termaddr == pVal2->termaddr);
if (ret) {
ret = (pVal1->broadcast == pVal2->broadcast);
if (ret) {
ret = (pVal1->exist.rxblock == pVal2->exist.rxblock);
if (ret && pVal1->exist.rxblock) {
ret = (pVal1->rxblock == pVal2->rxblock);
}
if (ret) {
ret = (pVal1->exist.txblock == pVal2->exist.txblock);
if (ret && pVal1->exist.txblock) {
ret = (pVal1->txblock == pVal2->txblock);
}
}
}
}
}
}
}
}
return ret;
}
void __po_hi_c_mil_1553_conf_t_devname_Initialize(__po_hi_c_mil_1553_conf_t_devname val)
{
(void)val;
memset(val, 0x0, 21);
}
void __po_hi_c_mil_1553_conf_t_Initialize(__po_hi_c_mil_1553_conf_t* pVal)
{
(void)pVal;
/*set devname */
......@@ -186,40 +129,21 @@ void __po_hi_c_mil_1553_conf_t_Initialize(__po_hi_c_mil_1553_conf_t* pVal)
pVal->txblock = FALSE;
}
flag __po_hi_c_mil_1553_conf_t_IsConstraintValid(const __po_hi_c_mil_1553_conf_t *pVal, int* pErrCode)
flag __po_hi_c_mil_1553_conf_t_IsConstraintValid(const __po_hi_c_mil_1553_conf_t* pVal, int* pErrCode)
{
flag ret = TRUE;
(void)pVal;
ret = ((1 <= strlen(pVal->devname)) && (strlen(pVal->devname) <= 20));
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_DEVNAME;
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_DEVNAME;
if (ret) {
ret = (((pVal->standard == __po_hi_c_mil1553a)) || ((pVal->standard == __po_hi_c_mil1553b)));
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_STANDARD;
ret = __po_hi_c_Standard_T_IsConstraintValid((&(pVal->standard)), pErrCode);
if (ret) {
ret = (((((pVal->mode == __po_hi_c_controller)) || ((pVal->mode == __po_hi_c_terminal)))) || ((pVal->mode == __po_hi_c_monitor)));
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_MODE;
ret = __po_hi_c_Mode_T_IsConstraintValid((&(pVal->mode)), pErrCode);
if (ret) {
ret = (((((((pVal->bus == __po_hi_c_none)) || ((pVal->bus == __po_hi_c_bus_a)))) || ((pVal->bus == __po_hi_c_bus_b)))) || ((pVal->bus == __po_hi_c_both)));
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_BUS;
ret = __po_hi_c_Bus_T_IsConstraintValid((&(pVal->bus)), pErrCode);
if (ret) {
ret = (pVal->termaddr <= 31UL);
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_TERMADDR;
if (ret) {
ret = TRUE;
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_BROADCAST;
if (ret) {
if (pVal->exist.rxblock) {
ret = TRUE;
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_RXBLOCK;
}
if (ret) {
if (pVal->exist.txblock) {
ret = TRUE;
*pErrCode = ret ? 0 : ERR_MIL_1553_CONF_T_TXBLOCK;
}
}
}
}
ret = __po_hi_c_Node_Addr_T_IsConstraintValid((&(pVal->termaddr)), pErrCode);
}
}
}
......
src/drivers/configuration/asn1crt.c 0 → 100644
View file @ c5c89915
#include <string.h>
#include <assert.h>
#include <math.h>
#include <float.h>
#include "asn1crt.h"
#if WORD_SIZE==8
const asn1SccUint64 ber_aux[] = {
0xFF,
0xFF00,
0xFF0000,
0xFF000000,
0xFF00000000ULL,
0xFF0000000000ULL,
0xFF000000000000ULL,
0xFF00000000000000ULL };
#else
const asn1SccUint32 ber_aux[] = {
0xFF,
0xFF00,
0xFF0000,
0xFF000000 };
#endif
asn1SccUint int2uint(asn1SccSint v) {
asn1SccUint ret = 0;
if (v < 0) {
ret = (asn1SccUint)(-v - 1);
ret = ~ret;
}
else {
ret = (asn1SccUint)v;
};
return ret;
}
asn1SccSint uint2int(asn1SccUint v, int uintSizeInBytes) {
int i;
asn1SccUint tmp = 0x80;
flag bIsNegative = (v & (tmp << ((uintSizeInBytes - 1) * 8)))>0;
if (!bIsNegative)
return (asn1SccSint)v;
for (i = WORD_SIZE - 1; i >= uintSizeInBytes; i--)
v |= ber_aux[i];
return -(asn1SccSint)(~v) - 1;
}
int GetCharIndex(char ch, byte Set[], int setLen)
{
int i=0;
for(i=0; i<setLen; i++)
if (ch == Set[i])
return i;
return 0;
}
/*
####### ###
# # ##### # ###### #### ##### # ##### ###### # # ##### # ###### # ###### #####
# # # # # # # # # # # # # ## # # # # # # # #
# # ##### # ##### # # # # # ##### # # # # # ##### # ##### # #
# # # # # # # # # # # # # # # # # # # # #####
# # # # # # # # # # # # # # # ## # # # # # # #
####### ##### #### ###### #### # ### ##### ###### # # # # # # ###### # #
Object Identifier
*/
void ObjectIdentifier_Init(Asn1ObjectIdentifier *pVal) {
int i;
for (i = 0; i < OBJECT_IDENTIFIER_MAX_LENGTH; i++) {
pVal->values[i] = 0;
}
pVal->nCount = 0;
}
flag ObjectIdentifier_isValid(const Asn1ObjectIdentifier *pVal) {
return (pVal->nCount >= 2) && (pVal->values[0] <= 2) && (pVal->values[1] <= 39);
}
flag RelativeOID_isValid(const Asn1ObjectIdentifier *pVal) {
return pVal->nCount > 0;
}
flag ObjectIdentifier_equal(const Asn1ObjectIdentifier *pVal1, const Asn1ObjectIdentifier *pVal2) {
int i;
if ((pVal1 != NULL) && (pVal2 != NULL) && pVal1->nCount == pVal2->nCount && pVal1->nCount <= OBJECT_IDENTIFIER_MAX_LENGTH) {
flag ret = true;
for (i = 0; i < pVal1->nCount && ret; i++)
{
ret = (pVal1->values[i] == pVal2->values[i]);
}
return ret;
}
else {
return FALSE;
}
}
src/drivers/configuration/bluetooth.c
View file @ c5c89915
......@@ -5,9 +5,10 @@ Code automatically generated by asn1scc tool
#include <limits.h>
#include <string.h>
#include <math.h>
#include "bluetooth.h"
#include "bluetooth.h"
const __po_hi_c_bluetooth_conf_t crazyflie_default = {
.channel = 80,
.datarate = __po_hi_c_d2M,
......@@ -27,14 +28,10 @@ const __po_hi_c_bluetooth_conf_t crazyflie_default = {
};
flag __po_hi_c_Datarate_T_Equal(const __po_hi_c_Datarate_T* pVal1, const __po_hi_c_Datarate_T* pVal2)
{
return (*(pVal1)) == (*(pVal2));
}
void __po_hi_c_Datarate_T_Initialize(__po_hi_c_Datarate_T* pVal)
{
(void)pVal;
(*(pVal)) = __po_hi_c_d250K;
}
......@@ -42,67 +39,50 @@ void __po_hi_c_Datarate_T_Initialize(__po_hi_c_Datarate_T* pVal)
flag __po_hi_c_Datarate_T_IsConstraintValid(const __po_hi_c_Datarate_T* pVal, int* pErrCode)
{
flag ret = TRUE;
(void)pVal;
ret = ((((((*(pVal)) == __po_hi_c_d250K)) || (((*(pVal)) == __po_hi_c_d1M)))) || (((*(pVal)) == __po_hi_c_d2M)));