integer.h

Go to the documentation of this file.

#ifndef INTEGER_H
#define INTEGER_H
#pragma once
/***************************************************************************
 *   Copyright (C) 2007-2013 Mike Kinghan, imk@burroingroingjoing.com      *
 *   All rights reserved.                                                  *
 *                                                                         *
 *   Contributed originally by Mike Kinghan, imk@burroingroingjoing.com    *
 *                                                                         *
 *   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 Mike Kinghan nor the names of its 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.                                                               *
 *                                                                         *
 **************************************************************************/

#include <cstddef>

enum integer_type {
    INT_UNDEF,
    INT_INT = (3 << 16) | (sizeof(int) << 8) | 1,
    INT_UINT = (3 << 16) | (sizeof(int) << 8) | 2,
    INT_LONG = (4 << 16) | (sizeof(long) << 8) | 1,
    INT_ULONG = (4 << 16) | (sizeof(long) << 8) | 2,
    INT_LLONG = (5 << 16) | (sizeof(long long) << 8) | 1,
    INT_ULLONG = (5 << 16) | (sizeof(long long) << 8) | 2,
};

struct integer {

        friend struct integer_constant;

        explicit integer(integer_type type = INT_INT, unsigned long long val = 0)
                : _val(val),_type(type) {}

        integer_type type() const {
                return _type;
        }
        bool good() const {
                return _type != INT_UNDEF;
        }
        size_t size() const {
                return (_type & 0xff00) >> 8;
        }
        bool is_signed() const {
                return _type & 1;
        }
        unsigned long long raw() const {
                return _val;
        }

        char const * type_desc() const {
                return type_desc(_type);
        }

        int sign() const;

        integer operator<(integer const & rhs) const;

        integer operator<=(integer const & rhs) const;

        integer operator>(integer const & rhs) const;

        integer operator>=(integer const & rhs) const;

        integer operator==(integer const & rhs) const;

        integer operator!=(integer const & rhs) const;
        integer operator&&(integer const & rhs) const;
        integer operator||(integer const & rhs) const;

        integer operator&(integer const & rhs) const;

        integer operator|(integer const & rhs) const;

        integer operator^(integer const & rhs) const;

        integer operator!() const {
                return good() ? integer(_type,!_val) : integer(INT_UNDEF);
        }

        integer operator~() const;

        integer operator-() const;

        integer operator+() const {
                return good() ? *this : integer(INT_UNDEF);
        }

        integer operator+(integer const & rhs) const;

        integer operator-(integer const & rhs) const;

        integer operator*(integer const & rhs) const;

        integer operator/(integer const & rhs) const;

        integer operator%(integer const & rhs) const;

        integer operator<<(integer const & rhs) const;

        integer operator>>(integer const & rhs) const;

private:

        static integer_type to_unsigned(integer_type type) {
                return integer_type((type & ~3) | 2);
        }

        static integer_type to_signed(integer_type type) {
                return integer_type((type & ~3) | 1);
        }

        static unsigned rank_of(integer_type type) {
                return type >> 16;
        }

        unsigned rank() const {
                return rank_of(_type);
        }

        void make_unsigned() {
                _type = to_unsigned(_type);
        }

        void make_signed() {
                _type = to_signed(_type);
        }

        static integer_type
        result_type(integer const & lhs, integer const & rhs);


        static bool
        valid_shift(int direction, integer const & lhs, integer const & rhs);

        static char const * type_desc(integer_type it);

        unsigned long long _val;
        integer_type _type;
};

#endif /* EOF*/