Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-31 12:23:23 +08:00
Code Issues Actions 29 Packages Projects Releases Wiki Activity

[airborne] fix code style on (nearly) all files

Browse Source 
```
find sw/airborne/ -regextype posix-extended -regex 'sw/airborne/.*(chibios-libopencm3|lpcusb|efsl|lpc21/include|lpc21/test/bootloader|subsystems/ahrs)' -prune -o -name '*.[ch]' -exec ./fix_code_style.sh {} +
```

ignored ahrs (for now) to not create unnecessary conflicts for some pending changes..
This commit is contained in:
Felix Ruess
2014-12-17 02:15:06 +01:00
parent cd1b8a9f2a
commit 603b40a513
832 changed files with 23883 additions and 21773 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/airborne/firmwares/tutorial/main_demo1.c
+3 -2
View File
@@ -2,8 +2,9 @@
#include "std.h"
int main( void ) {
while(1) {
int main(void)
{
while (1) {
}
return 0;
sw/airborne/firmwares/tutorial/main_demo2.c
+12 -8
View File
@@ -4,23 +4,27 @@
#include "mcu_periph/sys_time.h"
#include "led.h"
static inline void main_init( void );
static inline void main_periodic_task( void );
static inline void main_init(void);
static inline void main_periodic_task(void);
int main( void ) {
int main(void)
{
main_init();
while(1) {
if (sys_time_check_and_ack_timer(0))
while (1) {
if (sys_time_check_and_ack_timer(0)) {
main_periodic_task();
}
}
return 0;
}
static inline void main_init( void ) {
static inline void main_init(void)
{
mcu_init();
sys_time_register_timer((1./PERIODIC_FREQUENCY), NULL);
sys_time_register_timer((1. / PERIODIC_FREQUENCY), NULL);
}
static inline void main_periodic_task( void ) {
static inline void main_periodic_task(void)
{
LED_TOGGLE(1);
}
sw/airborne/firmwares/tutorial/main_demo3.c
+12 -8
View File
@@ -6,26 +6,30 @@
#include "mcu_periph/uart.h"
#include "subsystems/datalink/uart_print.h"
static inline void main_init( void );
static inline void main_periodic_task( void );
static inline void main_init(void);
static inline void main_periodic_task(void);
int main( void ) {
int main(void)
{
main_init();
while(1) {
if (sys_time_check_and_ack_timer(0))
while (1) {
if (sys_time_check_and_ack_timer(0)) {
main_periodic_task();
}
}
return 0;
}
static inline void main_init( void ) {
static inline void main_init(void)
{
mcu_init();
sys_time_register_timer((1./PERIODIC_FREQUENCY), NULL);
sys_time_register_timer((1. / PERIODIC_FREQUENCY), NULL);
uart0_init_tx();
mcu_int_enable();
}
static inline void main_periodic_task( void ) {
static inline void main_periodic_task(void)
{
LED_TOGGLE(1);
UART0PrintString("demo3 running since ");
UART0PrintHex32(sys_time.nb_sec);
sw/airborne/firmwares/tutorial/main_demo4.c
+12 -8
View File
@@ -7,26 +7,30 @@
#include "messages.h"
#include "subsystems/datalink/downlink.h"
static inline void main_init( void );
static inline void main_periodic_task( void );
static inline void main_init(void);
static inline void main_periodic_task(void);
int main( void ) {
int main(void)
{
main_init();
while(1) {
if (sys_time_check_and_ack_timer(0))
while (1) {
if (sys_time_check_and_ack_timer(0)) {
main_periodic_task();
}
}
return 0;
}
static inline void main_init( void ) {
static inline void main_init(void)
{
mcu_init();
sys_time_register_timer((1./PERIODIC_FREQUENCY), NULL);
sys_time_register_timer((1. / PERIODIC_FREQUENCY), NULL);
uart0_init_tx();
mcu_int_enable();
}
static inline void main_periodic_task( void ) {
static inline void main_periodic_task(void)
{
LED_TOGGLE(1);
uint16_t time_sec = sys_time.nb_sec;
DOWNLINK_SEND_TAKEOFF(&time_sec);
sw/airborne/firmwares/tutorial/main_demo5.c
+19 -13
View File
@@ -7,36 +7,41 @@
#include "messages.h"
#include "subsystems/datalink/downlink.h"
static inline void main_init( void );
static inline void main_periodic_task( void );
static inline void main_event_task( void );
static inline void main_init(void);
static inline void main_periodic_task(void);
static inline void main_event_task(void);
static inline void main_dl_parse_msg( void );
static inline void main_dl_parse_msg(void);
int main( void ) {
int main(void)
{
main_init();
while(1) {
if (sys_time_check_and_ack_timer(0))
while (1) {
if (sys_time_check_and_ack_timer(0)) {
main_periodic_task();
}
main_event_task();
}
return 0;
}
static inline void main_init( void ) {
static inline void main_init(void)
{
mcu_init();
sys_time_register_timer((1./PERIODIC_FREQUENCY), NULL);
sys_time_register_timer((1. / PERIODIC_FREQUENCY), NULL);
uart0_init_tx();
mcu_int_enable();
}
static inline void main_periodic_task( void ) {
static inline void main_periodic_task(void)
{
// LED_TOGGLE(1);
uint16_t time_sec = sys_time.nb_sec;
DOWNLINK_SEND_TAKEOFF(&time_sec);
}
static inline void main_event_task( void ) {
static inline void main_event_task(void)
{
if (PprzBuffer()) {
ReadPprzBuffer();
if (pprz_msg_received) {
@@ -56,13 +61,14 @@ uint16_t foo;
bool_t dl_msg_available;
#define MSG_SIZE 128
uint8_t dl_buffer[MSG_SIZE] __attribute__ ((aligned));
uint8_t dl_buffer[MSG_SIZE] __attribute__((aligned));
#include "generated/settings.h"
#define IdOfMsg(x) (x[1])
static inline void main_dl_parse_msg(void) {
static inline void main_dl_parse_msg(void)
{
uint8_t msg_id = IdOfMsg(dl_buffer);
if (msg_id == DL_SETTING) {
uint8_t i = DL_SETTING_index(dl_buffer);
sw/airborne/firmwares/tutorial/main_demo6.c
+14 -10
View File
@@ -8,30 +8,34 @@
#include "messages.h"
#include "subsystems/datalink/downlink.h"
static inline void main_init( void );
static inline void main_periodic_task( void );
static inline void main_init(void);
static inline void main_periodic_task(void);
int main( void ) {
int main(void)
{
main_init();
while(1) {
if (sys_time_check_and_ack_timer(0))
while (1) {
if (sys_time_check_and_ack_timer(0)) {
main_periodic_task();
}
}
return 0;
}
static inline void main_init( void ) {
static inline void main_init(void)
{
mcu_init();
sys_time_register_timer((1./PERIODIC_FREQUENCY), NULL);
sys_time_register_timer((1. / PERIODIC_FREQUENCY), NULL);
usb_serial_init();
mcu_int_enable();
}
static inline void main_periodic_task( void ) {
static inline void main_periodic_task(void)
{
LED_TOGGLE(1);
//uint16_t time_sec = sys_time.nb_sec;
// DOWNLINK_SEND_TAKEOFF(&time_sec);
usb_serial_transmit( 'A' );
usb_serial_transmit( '\n' );
usb_serial_transmit('A');
usb_serial_transmit('\n');
}