canonical_decoding.hpp

Go to the documentation of this file.

//This file is part of Bertini 2.
//
//canonical_decoding.hpp is free software: you can redistribute it and/or modify
//it under the terms of the GNU General Public License as published by
//the Free Software Foundation, either version 3 of the License, or
//(at your option) any later version.
//
//canonical_decoding.hpp 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 General Public License for more details.
//
//You should have received a copy of the GNU General Public License
//along with canonical_decoding.hpp.  If not, see <http://www.gnu.org/licenses/>.
//
// Copyright(C) Bertini2 Development Team
//
// See <http://www.gnu.org/licenses/> for a copy of the license,
// as well as COPYING.  Bertini2 is provided with permitted
// additional terms in the b2/licenses/ directory.

 
#pragma once
 
#include <cstddef>
#include <memory>
#include <string>
#include <string_view>
#include <vector>
 
#include "bertini2/function_tree/node.hpp"
 
namespace bertini {
namespace node {

class DecodingCursor
{
public:
    explicit DecodingCursor(std::string const& text) : text_(text), pos_(0) {}

    bool AtEnd() const { return pos_ >= text_.size(); }

    std::size_t Offset() const { return pos_; }

    char Peek() const;

    void Expect(char c);

    void Expect(std::string_view lit);

    bool TryConsume(char c);

    void SkipWhitespace();

    std::string ReadWord();

    std::string ReadNetstring();

    unsigned long long ReadUnsigned();

    long long ReadInt();

    [[noreturn]] void Fail(std::string const& what) const;
 
private:
    std::string const& text_;   
    std::size_t pos_;           
};

struct DecodingContext
{
    std::vector<std::shared_ptr<Node>> by_index;
};

std::shared_ptr<Node> DecodeCanonical(DecodingCursor& cursor, DecodingContext& ctx);

std::shared_ptr<Node> DecodeCanonicalTree(std::string const& text);
 
} // namespace node
} // namespace bertini