From f0f9cb16e96c500704e077fd3bf826dbe4e3b437 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 26 Feb 2015 11:01:37 +0100
Subject: [PATCH] adopt errors command to cli
---
.../src/de/prob/core/command/GetErrorsCommand.java | 14 +++++++++++---
1 file changed, 11 insertions(+), 3 deletions(-)
diff --git a/de.prob.core/src/de/prob/core/command/GetErrorsCommand.java b/de.prob.core/src/de/prob/core/command/GetErrorsCommand.java
index 19cad6e4..da31d939 100644
--- a/de.prob.core/src/de/prob/core/command/GetErrorsCommand.java
+++ b/de.prob.core/src/de/prob/core/command/GetErrorsCommand.java
@@ -19,8 +19,10 @@ import de.prob.prolog.term.PrologTerm;
* @author plagge
*/
public class GetErrorsCommand implements IComposableCommand {
- public static final String ERRORS_VARIABLE = "Errors";
+ private static final String ERRORS_VARIABLE = "Errors";
+ private static final String ONLY_WARNINGS_VARIABLE = "OnlyWarnings";
private List<String> errors;
+ private boolean onlyWarnings;
@Override
public void processResult(
@@ -28,16 +30,22 @@ public class GetErrorsCommand implements IComposableCommand {
throws CommandException {
errors = PrologTerm.atomicStrings((ListPrologTerm) bindings
.get(ERRORS_VARIABLE));
+ onlyWarnings = "true".equals(bindings.get(ONLY_WARNINGS_VARIABLE)
+ .getFunctor());
}
@Override
public void writeCommand(final IPrologTermOutput pto) {
- pto.openTerm("getErrorMessages").printVariable(ERRORS_VARIABLE)
- .closeTerm();
+ pto.openTerm("getErrorMessages").printVariable(ONLY_WARNINGS_VARIABLE)
+ .printVariable(ERRORS_VARIABLE).closeTerm();
}
public List<String> getErrors() {
return errors;
}
+ public boolean onlyWarningsOccurred() {
+ return onlyWarnings;
+ }
+
}
--
GitLab