ParseState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

Inheritance diagram for ParseState:

Collaboration diagram for ParseState:

Public Member Functions
	ParseState ()
	Constructor.
virtual void	parse (ProgramCtx *)
	Parses the input.

---

Detailed Description

See State::showPlugins.

Definition at line 141 of file State.h.

---

Constructor & Destructor Documentation

ParseState::ParseState

(

)

Constructor.

---

Member Function Documentation

void ParseState::parse

(

ProgramCtx *

ctx

)

[virtual]

Parses the input.

Parameters:

ctx	ProgramCtx.

Reimplemented from State.

Definition at line 230 of file State.cpp.

References State::changeState(), ProgramCtx::config, DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, Configuration::doVerbose(), Configuration::DUMP_PARSED_PROGRAM, ProgramCtx::edb, Configuration::getOption(), ProgramCtx::idb, Logger::INFO, ProgramCtx::inputProvider, Logger::Instance(), LOG, ProgramCtx::parser, ProgramCtx::pluginContainer(), Printer::printmany(), ProgramCtx::registry(), Logger::shallPrint(), Logger::stream(), and WARNING().

---

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

• include/dlvhex2/State.h
• src/State.cpp