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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
/** \file incremental_expression.cc */ // -*-c++-*-
// Copyright (C) 2009-2010 Daniel Burrows
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License as
// published by the Free Software Foundation; either version 2 of
// the License, or (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; see the file COPYING. If not, write to
// the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
// Boston, MA 02111-1307, USA.
#include "incremental_expression.h"
void counting_bool_e::init_num_true()
{
const std::vector<cwidget::util::ref_ptr<expression<bool> > > &children(get_children());
num_true = 0;
for(std::vector<cwidget::util::ref_ptr<expression<bool> > >::const_iterator
it = children.begin(); it != children.end(); ++it)
if(!it->valid() || (*it)->get_value())
++num_true;
}
void counting_bool_e::child_modified(const cwidget::util::ref_ptr<expression<bool> > &child,
bool old_value,
bool new_value)
{
if(old_value != new_value) // Should always be true, but it's cheap
// to double-check.
{
bool my_old_value = get_value();
if(new_value)
++num_true;
else
--num_true;
bool my_new_value = get_value();
if(my_new_value != my_old_value)
signal_value_changed(my_old_value, my_new_value);
}
}
void counting_bool_e::add_child(const cwidget::util::ref_ptr<expression<bool> > &child)
{
bool old_value = get_value();
expression_container_base<bool>::add_child(child);
if(!child.valid() || child->get_value())
++num_true;
bool new_value = get_value();
if(old_value != new_value)
signal_value_changed(old_value, new_value);
}
void counting_bool_e::remove_child(const cwidget::util::ref_ptr<expression<bool> > &child)
{
bool old_value = get_value();
expression_container_base<bool>::remove_child(child);
if(!child.valid() || child->get_value())
--num_true;
bool new_value = get_value();
if(old_value != new_value)
signal_value_changed(old_value, new_value);
}
bool and_e::get_value()
{
return get_num_true() == get_children().size();
}
std::string and_e::get_name()
{
return "and";
}
bool or_e::get_value()
{
return get_num_true() > 0;
}
std::string or_e::get_name()
{
return "or";
}
void not_e::child_modified(const cwidget::util::ref_ptr<expression<bool> > &child,
bool old_value,
bool new_value)
{
signal_value_changed(!old_value, !new_value);
}
bool not_e::get_value()
{
if(get_child().valid())
return !get_child()->get_value();
else
// NULL pointers count as "true".
return false;
}
void not_e::dump(std::ostream &out)
{
out << "~" << get_child();
}
|
