OverflowErrorChecking.h

Go to the documentation of this file.

/*******************************************************************************
 *
 * Copyright (c) 2009-2010 Philipp Werner <philipp.werner@st.ovgu.de>
 * All rights reserved.
 *
 *    Redistribution and use in source and binary forms, with or without
 *    modification, are permitted provided that the following conditions
 *    are met:
 *
 *    * Redistributions of source code must retain the above copyright
 *      notice, this list of conditions and the following disclaimer.
 *
 *    * Redistributions in binary form must reproduce the above copyright
 *      notice, this list of conditions and the following disclaimer in
 *      the documentation and/or other materials provided with the
 *      distribution.
 *
 *    * Neither the name of the copyright holders nor the names of
 *      contributors may be used to endorse or promote products derived
 *      from this software without specific prior written permission.
 *
 *
 *    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
 *    IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
 *    TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
 *    PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 *    OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 *    SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 *    LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 *    DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 *    THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 *    (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 *    OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 *
 *
 * $Id$
 *
 ******************************************************************************/


#ifndef __OVERFLOWERRORCHECKING_H_2C2F23FF1575C2__
#define __OVERFLOWERRORCHECKING_H_2C2F23FF1575C2__


namespace famouso {
    namespace mw {
        namespace afp {
            namespace shared {


                class OverflowErrorChecking {

                        bool err;

                    public:
                        OverflowErrorChecking() : err(false) {
                        }

                        bool error() {
                            return err;
                        }


                        template <class T1, class T2>
                        void check_smaller(T1 v1, T2 v2) {
                            if (!err)
                                err = (v1 >= v2);
                        }

                        template <class T1, class T2>
                        void check_smaller_or_equal(T1 v1, T2 v2) {
                            if (!err)
                                err = (v1 > v2);
                        }

                        template <class T1, class T2>
                        void check_equal(T1 v1, T2 v2) {
                            if (!err)
                                err = (v1 != v2);
                        }

                        void set_error() {
                            err = true;
                        }

                        void reset() {
                            err = false;
                        }
                };


                class NoOverflowErrorChecking {

                    public:
                        NoOverflowErrorChecking() {
                        }

                        bool error() {
                            return false;
                        }


                        template <class T1, class T2>
                        void check_smaller(T1 v1, T2 v2) {
                        }

                        template <class T1, class T2>
                        void check_smaller_or_equal(T1 v1, T2 v2) {
                        }

                        template <class T1, class T2>
                        void check_equal(T1 v1, T2 v2) {
                        }

                        void set_error() {
                        }

                        void reset() {
                        }
                };


            } // namespace shared
        } // namespace afp
    } // namespace mw
} // namespace famouso


#endif // __OVERFLOWERRORCHECKING_H_2C2F23FF1575C2__