Tide 0.1.0
|
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