tests/cxx/serializer/validation/built-in/integer/driver.cxx


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

// file      : tests/cxx/serializer/validation/built-in/int/driver.cxx
// copyright : Copyright (c) 2006-2011 Code Synthesis Tools CC
// license   : GNU GPL v2 + exceptions; see accompanying LICENSE file

// Test the built-in integer & friends types validation.
//

#include <cassert>

#include <xsde/cxx/serializer/validating/negative-integer.hxx>
#include <xsde/cxx/serializer/validating/non-positive-integer.hxx>
#include <xsde/cxx/serializer/validating/positive-integer.hxx>

using namespace xsde::cxx::serializer;
using namespace xsde::cxx::serializer::validating;
using namespace std;

int
main ()
{
  // negative_integer
  //
  {
    negative_integer_simpl s;
    context c (0);
    s.pre (0);
    s._pre_impl (c);
    s._serialize_content ();
    assert (c.schema_error ());
  }

  {
    negative_integer_simpl s;
    context c (0);
    s.pre (1);
    s._pre_impl (c);
    s._serialize_content ();
    assert (c.schema_error ());
  }

  // non_positive_integer
  //
  {
    non_positive_integer_simpl s;
    context c (0);
    s.pre (1);
    s._pre_impl (c);
    s._serialize_content ();
    assert (c.schema_error ());
  }

  // positive_integer
  //
  {
    positive_integer_simpl s;
    context c (0);
    s.pre (0);
    s._pre_impl (c);
    s._serialize_content ();
    assert (c.schema_error ());
  }

  return 0;
}