A helper for parsing. More...

#include <parse.hh>

Public Member Functions
	ParseHelper (Logger &log, SymbolStore &store, std::function< void(Input::Stm)> cb, Ground::ScriptExec exec=nullptr, ProgramBackend prg_backend=nullptr, TheoryBackend *thy_backend=nullptr)
	Construct the helper.

auto	process_string (std::string_view str) -> BuiltinIncludes
	Parse a program from the given string.

auto	process_files (std::span< std::string_view const > const &files) -> BuiltinIncludes
	Parse a program from the given files.

void	process_stdin ()
	Parse a program from stdin.

auto	process_path (std::string_view path) -> bool
	Parse a program from the given path.

auto	process_includes () -> BuiltinIncludes
	Process includes encountered while parsing.

void	check () const
	Throws if there was an error during parsing.

Detailed Description

A helper for parsing.

This class manages include directives.

Member Function Documentation

auto CppClingo::Control::ParseHelper::process_path ( std::string_view path ) -> bool

inline

Parse a program from the given path.

Returns false if the file was not found or raises an error if it was required.

The documentation for this class was generated from the following file: