switch plugin output to list, managed to get the resulting state printed on the console…..

de.prob.core/src/de/prob/core/command/GetPluginResultCommand.java

@@ -16,34 +16,27 @@ import de.prob.prolog.term.PrologTerm;
 public final class GetPluginResultCommand implements IComposableCommand {
 
 	private final String resultID;
-	private String result;
+	private ListPrologTerm result;
 
 	public GetPluginResultCommand(final String resultID) {
 		this.resultID = resultID;
 	}
 
-	public String getResult() {
+	public ListPrologTerm getResult() {
 		return result;
 	}
 
 	public void processResult(
 			final ISimplifiedROMap<String, PrologTerm> bindings)
 			throws CommandException {
-		ListPrologTerm list;
 		try {
-			list = BindingGenerator.getList(bindings, "Bindings");
+			result = BindingGenerator.getList(bindings, "Bindings");
 		} catch (ResultParserException e) {
 			CommandException commandException = new CommandException(
 					e.getLocalizedMessage(), e);
 			commandException.notifyUserOnce();
 			throw commandException;
 		}
-
-		for (PrologTerm term : list) {
-			int nextCharCode = BindingGenerator.getInteger(term).getValue()
-					.intValue();
-			result += (char) nextCharCode;
-		}
 	}
 
 	public void writeCommand(final IPrologTermOutput pto) {

de.prob.ui/src/de/prob/ui/eventb/StartUnitAnalysisHandler.java

@@ -44,6 +44,7 @@ import de.prob.core.command.StartAnimationCommand;
 import de.prob.core.command.internal.InternalLoadCommand;
 import de.prob.exceptions.ProBException;
 import de.prob.logging.Logger;
+import de.prob.prolog.term.ListPrologTerm;
 
 public class StartUnitAnalysisHandler extends AbstractHandler implements
 		IHandler {
@@ -130,11 +131,11 @@ public class StartUnitAnalysisHandler extends AbstractHandler implements
 
 				// TODO: get resulting state and fill attributes
 				GetPluginResultCommand stateValuesCommand = new GetPluginResultCommand(
-						"Static Analysis Result");
+						"Grounded Result State");
 
 				animator.execute(stateValuesCommand);
 
-				String output = stateValuesCommand.getResult();
+				ListPrologTerm output = stateValuesCommand.getResult();
 
 				System.out.println(output);