patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Improved debug output.

This commit is contained in:
Patrick Lühne 2017-06-02 14:59:13 +02:00
parent 381d55b6ed
commit 64bd1c17e3
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
include/anthem/StatementVisitor.h
View File

@ -39,14 +39,19 @@ struct StatementVisitor
{
void visit(const Clingo::AST::Program &program, const Clingo::AST::Statement &statement, std::vector<ast::ScopedFormula> &, Context &context)
{
context.logger.log(output::Priority::Debug) << "program “" << program.name << "”";
context.logger.log(output::Priority::Debug, statement.location) << "reading program “" << program.name << "”";
if (std::strcmp(program.name, "base") != 0)
throw LogicException(statement.location, "program parts currently unsupported");
if (!program.parameters.empty())
throw LogicException(statement.location, "program parameters currently unsupported");
}
void visit(const Clingo::AST::Rule &rule, const Clingo::AST::Statement &, std::vector<ast::ScopedFormula> &scopedFormulas, Context &)
void visit(const Clingo::AST::Rule &rule, const Clingo::AST::Statement &statement, std::vector<ast::ScopedFormula> &scopedFormulas, Context &context)
{
context.logger.log(output::Priority::Debug, statement.location) << "reading rule";
RuleContext ruleContext;
ast::VariableStack variableStack;
variableStack.push(&ruleContext.freeVariables);
@ -164,9 +169,12 @@ struct StatementVisitor
context.visiblePredicateSignatures.emplace();
if (std::strlen(signature.name()) == 0)
{
context.logger.log(output::Priority::Debug, statement.location) << "showing no predicates by default";
return;
}
context.logger.log(output::Priority::Debug) << "showing “" << signature.name() << "/" << signature.arity() << "”";
context.logger.log(output::Priority::Debug, statement.location) << "showing “" << signature.name() << "/" << signature.arity() << "”";
context.visiblePredicateSignatures.value().emplace_back(std::string(signature.name()), signature.arity());
}