songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

test for result_type is Cast

This commit is contained in:
Michael Hemmer 2010-04-30 10:18:33 +00:00
parent 671b2043c1
commit fa4d721510
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
Algebraic_foundations/include/CGAL/Test/_test_coercion_traits.h
View File

@ -326,12 +326,14 @@ template <class A, class B, class RT>
void test_explicit_interoperable_one_way(){ void test_explicit_interoperable_one_way(){
typedef CGAL::Coercion_traits<A,B> CT; typedef CGAL::Coercion_traits<A,B> CT;
typedef typename CT::Type Type; typedef typename CT::Type Type;
typedef typename CT::Cast Cast;
typedef typename Cast::result_type result_type;
assert( BOOST_STATIC_ASSERT((::boost::is_same<result_type,Type>::value));
(::boost::is_same< typename CT::Are_explicit_interoperable,CGAL::Tag_true>::value)); BOOST_STATIC_ASSERT((::boost::is_same< typename CT::Are_explicit_interoperable,CGAL::Tag_true>::value));
assert((::boost::is_same<Type,RT>::value)); BOOST_STATIC_ASSERT((::boost::is_same<Type,RT>::value));
typename CT::Cast cast; typename CT::Cast cast;
A a(3); A a(3);
B b(3); B b(3);
RT rt(3); RT rt(3);