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

Added warning when attempting to use #show statements without completion.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-05 04:24:00 +02:00
parent 19ede968ed
commit 95984f0447
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/anthem/Translation.cpp
View File

@ -64,10 +64,11 @@ void translate(const char *fileName, std::istream &stream, Context &context)
ast::PrintContext printContext; ast::PrintContext printContext;
// TODO: respect predicate visibility in output
if (!context.complete) if (!context.complete)
{ {
if (context.visiblePredicateSignatures)
context.logger.log(output::Priority::Warning) << "#show statements are ignored because completion is not enabled";
for (const auto &scopedFormula : scopedFormulas) for (const auto &scopedFormula : scopedFormulas)
{ {
ast::print(context.logger.outputStream(), scopedFormula.formula, printContext); ast::print(context.logger.outputStream(), scopedFormula.formula, printContext);