position.h

Go to the documentation of this file.

// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-

/* libutap - Uppaal Timed Automata Parser.
   Copyright (C) 2006 Uppsala University and Aalborg University.

   This library 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.

   This library 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 this library; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
   USA
*/

#ifndef UTAP_POSITION
#define UTAP_POSITION

#include <cinttypes>
#include <climits>

#include <vector>
#include <string>
#include <iostream>

namespace UTAP
{
    struct position_t
    {
        uint32_t start, end;
        // Do NOT use UINT_MAX but INT_MAX instead because Java Integer
        // will not parse UINT_MAX.
        position_t() : start{0}, end{INT_MAX} {}
        position_t(uint32_t s, uint32_t e) : start{s}, end{e} {}
    };

    class Positions
    {
    public:
        struct line_t
        {
            uint32_t position;
            uint32_t offset;
            uint32_t line;
            std::string path;
            line_t(uint32_t pos, uint32_t offs, uint32_t l, std::string p)
                : position{pos}, offset{offs}, line{l}, path{std::move(p)} {}
        };

    private:
        std::vector<line_t> elements;
        const line_t &find(uint32_t, uint32_t, uint32_t) const;
    public:
        void add(uint32_t position, uint32_t offset, uint32_t line,
                 const std::string& path);

        const line_t &find(uint32_t position) const;

        void dump();
    };


    struct error_t
    {
        Positions::line_t start;
        Positions::line_t end;
        position_t position;
        const std::string message;
        const std::string context;

        error_t(Positions::line_t s, Positions::line_t e,
                position_t pos, std::string msg, std::string ctx="")
            : start{s}, end{e}, position{pos},
              message{std::move(msg)}, context{std::move(ctx)} {}
    };
}

std::ostream &operator <<(std::ostream &out, const UTAP::error_t &);

#endif