From 1ecfbd201618b44bf35c9c380e91f8e2aa048a21 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 17 Feb 2006 22:39:00 +0000 Subject: [PATCH] Liberally sprinkle some assertions. git-svn-id: https://svn.dealii.org/trunk@12403 0785d39b-7218-0410-832d-ea1e28bc413d --- .../include/dofs/dof_accessor.templates.h | 132 ++++++++++++++---- 1 file changed, 108 insertions(+), 24 deletions(-) diff --git a/deal.II/deal.II/include/dofs/dof_accessor.templates.h b/deal.II/deal.II/include/dofs/dof_accessor.templates.h index ff22b3b0a7..81557d3b66 100644 --- a/deal.II/deal.II/include/dofs/dof_accessor.templates.h +++ b/deal.II/deal.II/include/dofs/dof_accessor.templates.h @@ -1052,8 +1052,13 @@ DoFObjectAccessor<1,hp::DoFHandler<1> >::dof_index (const unsigned int i) const const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_line_index_offset[this->present_index]; - return this->dof_handler->levels[this->present_level] - ->line_dofs[offset+i]; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->line_dofs.size(), + ExcInternalError()); + + return this->dof_handler->levels[this->present_level]->line_dofs[offset+i]; } @@ -1082,8 +1087,13 @@ DoFObjectAccessor<1,hp::DoFHandler<2> >::dof_index (const unsigned int i) const const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_line_index_offset[this->present_index]; - return this->dof_handler->levels[this->present_level] - ->line_dofs[offset+i]; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->line_dofs.size(), + ExcInternalError()); + + return this->dof_handler->levels[this->present_level]->line_dofs[offset+i]; } @@ -1112,8 +1122,13 @@ DoFObjectAccessor<1,hp::DoFHandler<3> >::dof_index (const unsigned int i) const const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_line_index_offset[this->present_index]; - return this->dof_handler->levels[this->present_level] - ->line_dofs[offset+i]; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->line_dofs.size(), + ExcInternalError()); + + return this->dof_handler->levels[this->present_level]->line_dofs[offset+i]; } @@ -1137,8 +1152,13 @@ DoFObjectAccessor<1,hp::DoFHandler<1> >::set_dof_index (const unsigned int i, const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_line_index_offset[this->present_index]; - this->dof_handler->levels[this->present_level] - ->line_dofs[offset+i] = index; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->line_dofs.size(), + ExcInternalError()); + + this->dof_handler->levels[this->present_level]->line_dofs[offset+i] = index; } @@ -1165,8 +1185,13 @@ DoFObjectAccessor<1, hp::DoFHandler<2> >::set_dof_index (const unsigned int i, const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_line_index_offset[this->present_index]; - this->dof_handler->levels[this->present_level] - ->line_dofs[offset+i] = index; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->line_dofs.size(), + ExcInternalError()); + + this->dof_handler->levels[this->present_level]->line_dofs[offset+i] = index; } @@ -1189,8 +1214,13 @@ DoFObjectAccessor<1, hp::DoFHandler<3> >::set_dof_index (const unsigned int i, const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_line_index_offset[this->present_index]; - this->dof_handler->levels[this->present_level] - ->line_dofs[offset+i] = index; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->line_dofs.size(), + ExcInternalError()); + + this->dof_handler->levels[this->present_level]->line_dofs[offset+i] = index; } @@ -1203,6 +1233,9 @@ DoFObjectAccessor<1,hp::DoFHandler<1> >::get_fe () const { return (*dof_handler->finite_elements)[active_fe_index ()]; } + + + template <> inline const FiniteElement<2> & @@ -1210,6 +1243,9 @@ DoFObjectAccessor<1,hp::DoFHandler<2> >::get_fe () const { return (*dof_handler->finite_elements)[active_fe_index ()]; } + + + template <> inline const FiniteElement<3> & @@ -1219,6 +1255,7 @@ DoFObjectAccessor<1,hp::DoFHandler<3> >::get_fe () const } + template <> inline unsigned int @@ -1231,6 +1268,9 @@ DoFObjectAccessor<1,hp::DoFHandler<1> >::active_fe_index () const return dof_handler->levels[this->present_level] ->active_fe_indices[this->present_index]; } + + + template <> inline unsigned int @@ -1243,6 +1283,9 @@ DoFObjectAccessor<1,hp::DoFHandler<2> >::active_fe_index () const return dof_handler->levels[this->present_level] ->active_fe_indices[this->present_index]; } + + + template <> inline unsigned int @@ -1257,6 +1300,7 @@ DoFObjectAccessor<1,hp::DoFHandler<3> >::active_fe_index () const } + template <> inline void @@ -1272,6 +1316,9 @@ DoFObjectAccessor<1,hp::DoFHandler<1> >::set_active_fe_index (const unsigned int dof_handler->levels[this->present_level] ->active_fe_indices[this->present_index] = i; } + + + template <> inline void @@ -1287,6 +1334,9 @@ DoFObjectAccessor<1,hp::DoFHandler<2> >::set_active_fe_index (const unsigned int dof_handler->levels[this->present_level] ->active_fe_indices[this->present_index] = i; } + + + template <> inline void @@ -1323,10 +1373,17 @@ unsigned int DoFObjectAccessor<2,hp::DoFHandler<2> >::dof_index (const unsigned const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_quad_index_offset[this->present_index]; - return this->dof_handler->levels[this->present_level] - ->quad_dofs[offset+i]; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->quad_dofs.size(), + ExcInternalError()); + + return this->dof_handler->levels[this->present_level]->quad_dofs[offset+i]; } + + template <> inline unsigned int DoFObjectAccessor<2,hp::DoFHandler<3> >::dof_index (const unsigned int i) const @@ -1344,11 +1401,17 @@ unsigned int DoFObjectAccessor<2,hp::DoFHandler<3> >::dof_index (const unsigned const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_quad_index_offset[this->present_index]; - return this->dof_handler->levels[this->present_level] - ->quad_dofs[offset+i]; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->quad_dofs.size(), + ExcInternalError()); + + return this->dof_handler->levels[this->present_level]->quad_dofs[offset+i]; } + template <> inline void @@ -1368,11 +1431,17 @@ DoFObjectAccessor<2, hp::DoFHandler<2> >::set_dof_index (const unsigned int i, const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_quad_index_offset[this->present_index]; - this->dof_handler->levels[this->present_level] - ->quad_dofs[offset+i] = index; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->quad_dofs.size(), + ExcInternalError()); + + this->dof_handler->levels[this->present_level]->quad_dofs[offset+i] = index; } + template <> inline void @@ -1392,8 +1461,13 @@ DoFObjectAccessor<2, hp::DoFHandler<3> >::set_dof_index (const unsigned int i, const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_quad_index_offset[this->present_index]; - this->dof_handler->levels[this->present_level] - ->quad_dofs[offset+i] = index; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->quad_dofs.size(), + ExcInternalError()); + + this->dof_handler->levels[this->present_level]->quad_dofs[offset+i] = index; } @@ -1502,8 +1576,13 @@ DoFObjectAccessor<3,hp::DoFHandler<3> >::dof_index (const unsigned int i) const const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_hex_index_offset[this->present_index]; - return this->dof_handler->levels[this->present_level] - ->hex_dofs[offset+i]; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->hex_dofs.size(), + ExcInternalError()); + + return this->dof_handler->levels[this->present_level]->hex_dofs[offset+i]; } @@ -1526,8 +1605,13 @@ DoFObjectAccessor<3, hp::DoFHandler<3> >::set_dof_index (const unsigned int i, const unsigned int offset = this->dof_handler->levels[this->present_level] ->dof_hex_index_offset[this->present_index]; - this->dof_handler->levels[this->present_level] - ->hex_dofs[offset+i] = index; + Assert (offset != this->dof_handler->invalid_dof_index, + ExcInternalError()); + Assert (offset+i < + this->dof_handler->levels[this->present_level]->hex_dofs.size(), + ExcInternalError()); + + this->dof_handler->levels[this->present_level]->hex_dofs[offset+i] = index; } -- 2.39.5