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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
/*=============================================================================
Copyright (c) 2001-2003 Joel de Guzman
http://spirit.sourceforge.net/
Use, modification and distribution is subject to the Boost Software
License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
///////////////////////////////////////////////////////////////////////////////
//
// Fundamental meta sublayer tests
//
///////////////////////////////////////////////////////////////////////////////
#include <iostream>
#include <boost/static_assert.hpp>
#include <boost/spirit/include/classic_core.hpp>
#include <boost/spirit/include/classic_meta.hpp>
#include <boost/spirit/include/classic_assign_actor.hpp>
#include <boost/core/lightweight_test.hpp>
using namespace BOOST_SPIRIT_CLASSIC_NS;
typedef ref_value_actor<char, assign_action> assign_actor;
///////////////////////////////////////////////////////////////////////////////
//
// node_count_tests
//
///////////////////////////////////////////////////////////////////////////////
void
node_count_tests()
{
// simple types
typedef chlit<char> plain_t;
typedef optional<chlit<char> > optional_t;
typedef action<chlit<char>, assign_actor> action_t;
typedef sequence<chlit<char>, anychar_parser> sequence_t;
BOOST_STATIC_ASSERT(1 == node_count<plain_t>::value);
BOOST_STATIC_ASSERT(2 == node_count<optional_t>::value);
BOOST_STATIC_ASSERT(2 == node_count<action_t>::value);
BOOST_STATIC_ASSERT(3 == node_count<sequence_t>::value);
// more elaborate types
typedef sequence<sequence<plain_t, action_t>, plain_t> sequence2_t;
typedef sequence<plain_t, sequence<action_t, plain_t> > sequence3_t;
BOOST_STATIC_ASSERT(6 == node_count<sequence2_t>::value);
BOOST_STATIC_ASSERT(6 == node_count<sequence3_t>::value);
}
///////////////////////////////////////////////////////////////////////////////
//
// leaf_count_tests
//
///////////////////////////////////////////////////////////////////////////////
void
leaf_count_tests()
{
// simple types
typedef chlit<char> plain_t;
typedef optional<chlit<char> > optional_t;
typedef action<chlit<char>, assign_actor> action_t;
typedef sequence<chlit<char>, anychar_parser> sequence_t;
BOOST_STATIC_ASSERT(1 == leaf_count<plain_t>::value);
BOOST_STATIC_ASSERT(1 == leaf_count<optional_t>::value);
BOOST_STATIC_ASSERT(1 == leaf_count<action_t>::value);
BOOST_STATIC_ASSERT(2 == leaf_count<sequence_t>::value);
// more elaborate types
typedef sequence<sequence<plain_t, action_t>, plain_t> sequence2_t;
typedef sequence<plain_t, sequence<action_t, plain_t> > sequence3_t;
BOOST_STATIC_ASSERT(3 == leaf_count<sequence2_t>::value);
BOOST_STATIC_ASSERT(3 == leaf_count<sequence3_t>::value);
}
///////////////////////////////////////////////////////////////////////////////
//
// Main
//
///////////////////////////////////////////////////////////////////////////////
int
main()
{
node_count_tests();
leaf_count_tests();
return boost::report_errors();
}
|
