Order includes in destiny

sys/net/destiny/destiny.c

@@ -19,13 +19,14 @@
 #include <stdio.h>
 #include <string.h>
 #include <stdlib.h>
-#include <vtimer.h>
-#include "udp.h"
-#include "tcp.h"
-#include "tcp_timer.h"
+
 #include "destiny.h"
+#include "vtimer.h"
 
 #include "socket.h"
+#include "tcp.h"
+#include "tcp_timer.h"
+#include "udp.h"
 
 char tcp_stack_buffer[TCP_STACK_SIZE];
 char udp_stack_buffer[UDP_STACK_SIZE];

sys/net/destiny/include/destiny/socket.h

@@ -23,7 +23,9 @@
 #define DESTINY_SOCKET_H
 
 #include <stdint.h>
+
 #include "ipv6.h"
+
 #include "destiny/in.h"
 
 typedef uint8_t sa_family_t;    ///< POSIX compatible type for address family.

sys/net/destiny/msg_help.c

@@ -7,9 +7,13 @@
 
 #include <thread.h>
 #include <stdio.h>
-#include "msg_help.h"
+
+#include "thread.h"
+
 #include "tcp_timer.h"
 
+#include "msg_help.h"
+
 void block_continue_thread(void)
 {
     //	msg_t recv_m;

sys/net/destiny/msg_help.h

@@ -8,6 +8,8 @@
 #ifndef MSG_HELP_H_
 #define MSG_HELP_H_
 
+#include <stdint.h>
+
 // Function IDs
 #define FID_SIXLOWIP_TCP				0
 #define FID_SIXLOWIP_UDP				1

sys/net/destiny/socket.c

@@ -15,22 +15,25 @@
  * @}
  */
 
-#include <thread.h>
-#include <stdio.h>
-#include <string.h>
-#include <stdlib.h>
 #include <inttypes.h>
 #include <math.h>
-#include "ipv6.h"
-#include "udp.h"
-#include "tcp.h"
-#include "vtimer.h"
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
 #include "hwtimer.h"
-#include "msg_help.h"
-#include "tcp_timer.h"
-#include "tcp_hc.h"
+#include "ipv6.h"
+#include "thread.h"
+#include "vtimer.h"
+
 #include "../net_help/net_help.h"
 
+#include "msg_help.h"
+#include "tcp.h"
+#include "tcp_hc.h"
+#include "tcp_timer.h"
+#include "udp.h"
+
 #include "socket.h"
 
 #define EPHEMERAL_PORTS 	49152

sys/net/destiny/socket.h

@@ -1,8 +1,10 @@
 #ifndef _DESTINY_SOCKET
 #define _DESTINY_SOCKET
-#include "destiny/socket.h"
+
 #include "cpu.h"
 
+#include "destiny/socket.h"
+
 #include "tcp.h"
 #include "udp.h"
 

sys/net/destiny/tcp.c

@@ -15,23 +15,25 @@
  * @}
  */
 
-
-#include <stdio.h>
-#include <thread.h>
-#include <string.h>
-#include <stdlib.h>
 #include <inttypes.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
 
-#include "vtimer.h"
-#include "tcp_timer.h"
-#include "tcp_hc.h"
-#include "tcp.h"
-#include "destiny/in.h"
-#include "msg_help.h"
-#include "../net_help/net_help.h"
 #include "sixlowpan.h"
+#include "thread.h"
+#include "vtimer.h"
 
+#include "destiny/in.h"
+
+#include "../net_help/net_help.h"
+
+#include "msg_help.h"
 #include "socket.h"
+#include "tcp_hc.h"
+#include "tcp_timer.h"
+
+#include "tcp.h"
 
 void printTCPHeader(tcp_hdr_t *tcp_header)
 {

sys/net/destiny/tcp.h

@@ -18,6 +18,8 @@
 #ifndef TCP_H_
 #define TCP_H_
 
+#include "ipv6.h"
+
 #define TCP_HDR_LEN 			20
 
 #define TCP_EOO_OPTION			0x00		// End of option list
@@ -78,8 +80,6 @@ enum tcp_codes {
 
 #define TCP_STACK_SIZE 			KERNEL_CONF_STACKSIZE_DEFAULT
 
-#include "ipv6.h"
-
 typedef struct __attribute__((packed)) tcp_mms_o_t {
     uint8_t		kind;
     uint8_t		len;

sys/net/destiny/tcp_hc.c

@@ -16,16 +16,18 @@
  */
 
 
+#include <stdint.h>
 #include <stdio.h>
 #include <string.h>
-#include <stdint.h>
 
-#include "tcp_hc.h"
-#include "tcp.h"
 #include "ipv6.h"
+
 #include "../net_help/net_help.h"
 
 #include "socket.h"
+#include "tcp.h"
+
+#include "tcp_hc.h"
 
 #ifdef TCP_HC
 

sys/net/destiny/tcp_hc.h

@@ -8,10 +8,12 @@
 #ifndef TCP_HC_H_
 #define TCP_HC_H_
 
-#include "tcp.h"
 #include "sixlowpan.h"
+
 #include "destiny/socket.h"
 
+#include "tcp.h"
+
 #ifdef TCP_HC
 
 #define FULL_HEADER 				1

sys/net/destiny/tcp_timer.c

@@ -15,21 +15,23 @@
  * @}
  */
 
-
-#include <thread.h>
-#include <stdio.h>
-#include <string.h>
-#include <stdlib.h>
 #include <math.h>
-#include "tcp_timer.h"
-#include "msg_help.h"
-#include "vtimer.h"
-#include "thread.h"
-#include "destiny.h"
-#include "sixlowpan.h"
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
 
+#include "sixlowpan.h"
+#include "thread.h"
+#include "vtimer.h"
+
+#include "destiny.h"
+
+#include "msg_help.h"
 #include "socket.h"
 
+#include "tcp_timer.h"
+
+
 void handle_synchro_timeout(socket_internal_t *current_socket)
 {
     msg_t send;

sys/net/destiny/udp.c

@@ -15,21 +15,23 @@
  * @}
  */
 
-
 #include <stdio.h>
-#include <thread.h>
 #include <string.h>
 
-#include "udp.h"
-#include "msg.h"
 #include "ipv6.h"
+#include "msg.h"
 #include "sixlowpan.h"
-#include "destiny/in.h"
-#include "../net_help/net_help.h"
-#include "msg_help.h"
+#include "thread.h"
 
+#include "destiny/in.h"
+
+#include "../net_help/net_help.h"
+
+#include "msg_help.h"
 #include "socket.h"
 
+#include "udp.h"
+
 uint16_t udp_csum(ipv6_hdr_t *ipv6_header, udp_hdr_t *udp_header)
 {
     uint16_t sum;

sys/net/destiny/udp.h

@@ -25,12 +25,12 @@
 #ifndef UDP_H_
 #define UDP_H_
 
+#include "ipv6.h"
+
 #define UDP_HDR_LEN 				8
 
 #define UDP_STACK_SIZE 				KERNEL_CONF_STACKSIZE_DEFAULT
 
-#include "ipv6.h"
-
 typedef struct __attribute__((packed)) udp_h_t {
     uint16_t src_port;
     uint16_t dst_port;