src/node/ipv4-header.cc
changeset 286 57e6a2006962
parent 235 190d5bef3254
child 287 692ddac3794c
--- a/src/node/ipv4-header.cc	Fri Feb 16 09:42:53 2007 +0100
+++ b/src/node/ipv4-header.cc	Fri Feb 16 09:56:21 2007 +0100
@@ -19,7 +19,7 @@
  * Author: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
  */
 
-#include <cassert>
+#include "ns3/assert.h"
 #include "ns3/header.h"
 #include "ipv4-header.h"
 
@@ -137,13 +137,13 @@
 void 
 Ipv4Header::SetFragmentOffset (uint16_t offset)
 {
-  assert (!(offset & (~0x3fff)));
+  NS_ASSERT (!(offset & (~0x3fff)));
   m_fragmentOffset = offset;
 }
 uint16_t 
 Ipv4Header::GetFragmentOffset (void) const
 {
-  assert (!(m_fragmentOffset & (~0x3fff)));
+  NS_ASSERT (!(m_fragmentOffset & (~0x3fff)));
   return m_fragmentOffset;
 }
 
@@ -272,7 +272,7 @@
   uint8_t verIhl = i.ReadU8 ();
   uint8_t ihl = verIhl & 0x0f; 
   uint16_t headerSize = ihl * 4;
-  assert ((verIhl >> 4) == 4);
+  NS_ASSERT ((verIhl >> 4) == 4);
   m_tos = i.ReadU8 ();
   uint16_t size = i.ReadNtohU16 ();
   m_payloadSize = size - headerSize;