src/network/examples/main-packet-header.cc
author Ashim Ghosh <ashim.atiit@gmail.com>
Tue, 15 May 2012 16:02:26 -0700
changeset 8759 dd8eb902cba7
parent 7182 5ecfee5d17de
permissions -rw-r--r--
bug fix: main-packet-header.cc does not print the packet
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
     1
/* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
2189
036cf935e7cf packet pointer police patrolled product preventing presence of prior pattern proactively
Craig Dowell <craigdo@ee.washington.edu>
parents: 1245
diff changeset
     2
#include "ns3/ptr.h"
14
6dd7d31c6fc3 replace yans include with ns3 include
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 12
diff changeset
     3
#include "ns3/packet.h"
104
3006f1b350ae add header
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 102
diff changeset
     4
#include "ns3/header.h"
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     5
#include <iostream>
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     6
16
99e833adbb46 change yans namespace to ns3
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 14
diff changeset
     7
using namespace ns3;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     8
126
2bd1d886a97d remove reference to Chunk class
Tom Henderson <tomh@tomh.org>
parents: 122
diff changeset
     9
/* A sample Header implementation
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    10
 */
1127
df45b772d989 make sure we return the right integer uid if the header of trailer was already registered.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 795
diff changeset
    11
class MyHeader : public Header 
df45b772d989 make sure we return the right integer uid if the header of trailer was already registered.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 795
diff changeset
    12
{
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    13
public:
1127
df45b772d989 make sure we return the right integer uid if the header of trailer was already registered.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 795
diff changeset
    14
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    15
  MyHeader ();
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    16
  virtual ~MyHeader ();
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    17
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    18
  void SetData (uint16_t data);
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    19
  uint16_t GetData (void) const;
1232
2e8c3f8bb77f remove Chunk base class
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1151
diff changeset
    20
2643
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    21
  static TypeId GetTypeId (void);
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    22
  virtual TypeId GetInstanceTypeId (void) const;
2646
c1fef7686472 remove dead code.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2643
diff changeset
    23
  virtual void Print (std::ostream &os) const;
2643
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    24
  virtual void Serialize (Buffer::Iterator start) const;
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    25
  virtual uint32_t Deserialize (Buffer::Iterator start);
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    26
  virtual uint32_t GetSerializedSize (void) const;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    27
private:
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    28
  uint16_t m_data;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    29
};
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    30
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    31
MyHeader::MyHeader ()
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    32
{
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    33
  // we must provide a public default constructor, 
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    34
  // implicit or explicit, but never private.
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    35
}
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    36
MyHeader::~MyHeader ()
7182
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
    37
{
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
    38
}
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    39
7182
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
    40
TypeId
2643
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    41
MyHeader::GetTypeId (void)
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    42
{
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    43
  static TypeId tid = TypeId ("ns3::MyHeader")
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    44
    .SetParent<Header> ()
6462
e78c1b19f4de Fix main-packet-header.cc sample (bug 918)
David <david.rua@gmail.com>
parents: 2646
diff changeset
    45
    .AddConstructor<MyHeader> ()
7182
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
    46
  ;
2643
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    47
  return tid;
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    48
}
7182
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
    49
TypeId
2643
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    50
MyHeader::GetInstanceTypeId (void) const
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    51
{
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    52
  return GetTypeId ();
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    53
}
2a3324f4dabe define a TypeId for each Header/Trailer.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2189
diff changeset
    54
7182
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
    55
void
1232
2e8c3f8bb77f remove Chunk base class
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1151
diff changeset
    56
MyHeader::Print (std::ostream &os) const
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    57
{
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    58
  // This method is invoked by the packet printing
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    59
  // routines to print the content of my header.
6462
e78c1b19f4de Fix main-packet-header.cc sample (bug 918)
David <david.rua@gmail.com>
parents: 2646
diff changeset
    60
  //os << "data=" << m_data << std::endl;
e78c1b19f4de Fix main-packet-header.cc sample (bug 918)
David <david.rua@gmail.com>
parents: 2646
diff changeset
    61
  os << "data=" << m_data;
104
3006f1b350ae add header
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 102
diff changeset
    62
}
3006f1b350ae add header
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 102
diff changeset
    63
uint32_t
122
6b8f1eda5c57 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 111
diff changeset
    64
MyHeader::GetSerializedSize (void) const
104
3006f1b350ae add header
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 102
diff changeset
    65
{
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    66
  // we reserve 2 bytes for our header.
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    67
  return 2;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    68
}
463
c2082308e01a merge Packet API changes needed for Packet pretty printing.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 150
diff changeset
    69
void
1232
2e8c3f8bb77f remove Chunk base class
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1151
diff changeset
    70
MyHeader::Serialize (Buffer::Iterator start) const
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    71
{
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    72
  // we can serialize two bytes at the start of the buffer.
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    73
  // we write them in network byte order.
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    74
  start.WriteHtonU16 (m_data);
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    75
}
463
c2082308e01a merge Packet API changes needed for Packet pretty printing.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 150
diff changeset
    76
uint32_t
1232
2e8c3f8bb77f remove Chunk base class
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1151
diff changeset
    77
MyHeader::Deserialize (Buffer::Iterator start)
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    78
{
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    79
  // we can deserialize two bytes from the start of the buffer.
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    80
  // we read them in network byte order and store them
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    81
  // in host byte order.
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    82
  m_data = start.ReadNtohU16 ();
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    83
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    84
  // we return the number of bytes effectively read.
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
    85
  return 2;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    86
}
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    87
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    88
void 
122
6b8f1eda5c57 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 111
diff changeset
    89
MyHeader::SetData (uint16_t data)
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    90
{
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    91
  m_data = data;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    92
}
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    93
uint16_t 
122
6b8f1eda5c57 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 111
diff changeset
    94
MyHeader::GetData (void) const
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    95
{
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
    96
  return m_data;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    97
}
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    98
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    99
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   100
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   101
int main (int argc, char *argv[])
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   102
{
8759
dd8eb902cba7 bug fix: main-packet-header.cc does not print the packet
Ashim Ghosh <ashim.atiit@gmail.com>
parents: 7182
diff changeset
   103
  // Enable the packet printing through Packet::Print command.
dd8eb902cba7 bug fix: main-packet-header.cc does not print the packet
Ashim Ghosh <ashim.atiit@gmail.com>
parents: 7182
diff changeset
   104
  Packet::EnablePrinting ();
dd8eb902cba7 bug fix: main-packet-header.cc does not print the packet
Ashim Ghosh <ashim.atiit@gmail.com>
parents: 7182
diff changeset
   105
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   106
  // instantiate a header.
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   107
  MyHeader sourceHeader;
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   108
  sourceHeader.SetData (2);
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   109
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   110
  // instantiate a packet
2189
036cf935e7cf packet pointer police patrolled product preventing presence of prior pattern proactively
Craig Dowell <craigdo@ee.washington.edu>
parents: 1245
diff changeset
   111
  Ptr<Packet> p = Create<Packet> ();
036cf935e7cf packet pointer police patrolled product preventing presence of prior pattern proactively
Craig Dowell <craigdo@ee.washington.edu>
parents: 1245
diff changeset
   112
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   113
  // and store my header into the packet.
2189
036cf935e7cf packet pointer police patrolled product preventing presence of prior pattern proactively
Craig Dowell <craigdo@ee.washington.edu>
parents: 1245
diff changeset
   114
  p->AddHeader (sourceHeader);
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   115
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   116
  // print the content of my packet on the standard output.
2189
036cf935e7cf packet pointer police patrolled product preventing presence of prior pattern proactively
Craig Dowell <craigdo@ee.washington.edu>
parents: 1245
diff changeset
   117
  p->Print (std::cout);
7182
5ecfee5d17de network coding style changes
Josh Pelkey <jpelkey@gatech.edu>
parents: 7025
diff changeset
   118
  std::cout << std::endl;
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   119
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   120
  // you can now remove the header from the packet:
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   121
  MyHeader destinationHeader;
2189
036cf935e7cf packet pointer police patrolled product preventing presence of prior pattern proactively
Craig Dowell <craigdo@ee.washington.edu>
parents: 1245
diff changeset
   122
  p->RemoveHeader (destinationHeader);
1132
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   123
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   124
  // and check that the destination and source
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   125
  // headers contain the same values.
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   126
  NS_ASSERT (sourceHeader.GetData () == destinationHeader.GetData ());
de8ccffc8485 doxygen improvements to Packet, Tags, and Headers/Trailers
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 1128
diff changeset
   127
150
663120712cd9 fix coding style
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 131
diff changeset
   128
  return 0;
12
917ba023c576 utils and samples
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   129
}