|
|
Boost-Commit : |
Subject: [Boost-commit] svn:boost r56837 - in sandbox/itl: boost/itl boost/itl/detail boost/validate/driver boost/validate/gentor boost/validate/type libs/validate/example/labat_val_relations_ libs/validate/test/test_bit_collector_ libs/validate/test/test_collector_ libs/validate/test/test_itl_morphic_ libs/validate/test/test_itl_set_ libs/validate/test/test_map_copy_conformity_ libs/validate/test/test_map_order_ libs/validate/test/test_set_copy_conformity_ libs/validate/test/test_set_order_ libs/validate/test/test_signed_quantifier_ libs/validate/test/test_unsigned_quantifier_ libs/validate/test/test_val_relations_
From: afojgo_at_[hidden]
Date: 2009-10-14 14:23:53
Author: jofaber
Date: 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
New Revision: 56837
URL: http://svn.boost.org/trac/boost/changeset/56837
Log:
Replaced Tabs for the latest changes. Stable {msvc-8.0r+d, 9.0r+d; gcc-3.4.4r+d, 4.1.0r+d, 4.3.2r+d, inspected}
Text files modified:
sandbox/itl/boost/itl/detail/element_comparer.hpp | 4
sandbox/itl/boost/itl/detail/interval_subset_comparer.hpp | 4
sandbox/itl/boost/itl/detail/subset_comparer.hpp | 4
sandbox/itl/boost/itl/functions.hpp | 2
sandbox/itl/boost/itl/interval_base_map.hpp | 12 ++--
sandbox/itl/boost/itl/map.hpp | 18 +++---
sandbox/itl/boost/itl/map_algo.hpp | 4
sandbox/itl/boost/itl/set.hpp | 12 ++--
sandbox/itl/boost/validate/driver/itl_driver.hpp | 92 ++++++++++++++++++++--------------------
sandbox/itl/boost/validate/driver/set_copy_conformity_driver.hpp | 2
sandbox/itl/boost/validate/gentor/randomgentor.hpp | 4
sandbox/itl/boost/validate/type/bits.hpp | 2
sandbox/itl/libs/validate/example/labat_val_relations_/labat_val_relations.cpp | 2
sandbox/itl/libs/validate/test/test_bit_collector_/test_bit_collector.cpp | 4
sandbox/itl/libs/validate/test/test_collector_/test_collector.cpp | 4
sandbox/itl/libs/validate/test/test_itl_morphic_/test_itl_morphic.cpp | 4
sandbox/itl/libs/validate/test/test_itl_set_/test_itl_set.cpp | 4
sandbox/itl/libs/validate/test/test_map_copy_conformity_/test_map_copy_conformity.cpp | 4
sandbox/itl/libs/validate/test/test_map_order_/test_map_order.cpp | 4
sandbox/itl/libs/validate/test/test_set_copy_conformity_/test_set_copy_conformity.cpp | 4
sandbox/itl/libs/validate/test/test_set_order_/test_set_order.cpp | 4
sandbox/itl/libs/validate/test/test_signed_quantifier_/test_signed_quantifier.cpp | 4
sandbox/itl/libs/validate/test/test_unsigned_quantifier_/test_unsigned_quantifier.cpp | 4
sandbox/itl/libs/validate/test/test_val_relations_/test_val_relations.cpp | 4
24 files changed, 103 insertions(+), 103 deletions(-)
Modified: sandbox/itl/boost/itl/detail/element_comparer.hpp
==============================================================================
--- sandbox/itl/boost/itl/detail/element_comparer.hpp (original)
+++ sandbox/itl/boost/itl/detail/element_comparer.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -27,8 +27,8 @@
typedef typename LeftT::const_iterator LeftIterT;
typedef typename RightT::const_iterator RightIterT;
- BOOST_STATIC_CONSTANT(bool,
- _compare_codomain = (mpl::and_<is_map<LeftT>, is_map<RightT> >::value));
+ BOOST_STATIC_CONSTANT(bool,
+ _compare_codomain = (mpl::and_<is_map<LeftT>, is_map<RightT> >::value));
element_comparer(const LeftT& left,
const RightT& right,
Modified: sandbox/itl/boost/itl/detail/interval_subset_comparer.hpp
==============================================================================
--- sandbox/itl/boost/itl/detail/interval_subset_comparer.hpp (original)
+++ sandbox/itl/boost/itl/detail/interval_subset_comparer.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -84,8 +84,8 @@
typedef typename LeftT::const_iterator LeftIterT;
typedef typename RightT::const_iterator RightIterT;
- BOOST_STATIC_CONSTANT(bool,
- _compare_codomain = (mpl::and_<is_map<LeftT>, is_map<RightT> >::value));
+ BOOST_STATIC_CONSTANT(bool,
+ _compare_codomain = (mpl::and_<is_map<LeftT>, is_map<RightT> >::value));
subset_comparer(const LeftT& left,
Modified: sandbox/itl/boost/itl/detail/subset_comparer.hpp
==============================================================================
--- sandbox/itl/boost/itl/detail/subset_comparer.hpp (original)
+++ sandbox/itl/boost/itl/detail/subset_comparer.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -84,8 +84,8 @@
typedef typename LeftT::const_iterator LeftIterT;
typedef typename RightT::const_iterator RightIterT;
- BOOST_STATIC_CONSTANT(bool,
- _compare_codomain = (mpl::and_<is_map<LeftT>, is_map<RightT> >::value));
+ BOOST_STATIC_CONSTANT(bool,
+ _compare_codomain = (mpl::and_<is_map<LeftT>, is_map<RightT> >::value));
subset_comparer(const LeftT& left,
const RightT& right,
Modified: sandbox/itl/boost/itl/functions.hpp
==============================================================================
--- sandbox/itl/boost/itl/functions.hpp (original)
+++ sandbox/itl/boost/itl/functions.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -381,7 +381,7 @@
bool>::type
intersects(const LeftT& left, const RightT& right)
{
- if(mpl::or_<is_total<LeftT>, is_total<RightT> >::value)
+ if(mpl::or_<is_total<LeftT>, is_total<RightT> >::value)
return true;
LeftT intersection;
Modified: sandbox/itl/boost/itl/interval_base_map.hpp
==============================================================================
--- sandbox/itl/boost/itl/interval_base_map.hpp (original)
+++ sandbox/itl/boost/itl/interval_base_map.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -763,8 +763,8 @@
template <class Combiner>
std::pair<iterator,bool> map_insert(const interval_type& inter_val, const codomain_type& co_val)
{
- using namespace type_traits;
- if(ice_and<Traits::is_total, has_inverse<codomain_type>::value, is_negative<Combiner>::value>::value)
+ using namespace type_traits;
+ if(ice_and<Traits::is_total, has_inverse<codomain_type>::value, is_negative<Combiner>::value>::value)
return this->_map.insert(value_type(inter_val, version<Combiner>()(co_val)));
else
return this->_map.insert(value_type(inter_val, co_val));
@@ -813,7 +813,7 @@
BOOST_ASSERT(this->_map.find(inter_val) == this->_map.end());
BOOST_ASSERT(!(Traits::absorbs_neutrons && co_val==Combiner::neutron()));
- if(mpl::and_<has_inverse<codomain_type>, is_negative<Combiner> >::value)
+ if(mpl::and_<has_inverse<codomain_type>, is_negative<Combiner> >::value)
return this->_map.insert(prior_, value_type(inter_val, version<Combiner>()(co_val)));
else
return this->_map.insert(prior_, value_type(inter_val, co_val));
@@ -1053,7 +1053,7 @@
ITL_FORALL(typename ImplMapT, it_, _map)
it_->second = neutron<codomain_type>::value();
- if(mpl::not_<is_interval_splitter<SubType> >::value)
+ if(mpl::not_<is_interval_splitter<SubType> >::value)
join();
return *that();
@@ -1142,7 +1142,7 @@
ITL_FORALL(typename ImplMapT, it_, _map)
it_->second = neutron<codomain_type>::value();
- if(mpl::not_<is_interval_splitter<SubType> >::value)
+ if(mpl::not_<is_interval_splitter<SubType> >::value)
join();
return *that();
@@ -1362,7 +1362,7 @@
SubType&
interval_base_map<SubType,DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc>
::assign_if(const interval_base_map<SubType,DomainT,CodomainT,Traits,Compare,Combine,Section,Interval,Alloc>& src,
- const Predicate& pred)
+ const Predicate& pred)
{
clear();
const_iterator it = src.begin();
Modified: sandbox/itl/boost/itl/map.hpp
==============================================================================
--- sandbox/itl/boost/itl/map.hpp (original)
+++ sandbox/itl/boost/itl/map.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -412,12 +412,12 @@
map<DomainT,CodomainT,Traits,Compare,Combine,Section,Alloc>&
map<DomainT,CodomainT,Traits,Compare,Combine,Section,Alloc>::_add(const value_type& val)
{
- using namespace type_traits;
+ using namespace type_traits;
if(Traits::absorbs_neutrons && val.second == Combiner::neutron())
return *this;
std::pair<iterator, bool> insertion;
- if(ice_and<Traits::is_total, has_inverse<codomain_type>::value, is_negative<Combiner>::value>::value)
+ if(ice_and<Traits::is_total, has_inverse<codomain_type>::value, is_negative<Combiner>::value>::value)
insertion = insert(value_type(val.first, version<Combiner>()(val.second)));
else // Existential case
insertion = insert(val);
@@ -446,7 +446,7 @@
if(Traits::absorbs_neutrons && val.second == Combiner::neutron())
return end();
- iterator inserted_ = base_type::insert(prior_, value_type(val.first, Combiner::neutron()));
+ iterator inserted_ = base_type::insert(prior_, value_type(val.first, Combiner::neutron()));
Combiner()(inserted_->second, val.second);
if(Traits::absorbs_neutrons && inserted_->second == Combiner::neutron())
@@ -1119,22 +1119,22 @@
template <class DomainT, class CodomainT, class Traits, ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, ITL_ALLOC Alloc>
struct is_interval_splitter<itl::map<DomainT,CodomainT,Traits,Compare,Combine,Section,Alloc> >
{
- typedef is_interval_splitter type;
- BOOST_STATIC_CONSTANT(bool, value = false);
+ typedef is_interval_splitter type;
+ BOOST_STATIC_CONSTANT(bool, value = false);
};
template <class DomainT, class CodomainT, class Traits, ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, ITL_ALLOC Alloc>
struct absorbs_neutrons<itl::map<DomainT,CodomainT,Traits,Compare,Combine,Section,Alloc> >
{
- typedef absorbs_neutrons type;
- BOOST_STATIC_CONSTANT(int, value = Traits::absorbs_neutrons);
+ typedef absorbs_neutrons type;
+ BOOST_STATIC_CONSTANT(int, value = Traits::absorbs_neutrons);
};
template <class DomainT, class CodomainT, class Traits, ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, ITL_ALLOC Alloc>
struct is_total<itl::map<DomainT,CodomainT,Traits,Compare,Combine,Section,Alloc> >
{
- typedef is_total type;
- BOOST_STATIC_CONSTANT(int, value = Traits::is_total);
+ typedef is_total type;
+ BOOST_STATIC_CONSTANT(int, value = Traits::is_total);
};
template <class DomainT, class CodomainT, class Traits, ITL_COMPARE Compare, ITL_COMBINE Combine, ITL_SECTION Section, ITL_ALLOC Alloc>
Modified: sandbox/itl/boost/itl/map_algo.hpp
==============================================================================
--- sandbox/itl/boost/itl/map_algo.hpp (original)
+++ sandbox/itl/boost/itl/map_algo.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -113,7 +113,7 @@
template<class MapType>
void flip(MapType& result, const MapType& x2)
{
- if(mpl::and_<is_total<MapType>, absorbs_neutrons<MapType> >::value)
+ if(mpl::and_<is_total<MapType>, absorbs_neutrons<MapType> >::value)
{
result.clear();
return;
@@ -142,7 +142,7 @@
}
}
- if(mpl::and_<is_total<MapType>, mpl::not_<absorbs_neutrons<MapType> > >::value)
+ if(mpl::and_<is_total<MapType>, mpl::not_<absorbs_neutrons<MapType> > >::value)
ITL_FORALL(typename MapType, it_, result)
it_->second = neutron<typename MapType::codomain_type>::value();
}
Modified: sandbox/itl/boost/itl/set.hpp
==============================================================================
--- sandbox/itl/boost/itl/set.hpp (original)
+++ sandbox/itl/boost/itl/set.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -686,22 +686,22 @@
template <class Type>
struct is_interval_splitter<itl::set<Type> >
{
- typedef is_interval_splitter type;
- BOOST_STATIC_CONSTANT(bool, value = false);
+ typedef is_interval_splitter type;
+ BOOST_STATIC_CONSTANT(bool, value = false);
};
template <class Type>
struct absorbs_neutrons<itl::set<Type> >
{
- typedef absorbs_neutrons type;
- BOOST_STATIC_CONSTANT(bool, value = false);
+ typedef absorbs_neutrons type;
+ BOOST_STATIC_CONSTANT(bool, value = false);
};
template <class Type>
struct is_total<itl::set<Type> >
{
- typedef is_total type;
- BOOST_STATIC_CONSTANT(bool, value = false);
+ typedef is_total type;
+ BOOST_STATIC_CONSTANT(bool, value = false);
};
template <class Type>
Modified: sandbox/itl/boost/validate/driver/itl_driver.hpp
==============================================================================
--- sandbox/itl/boost/validate/driver/itl_driver.hpp (original)
+++ sandbox/itl/boost/validate/driver/itl_driver.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -43,18 +43,18 @@
enum NeutronHandlerTypes { partial_absorber, partial_enricher, total_absorber, total_enricher, NeutronHandlerTypes_size };
}
- namespace inform
- {
- enum informs { never=0, rarely, frequently };
- }
+ namespace inform
+ {
+ enum informs { never=0, rarely, frequently };
+ }
class itl_driver
{
public:
itl_driver()
- : _required_law_validation_count(0)
- , _required_law_count(0)
- , _info_level(inform::frequently)
+ : _required_law_validation_count(0)
+ , _required_law_count(0)
+ , _info_level(inform::frequently)
{
_laws_per_cycle = GentorProfileSgl::it()->laws_per_cycle();
}
@@ -64,19 +64,19 @@
virtual void setProfile() = 0;
virtual algebra_validater* chooseValidater() = 0;
- void require_validation_count(int count){ _required_law_validation_count = count; }
- int required_validation_count()const { return _required_law_validation_count; }
+ void require_validation_count(int count){ _required_law_validation_count = count; }
+ int required_validation_count()const { return _required_law_validation_count; }
- void require_law_count(int count){ _required_law_count = count; }
- int required_law_count()const { return _required_law_count; }
+ void require_law_count(int count){ _required_law_count = count; }
+ int required_law_count()const { return _required_law_count; }
- void terminate_at_law_count(int law_count, int instance_count = 1)
- {
- require_law_count(law_count);
- require_validation_count(instance_count);
- }
+ void terminate_at_law_count(int law_count, int instance_count = 1)
+ {
+ require_law_count(law_count);
+ require_validation_count(instance_count);
+ }
- void set_information_level(int inform){ _info_level = inform; }
+ void set_information_level(int inform){ _info_level = inform; }
bool validate()
{
@@ -87,15 +87,15 @@
for(int idx=0; !terminates(); idx++)
{
if(idx>0 && idx % _laws_per_cycle == 0)
- if(_info_level == inform::frequently)
- reportFrequencies();
+ if(_info_level == inform::frequently)
+ reportFrequencies();
validateType();
}
- if(_info_level >= inform::rarely)
- reportFrequencies();
+ if(_info_level >= inform::rarely)
+ reportFrequencies();
- return _violationsCount.empty();
+ return _violationsCount.empty();
}
void validateType()
@@ -110,17 +110,17 @@
}
}
- int least_law_validation_count()const
- {
- // The least count of validation cycles performed on a single law instance.
- int min_test_count = 9999;
-
+ int least_law_validation_count()const
+ {
+ // The least count of validation cycles performed on a single law instance.
+ int min_test_count = 9999;
+
ITL_const_FORALL(ValidationCounterT, it, _frequencies)
min_test_count = min_test_count < it->second.count() ?
- min_test_count : it->second.count() ;
+ min_test_count : it->second.count() ;
- return min_test_count;
- }
+ return min_test_count;
+ }
void reportFrequencies()
{
@@ -235,19 +235,19 @@
return NULL;
}
- private:
- bool terminates()const
- {
- if(!hasValidProfile())
- return true;
- else if(_required_law_count == 0 || _required_law_validation_count == 0)
- return false; // If counts are not limited: Run for ever.
- else if(_frequencies.size() < static_cast<size_t>(_required_law_count))
- return false; // Not yet reached all laws
- else
- // All laws reached. Enough validation cycles for every law?
- return _required_law_validation_count <= least_law_validation_count();
- }
+ private:
+ bool terminates()const
+ {
+ if(!hasValidProfile())
+ return true;
+ else if(_required_law_count == 0 || _required_law_validation_count == 0)
+ return false; // If counts are not limited: Run for ever.
+ else if(_frequencies.size() < static_cast<size_t>(_required_law_count))
+ return false; // Not yet reached all laws
+ else
+ // All laws reached. Enough validation cycles for every law?
+ return _required_law_validation_count <= least_law_validation_count();
+ }
protected:
ChoiceT _rootChoice;
@@ -266,9 +266,9 @@
// done and times and frequencies of law
// validations are reported for all instances.
- int _required_law_validation_count;
- int _required_law_count;
- int _info_level;
+ int _required_law_validation_count;
+ int _required_law_count;
+ int _info_level;
};
Modified: sandbox/itl/boost/validate/driver/set_copy_conformity_driver.hpp
==============================================================================
--- sandbox/itl/boost/validate/driver/set_copy_conformity_driver.hpp (original)
+++ sandbox/itl/boost/validate/driver/set_copy_conformity_driver.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -100,7 +100,7 @@
switch(rootChoice)
{
//-----------------------------------------------------------------
- case RootType::itl_set: return new function_equality_validater<itl::list<int>, itl::set<int> >;
+ case RootType::itl_set: return new function_equality_validater<itl::list<int>, itl::set<int> >;
case RootType::interval_set: return new function_equality_validater<itl::list<itl::interval<int> >, interval_set<int> >;
case RootType::separate_interval_set: return new function_equality_validater<itl::list<itl::interval<int> >, separate_interval_set<int> >;
case RootType::split_interval_set: return new function_equality_validater<itl::list<itl::interval<int> >, split_interval_set<int> >;
Modified: sandbox/itl/boost/validate/gentor/randomgentor.hpp
==============================================================================
--- sandbox/itl/boost/validate/gentor/randomgentor.hpp (original)
+++ sandbox/itl/boost/validate/gentor/randomgentor.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -90,11 +90,11 @@
public SeqGentorT<itl::list<std::pair<DomainT,CodomainT> > > {};
template <class DomainT>
- class RandomGentor<itl::list<itl::interval<DomainT> > > :
+ class RandomGentor<itl::list<itl::interval<DomainT> > > :
public SeqGentorT<itl::list<itl::interval<DomainT> > > {};
template <class DomainT>
- class RandomGentor<itl::list<DomainT> > :
+ class RandomGentor<itl::list<DomainT> > :
public SeqGentorT<itl::list<DomainT> > {};
// ----- sets --------------------------------------------------------------
Modified: sandbox/itl/boost/validate/type/bits.hpp
==============================================================================
--- sandbox/itl/boost/validate/type/bits.hpp (original)
+++ sandbox/itl/boost/validate/type/bits.hpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -20,7 +20,7 @@
template<class NaturalT> class bits
{
public:
- typedef NaturalT chunk_type;
+ typedef NaturalT chunk_type;
bits():_bits(){}
explicit bits(NaturalT value):_bits(value){}
Modified: sandbox/itl/libs/validate/example/labat_val_relations_/labat_val_relations.cpp
==============================================================================
--- sandbox/itl/libs/validate/example/labat_val_relations_/labat_val_relations.cpp (original)
+++ sandbox/itl/libs/validate/example/labat_val_relations_/labat_val_relations.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -26,7 +26,7 @@
">> ------------------------------------------------------ <<\n";
GentorProfileSgl::it()->set_std_profile(20,1);
GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(33, 2);
+ validater.terminate_at_law_count(33, 2);
validater.validate();
};
Modified: sandbox/itl/libs/validate/test/test_bit_collector_/test_bit_collector.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_bit_collector_/test_bit_collector.cpp (original)
+++ sandbox/itl/libs/validate/test/test_bit_collector_/test_bit_collector.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
bit_collector_driver validater;
GentorProfileSgl::it()->set_std_profile(12,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(72, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(72, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_collector_/test_collector.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_collector_/test_collector.cpp (original)
+++ sandbox/itl/libs/validate/test/test_collector_/test_collector.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
collector_driver validater;
GentorProfileSgl::it()->set_std_profile(6,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(72, 2);
- //validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(72, 2);
+ //validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_itl_morphic_/test_itl_morphic.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_itl_morphic_/test_itl_morphic.cpp (original)
+++ sandbox/itl/libs/validate/test/test_itl_morphic_/test_itl_morphic.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
itl_morphic_driver validater;
GentorProfileSgl::it()->set_std_profile(16,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(143, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(143, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_itl_set_/test_itl_set.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_itl_set_/test_itl_set.cpp (original)
+++ sandbox/itl/libs/validate/test/test_itl_set_/test_itl_set.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
itl_set_driver validater;
GentorProfileSgl::it()->set_std_profile(20,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(96, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(96, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_map_copy_conformity_/test_map_copy_conformity.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_map_copy_conformity_/test_map_copy_conformity.cpp (original)
+++ sandbox/itl/libs/validate/test/test_map_copy_conformity_/test_map_copy_conformity.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
map_copy_conformity_driver validater;
GentorProfileSgl::it()->set_std_profile(20,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(48, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(48, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_map_order_/test_map_order.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_map_order_/test_map_order.cpp (original)
+++ sandbox/itl/libs/validate/test/test_map_order_/test_map_order.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
map_order_driver validater;
GentorProfileSgl::it()->set_std_profile(16,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(108, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(108, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_set_copy_conformity_/test_set_copy_conformity.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_set_copy_conformity_/test_set_copy_conformity.cpp (original)
+++ sandbox/itl/libs/validate/test/test_set_copy_conformity_/test_set_copy_conformity.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
set_copy_conformity_driver validater;
GentorProfileSgl::it()->set_std_profile(20,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(16, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(16, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_set_order_/test_set_order.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_set_order_/test_set_order.cpp (original)
+++ sandbox/itl/libs/validate/test/test_set_order_/test_set_order.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
set_order_driver validater;
GentorProfileSgl::it()->set_std_profile(16,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(72, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(72, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_signed_quantifier_/test_signed_quantifier.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_signed_quantifier_/test_signed_quantifier.cpp (original)
+++ sandbox/itl/libs/validate/test/test_signed_quantifier_/test_signed_quantifier.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
signed_quantifier_driver validater;
GentorProfileSgl::it()->set_std_profile(16,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(111, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(111, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_unsigned_quantifier_/test_unsigned_quantifier.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_unsigned_quantifier_/test_unsigned_quantifier.cpp (original)
+++ sandbox/itl/libs/validate/test/test_unsigned_quantifier_/test_unsigned_quantifier.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
unsigned_quantifier_driver validater;
GentorProfileSgl::it()->set_std_profile(16,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(84, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(84, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Modified: sandbox/itl/libs/validate/test/test_val_relations_/test_val_relations.cpp
==============================================================================
--- sandbox/itl/libs/validate/test/test_val_relations_/test_val_relations.cpp (original)
+++ sandbox/itl/libs/validate/test/test_val_relations_/test_val_relations.cpp 2009-10-14 14:23:50 EDT (Wed, 14 Oct 2009)
@@ -23,8 +23,8 @@
itl_relations_driver validater;
GentorProfileSgl::it()->set_std_profile(20,1);
//GentorProfileSgl::it()->report_profile();
- validater.terminate_at_law_count(33, 2);
- validater.set_information_level(inform::never);
+ validater.terminate_at_law_count(33, 2);
+ validater.set_information_level(inform::never);
BOOST_CHECK_EQUAL(validater.validate(), true);
}
Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk