test_class.file: de.prob2.kernel/src/test/java/de/prob/animator/command/EvaluateFormulasCommandTest.java
test_class.identifier: EvaluateFormulasCommandTest
test_case.body: @Test
  	public void testProcessResult() {
  
  		IEvalElement element = new ClassicalB("1<3", FormulaExpand.EXPAND);
  
  		final CompoundPrologTerm lpt = mkResult("true");
  		ISimplifiedROMap<String, PrologTerm> m1 = key -> lpt;
  		EvaluateFormulaCommand command = new EvaluateFormulaCommand(element,
  				"root");
  		command.processResult(m1);
  
  		AbstractEvalResult value = command.getValue();
  		assertEquals("true", ((EvalResult) value).getValue());
  		assertEquals("3", ((EvalResult) value).getSolutions().get("a"));
  	}
test_case.class_method_signature: EvaluateFormulasCommandTest.testProcessResult()
test_case.full_signature: @Test public void testProcessResult()
test_case.identifier: testProcessResult
test_case.invocations: mkResult processResult getValue assertEquals getValue assertEquals get getSolutions
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testProcessResult()
focal_class.declarator: PROLOG_COMMAND_NAME = "evaluate_formulas"
focal_class.modifier: private static final
focal_class.original_string: private static final String PROLOG_COMMAND_NAME = "evaluate_formulas";
focal_class.type: String
focal_class.var_name: PROLOG_COMMAND_NAME
focal_class.declarator: logger = LoggerFactory.getLogger(EvaluateFormulasCommand.class)
focal_class.original_string: Logger logger = LoggerFactory.getLogger(EvaluateFormulasCommand.class);
focal_class.type: Logger
focal_class.var_name: logger
focal_class.declarator: EVALUATE_RESULT_VARIABLE = "Res"
focal_class.modifier: private static final
focal_class.original_string: private static final String EVALUATE_RESULT_VARIABLE = "Res";
focal_class.type: String
focal_class.var_name: EVALUATE_RESULT_VARIABLE
focal_class.declarator: evalElements
focal_class.modifier: private final
focal_class.original_string: private final List<IEvalElement> evalElements;
focal_class.type: List<IEvalElement>
focal_class.var_name: evalElements
focal_class.declarator: values = new ArrayList<>()
focal_class.modifier: private final
focal_class.original_string: private final List<AbstractEvalResult> values = new ArrayList<>();
focal_class.type: List<AbstractEvalResult>
focal_class.var_name: values
focal_class.declarator: stateId
focal_class.modifier: private
focal_class.original_string: private String stateId;
focal_class.type: String
focal_class.var_name: stateId
focal_class.file: de.prob2.kernel/src/main/java/de/prob/animator/command/EvaluateFormulasCommand.java
focal_class.identifier: EvaluateFormulasCommand
focal_class.class_method_signature: EvaluateFormulasCommand.EvaluateFormulasCommand(final List<IEvalElement> evalElements, final String stateId)
focal_class.full_signature: public  EvaluateFormulasCommand(final List<IEvalElement> evalElements, final String stateId)
focal_class.identifier: EvaluateFormulasCommand
focal_class.modifiers: public
focal_class.parameters: (final List<IEvalElement> evalElements, final String stateId)
focal_class.signature:  EvaluateFormulasCommand(final List<IEvalElement> evalElements, final String stateId)
focal_class.class_method_signature: EvaluateFormulasCommand.processResult(final ISimplifiedROMap<String, PrologTerm> bindings)
focal_class.full_signature: @Override public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings)
focal_class.identifier: processResult
focal_class.modifiers: @Override public
focal_class.parameters: (final ISimplifiedROMap<String, PrologTerm> bindings)
focal_class.return: void
focal_class.signature: void processResult(final ISimplifiedROMap<String, PrologTerm> bindings)
focal_class.class_method_signature: EvaluateFormulasCommand.writeCommand(final IPrologTermOutput pout)
focal_class.full_signature: @Override public void writeCommand(final IPrologTermOutput pout)
focal_class.identifier: writeCommand
focal_class.modifiers: @Override public
focal_class.parameters: (final IPrologTermOutput pout)
focal_class.return: void
focal_class.signature: void writeCommand(final IPrologTermOutput pout)
focal_class.class_method_signature: EvaluateFormulasCommand.printEvalTerm(final IPrologTermOutput pout, IEvalElement evalElement)
focal_class.full_signature: private void printEvalTerm(final IPrologTermOutput pout, IEvalElement evalElement)
focal_class.identifier: printEvalTerm
focal_class.modifiers: private
focal_class.parameters: (final IPrologTermOutput pout, IEvalElement evalElement)
focal_class.return: void
focal_class.signature: void printEvalTerm(final IPrologTermOutput pout, IEvalElement evalElement)
focal_class.class_method_signature: EvaluateFormulasCommand.getValues()
focal_class.full_signature: public List<AbstractEvalResult> getValues()
focal_class.identifier: getValues
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: List<AbstractEvalResult>
focal_class.signature: List<AbstractEvalResult> getValues()
focal_class.class_method_signature: EvaluateFormulasCommand.getResultMap()
focal_class.full_signature: public Map<IEvalElement, AbstractEvalResult> getResultMap()
focal_class.identifier: getResultMap
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: Map<IEvalElement, AbstractEvalResult>
focal_class.signature: Map<IEvalElement, AbstractEvalResult> getResultMap()
focal_class.superclass: extends AbstractCommand
focal_method.body: @Override
  	public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings) {
  
  		ListPrologTerm terms = BindingGenerator.getList(bindings, EVALUATE_RESULT_VARIABLE);
  		for (PrologTerm term : terms) {
  			values.add(EvalResult.getEvalResult(term));
  		}
  	}
focal_method.class_method_signature: EvaluateFormulasCommand.processResult(final ISimplifiedROMap<String, PrologTerm> bindings)
focal_method.full_signature: @Override public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings)
focal_method.identifier: processResult
focal_method.invocations: getList add getEvalResult
focal_method.modifiers: @Override public
focal_method.parameters: (final ISimplifiedROMap<String, PrologTerm> bindings)
focal_method.return: void
focal_method.signature: void processResult(final ISimplifiedROMap<String, PrologTerm> bindings)