src/core/global-value.cc
author Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Sun, 09 Mar 2008 21:07:14 +0100
changeset 2570 15d5421022a1
parent 2472 ae81f8ac1854
child 2576 793375cbbed6
permissions -rw-r--r--
add FailSafe versions of setters which could fail.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
     1
#include "global-value.h"
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     2
#include "fatal-error.h"
2472
ae81f8ac1854 do not attempt to access the AttributeList as a fallback from GlobalValue.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2467
diff changeset
     3
#include "attribute.h"
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     4
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     5
namespace ns3 {
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
     6
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
     7
GlobalValue::GlobalValue (std::string name, std::string help,
2472
ae81f8ac1854 do not attempt to access the AttributeList as a fallback from GlobalValue.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2467
diff changeset
     8
			  Attribute initialValue,
ae81f8ac1854 do not attempt to access the AttributeList as a fallback from GlobalValue.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2467
diff changeset
     9
			  Ptr<const AttributeChecker> checker)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    10
  : m_name (name),
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    11
    m_help (help),
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    12
    m_initialValue (initialValue),
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    13
    m_checker (checker)
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    14
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    15
  if (m_checker == 0)
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    16
    {
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    17
      NS_FATAL_ERROR ("Checker should no be zero.");
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    18
    }
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    19
  GetVector ()->push_back (this);
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    20
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    21
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    22
std::string 
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    23
GlobalValue::GetName (void) const
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    24
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    25
  return m_name;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    26
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    27
std::string 
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    28
GlobalValue::GetHelp (void) const
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    29
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    30
  return m_help;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    31
}
2433
3a98e1db7f80 PValue -> Attribute
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2431
diff changeset
    32
Attribute 
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    33
GlobalValue::GetValue (void) const
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    34
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    35
  return m_initialValue;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    36
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    37
Ptr<const AttributeChecker> 
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    38
GlobalValue::GetChecker (void) const
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    39
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    40
  return m_checker;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    41
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    42
  
2570
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    43
bool
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    44
GlobalValue::SetValue (Attribute value)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    45
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    46
  if (!m_checker->Check (value))
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    47
    {
2570
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    48
      return false;
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    49
    }
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    50
  m_initialValue = value;
2570
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    51
  return true;
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    52
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    53
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    54
void 
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    55
GlobalValue::Bind (std::string name, Attribute value)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    56
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    57
  for (Iterator i = Begin (); i != End (); i++)
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    58
    {
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    59
      if ((*i)->GetName () == name)
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    60
	{
2570
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    61
	  if (!(*i)->SetValue (value))
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    62
	    {
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    63
	      NS_FATAL_ERROR ("Invalid new value for global value: "<<name);
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    64
	    }
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    65
	  return;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    66
	}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    67
    }
2570
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    68
  NS_FATAL_ERROR ("Non-existant global value: "<<name);
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    69
}
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    70
bool 
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    71
GlobalValue::BindFailSafe (std::string name, Attribute value)
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    72
{
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    73
  for (Iterator i = Begin (); i != End (); i++)
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    74
    {
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    75
      if ((*i)->GetName () == name)
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    76
	{
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    77
	  return (*i)->SetValue (value);
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    78
	}
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    79
    }
15d5421022a1 add FailSafe versions of setters which could fail.
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2472
diff changeset
    80
  return false;
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    81
}
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    82
GlobalValue::Iterator 
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    83
GlobalValue::Begin (void)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    84
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    85
  return GetVector ()->begin ();
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    86
}
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    87
GlobalValue::Iterator 
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    88
GlobalValue::End (void)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    89
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    90
  return GetVector ()->end ();
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    91
}
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    92
GlobalValue::Vector *
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
    93
GlobalValue::GetVector (void)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    94
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    95
  static Vector vector;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    96
  return &vector;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    97
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    98
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
    99
} // namespace ns3
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   100
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   101
#ifdef RUN_SELF_TESTS
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   102
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   103
#include "test.h"
2455
8253e8353689 uint-value -> uinteger
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2454
diff changeset
   104
#include "uinteger.h"
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   105
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   106
namespace {
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   107
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   108
static ns3::GlobalValue g_uint = ns3::GlobalValue ("TestUint", "help text",
2439
4a0b22a3f5fa UintValue -> Uinteger, IntValue -> Integer
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2433
diff changeset
   109
						     ns3::Uinteger (10),
4a0b22a3f5fa UintValue -> Uinteger, IntValue -> Integer
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2433
diff changeset
   110
						     ns3::MakeUintegerChecker<uint32_t> ());
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   111
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   112
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   113
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   114
namespace ns3 {
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   115
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   116
class GlobalValueTests : public Test
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   117
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   118
public:
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   119
  GlobalValueTests ();
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   120
  virtual bool RunTests (void);
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   121
private:
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   122
};
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   123
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   124
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   125
GlobalValueTests::GlobalValueTests ()
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   126
  : Test ("GlobalValue")
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   127
{}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   128
bool 
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   129
GlobalValueTests::RunTests (void)
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   130
{
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   131
  bool result = true;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   132
2439
4a0b22a3f5fa UintValue -> Uinteger, IntValue -> Integer
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2433
diff changeset
   133
  NS_TEST_ASSERT_EQUAL (10, Uinteger (g_uint.GetValue ()).Get ());
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   134
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   135
  return result;
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   136
}
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   137
2467
da5d68ddf6c5 InitialValue -> GlobalValue
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents: 2459
diff changeset
   138
static GlobalValueTests g_initialValueTests;
2429
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   139
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   140
} // namespace ns3
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   141
20d320717da7 InitialValue support
Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
parents:
diff changeset
   142
#endif /* RUN_SELF_TESTS */