Olena-patches September 2006

olena-patches@lrde.epita.fr

3 participants
92 discussions

514: New 'implies' macro in mlc contracts.

by Thierry GERAUD

2006-09-01 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> * mlc/contract.hh (implies): New macro. Index: mlc/contract.hh =================================================================== --- mlc/contract.hh (revision 513) +++ mlc/contract.hh (working copy) @@ -34,6 +34,8 @@ // FIXME: a lot of code has been removed here for simplification // purpose only. +# define implies(lexpr, rexpr) (not (rexpr) or (lexpr)) + # define assertion(expr) assert(expr) # define invariant(expr) assert(expr) # define precondition(expr) assert(expr)

17 years, 7 months

512: Add materials to handle types without category.

by Thierry GERAUD

2006-09-01 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> Add materials to handle types without category. * stc/vtypes.hh (stc_equip_namespace_with_vtypes): Add ext_vtype_ and packed_vtypes_ for types without category. (ext_vtype, packed_vtypes): Add specializations for category being void. Index: stc/vtypes.hh =================================================================== --- stc/vtypes.hh (revision 511) +++ stc/vtypes.hh (working copy) @@ -260,6 +260,22 @@ { \ }; \ \ + /** \brief An external virtual type associated to \a from_type. */ \ + /** Version for types without category. */ \ + /** */ \ + /** Specialize this class for the desired \a from_type. */ \ + template <typename from_type, typename typedef_type> \ + struct ext_vtype_ \ + { \ + }; \ + \ + /** Specialization of ext_vtype for types without category. */ \ + template <typename from_type, typename typedef_type> \ + struct ext_vtype<void, from_type, typedef_type> \ + : public ext_vtype_<from_type, typedef_type> \ + { \ + }; \ + \ /** End of the recursive construction of any ext_vtype<> */ \ /** hierarchy. */ \ template <typename category, typename typedef_type> \ @@ -274,7 +290,21 @@ { \ }; \ \ + /** Optional packing structure, to be specialized by the user. */ \ + /** Version for types without category. */ \ + /** See tests/vtypes.hh for an example of use. */ \ + template <typename from_type> \ + struct packed_vtypes_ \ + { \ + }; \ \ + /** Specialization of packed_vtypes for types without category. */ \ + template <typename from_type> \ + struct packed_vtypes<void, from_type> : public packed_vtypes_<from_type> \ + { \ + }; \ + \ + \ /* -------------------- */ \ /* Internal machinery. */ \ /* -------------------- */ \

17 years, 7 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Olena-patches September 2006