Tide 0.1.0

uint_element.h

Go to the documentation of this file.
00001 /* Tide
00002  *
00003  * Header file for the unsigned integer element object.
00004  *
00005  * Copyright 2011 Geoffrey Biggs geoffrey.biggs@aist.go.jp
00006  *     RT-Synthesis Research Group
00007  *     Intelligent Systems Research Institute,
00008  *     National Institute of Advanced Industrial Science and Technology (AIST),
00009  *     Japan
00010  *     All rights reserved.
00011  *
00012  * This file is part of Tide.
00013  *
00014  * Tide is free software; you can redistribute it and/or modify it under
00015  * the terms of the GNU Lesser General Public License as published by
00016  * the Free Software Foundation; either version 2.1 of the License, or
00017  * (at your option) any later version.
00018  *
00019  * Tide is distributed in the hope that it will be useful, but WITHOUT
00020  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
00021  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
00022  * License for more details.
00023  *
00024  * You should have received a copy of the GNU Lesser General Public
00025  * License along with Tide. If not, see <http://www.gnu.org/licenses/>.
00026  */
00027 
00028 #if !defined(TIDE_UINT_ELEMENT_H_)
00029 #define TIDE_UINT_ELEMENT_H_
00030 
00031 #include <tide/prim_element.h>
00032 #include <tide/win_dll.h>
00033 
00034 #include <stdint.h>
00035 
00038 
00039 namespace tide
00040 {
00046     class TIDE_EXPORT UIntElement : public PrimitiveElement<uint64_t>
00047     {
00048         public:
00055             UIntElement(uint32_t id, uint64_t value);
00056 
00064             UIntElement(uint32_t id, uint64_t value, uint64_t default_value);
00065 
00067             virtual UIntElement& operator=(uint64_t const& rhs);
00068 
00070             virtual std::streamsize write_body(std::ostream& output);
00071 
00072         protected:
00074             virtual std::streamsize body_size() const;
00075 
00077             virtual std::streamsize read_body(std::istream& input,
00078                     std::streamsize size);
00079     }; // class UIntElement
00080 }; // namespace tide
00081 
00083 // group implementations
00084 
00085 #endif // TIDE_UINT_ELEMENT_H_
00086 
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines