parser.hh

#pragma once
 
#include <clingo/input/statement.hh>
 
#include <clingo/core/backend.hh>
#include <clingo/core/logger.hh>
 
#include <istream>
 
namespace CppClingo::Input {
 
namespace Parse {
 
class ParserState;
 
}
 
 
class Parser {
  public:
    Parser(Logger &log, SymbolStore &store, ProgramBackend *prg_backend = nullptr,
           TheoryBackend *thy_backend = nullptr);
    Parser(Parser const &other) = delete;
    Parser(Parser &&other) noexcept;
    auto operator=(Parser const &other) -> Parser & = delete;
    auto operator=(Parser &&other) noexcept -> Parser &;
    ~Parser() noexcept;
 
    void init(std::istream &in, String file);
    void init(std::string_view in, String file);
 
    auto parse_symbol() -> std::optional<SharedSymbol>;
    auto parse_program_parts() -> std::optional<ProgramParamVec>;
    auto parse_const_def() -> std::optional<std::pair<SharedString, SharedSymbol>>;
    auto parse_term() -> std::optional<Term>;
    auto parse_theory_term() -> std::optional<TheoryTerm>;
    auto parse_literal() -> std::optional<Lit>;
    auto parse_body_literal() -> std::optional<BdLit>;
    auto parse_head_literal() -> std::optional<HdLit>;
    auto parse_statement() -> std::optional<Stm>;
 
    auto scan() -> std::pair<std::optional<Stm>, bool>;
 
  private:
    std::unique_ptr<Parse::ParserState> impl_;
};
 
 
} // namespace CppClingo::Input