ModuleSyntaxCheckState Class Reference

See State::showPlugins. More...

#include <include/dlvhex2/State.h>

Inheritance diagram for ModuleSyntaxCheckState:

Collaboration diagram for ModuleSyntaxCheckState:

Public Member Functions
	ModuleSyntaxCheckState ()
	Constructor.
virtual void	moduleSyntaxCheck (ProgramCtx *)
	Checks the module syntax.

---

Detailed Description

See State::showPlugins.

Definition at line 150 of file State.h.

---

Constructor & Destructor Documentation

ModuleSyntaxCheckState::ModuleSyntaxCheckState

(

)

Constructor.

---

Member Function Documentation

void ModuleSyntaxCheckState::moduleSyntaxCheck

(

ProgramCtx *

ctx

)

[virtual]

Checks the module syntax.

Parameters:

ctx	ProgramCtx.

Reimplemented from State.

Definition at line 315 of file State.cpp.

References State::changeState(), DLVHEX_BENCHMARK_REGISTER_AND_SCOPE, and MLPSyntaxChecker::verifySyntax().

---

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

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