void_element.h

Go to the documentation of this file.

/* Tide
 *
 * Header file for the void element object.
 *
 * Copyright 2011 Geoffrey Biggs geoffrey.biggs@aist.go.jp
 *     RT-Synthesis Research Group
 *     Intelligent Systems Research Institute,
 *     National Institute of Advanced Industrial Science and Technology (AIST),
 *     Japan
 *     All rights reserved.
 *
 * This file is part of Tide.
 *
 * Tide is free software; you can redistribute it and/or modify it under
 * the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation; either version 2.1 of the License, or
 * (at your option) any later version.
 *
 * Tide is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
 * License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with Tide. If not, see <http://www.gnu.org/licenses/>.
 */

#if !defined(TIDE_INT_ELEMENT_H_)
#define TIDE_INT_ELEMENT_H_

#include <tide/el_ids.h>
#include <tide/prim_element.h>
#include <tide/win_dll.h>

#include <stdint.h>


namespace tide
{
    class TIDE_EXPORT VoidElement : public Element
    {
        public:
            VoidElement(std::streamsize tgt_size, bool fill=false);

            VoidElement(Element const& element, bool fill=false);

            void set_size(std::streamsize tgt_size);

            std::streamsize size() const;

            bool fill() const { return fill_; }
            void fill(bool fill) { fill_ = fill; }

            virtual std::streamsize write(std::ostream& output);

            virtual std::streamsize write_body(std::ostream& output);

            std::streamsize read(std::istream& input);

        private:
            std::streamsize size_;
            bool fill_;
            std::streamsize extra_size_;

            virtual std::streamsize body_size() const { return size_; }

            virtual std::streamsize read_body(std::istream& input,
                    std::streamsize size);
    }; // class VoidElement
}; // namespace tide

// group implementations

#endif // TIDE_INT_ELEMENT_H_