test_class.file: de.prob2.kernel/src/test/java/de/prob/animator/command/SetPreferenceCommandTest.java
test_class.identifier: SetPreferenceCommandTest
test_case.body: @Test
  	public void testWriteCommand() {
  		StructuredPrologOutput prologTermOutput = new StructuredPrologOutput();
  		SetPreferenceCommand command = new SetPreferenceCommand("foo", "bar");
  		command.writeCommand(prologTermOutput);
  		prologTermOutput.fullstop().flush();
  
  		Collection<PrologTerm> sentences = prologTermOutput.getSentences();
  		PrologTerm t = sentences.iterator().next();
  
  		assertNotNull(t);
  		assertTrue(t instanceof CompoundPrologTerm);
  		assertEquals("set_eclipse_preference", t.getFunctor());
  		assertEquals(2, t.getArity());
  
  		PrologTerm argument1 = t.getArgument(1);
  		assertTrue(argument1.isAtom());
  		assertEquals("foo", argument1.toString());
  
  		PrologTerm argument2 = t.getArgument(2);
  		assertTrue(argument2.isAtom());
  		assertEquals("bar", argument2.toString());
  	}
test_case.class_method_signature: SetPreferenceCommandTest.testWriteCommand()
test_case.full_signature: @Test public void testWriteCommand()
test_case.identifier: testWriteCommand
test_case.invocations: writeCommand flush fullstop getSentences next iterator assertNotNull assertTrue assertEquals getFunctor assertEquals getArity getArgument assertTrue isAtom assertEquals toString getArgument assertTrue isAtom assertEquals toString
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testWriteCommand()
focal_class.declarator: PROLOG_COMMAND_NAME = "set_eclipse_preference"
focal_class.modifier: private static final
focal_class.original_string: private static final String PROLOG_COMMAND_NAME = "set_eclipse_preference";
focal_class.type: String
focal_class.var_name: PROLOG_COMMAND_NAME
focal_class.declarator: key
focal_class.modifier: private final
focal_class.original_string: private final String key;
focal_class.type: String
focal_class.var_name: key
focal_class.declarator: value
focal_class.modifier: private final
focal_class.original_string: private final String value;
focal_class.type: String
focal_class.var_name: value
focal_class.file: de.prob2.kernel/src/main/java/de/prob/animator/command/SetPreferenceCommand.java
focal_class.identifier: SetPreferenceCommand
focal_class.class_method_signature: SetPreferenceCommand.SetPreferenceCommand(final String key, final String value)
focal_class.full_signature: public  SetPreferenceCommand(final String key, final String value)
focal_class.identifier: SetPreferenceCommand
focal_class.modifiers: public
focal_class.parameters: (final String key, final String value)
focal_class.signature:  SetPreferenceCommand(final String key, final String value)
focal_class.class_method_signature: SetPreferenceCommand.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: SetPreferenceCommand.writeCommand(final IPrologTermOutput pto)
focal_class.full_signature: @Override public void writeCommand(final IPrologTermOutput pto)
focal_class.identifier: writeCommand
focal_class.modifiers: @Override public
focal_class.parameters: (final IPrologTermOutput pto)
focal_class.return: void
focal_class.signature: void writeCommand(final IPrologTermOutput pto)
focal_class.superclass: extends AbstractCommand
focal_method.body: @Override
  	public void writeCommand(final IPrologTermOutput pto) {
  		pto.openTerm(PROLOG_COMMAND_NAME).printAtom(key).printAtom(value)
  				.closeTerm();
  	}
focal_method.class_method_signature: SetPreferenceCommand.writeCommand(final IPrologTermOutput pto)
focal_method.full_signature: @Override public void writeCommand(final IPrologTermOutput pto)
focal_method.identifier: writeCommand
focal_method.invocations: closeTerm printAtom printAtom openTerm
focal_method.modifiers: @Override public
focal_method.parameters: (final IPrologTermOutput pto)
focal_method.return: void
focal_method.signature: void writeCommand(final IPrologTermOutput pto)