test_class.file: de.prob2.kernel/src/test/java/de/prob/animator/command/LoadBProjectCommandTest.java
test_class.identifier: LoadBProjectCommandTest
test_case.body: @Test
  	public void testWriteCommand() throws URISyntaxException, IOException {
  		URL resource = this.getClass().getResource("/de/prob/testmachines/b/scheduler.mch");
  		assertNotNull(resource);
  		File f =  new File(resource.toURI());
  		StructuredPrologOutput prologTermOutput = new StructuredPrologOutput();
  		ClassicalBFactory factory = new ClassicalBFactory(null);
  		BParser bparser = new BParser();
  		Start ast = factory.parseFile(f, bparser);
  		RecursiveMachineLoader rml = factory.parseAllMachines(ast,
  				f.getParent(), f, bparser.getContentProvider(), bparser);
  
  		LoadBProjectCommand command = new LoadBProjectCommand(rml, f);
  		command.writeCommand(prologTermOutput);
  		prologTermOutput.fullstop().flush();
  		Collection<PrologTerm> sentences = prologTermOutput.getSentences();
  		PrologTerm next = sentences.iterator().next();
  		assertNotNull(next);
  		assertTrue(next instanceof CompoundPrologTerm);
  		CompoundPrologTerm t = (CompoundPrologTerm) next;
  		assertEquals("load_classical_b_from_list_of_facts", t.getFunctor());
  		assertEquals(2, t.getArity());
  
  		PrologTerm argument = t.getArgument(2);
  		assertTrue(argument.isList());
  
  	}
test_case.class_method_signature: LoadBProjectCommandTest.testWriteCommand()
test_case.full_signature: @Test public void testWriteCommand()
test_case.identifier: testWriteCommand
test_case.invocations: getResource getClass assertNotNull toURI parseFile parseAllMachines getParent getContentProvider writeCommand flush fullstop getSentences next iterator assertNotNull assertTrue assertEquals getFunctor assertEquals getArity getArgument assertTrue isList
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void testWriteCommand()
focal_class.declarator: PROLOG_COMMAND_NAME = "load_classical_b_from_list_of_facts"
focal_class.modifier: private static final
focal_class.original_string: private static final String PROLOG_COMMAND_NAME = "load_classical_b_from_list_of_facts";
focal_class.type: String
focal_class.var_name: PROLOG_COMMAND_NAME
focal_class.declarator: nodeIdMapping
focal_class.modifier: private
focal_class.original_string: private NodeIdAssignment nodeIdMapping;
focal_class.type: NodeIdAssignment
focal_class.var_name: nodeIdMapping
focal_class.declarator: rml
focal_class.modifier: private final
focal_class.original_string: private final RecursiveMachineLoader rml;
focal_class.type: RecursiveMachineLoader
focal_class.var_name: rml
focal_class.declarator: mainMachine
focal_class.modifier: private final
focal_class.original_string: private final File mainMachine;
focal_class.type: File
focal_class.var_name: mainMachine
focal_class.file: de.prob2.kernel/src/main/java/de/prob/animator/command/LoadBProjectCommand.java
focal_class.identifier: LoadBProjectCommand
focal_class.class_method_signature: LoadBProjectCommand.LoadBProjectCommand(final RecursiveMachineLoader rml, File f)
focal_class.full_signature: public  LoadBProjectCommand(final RecursiveMachineLoader rml, File f)
focal_class.identifier: LoadBProjectCommand
focal_class.modifiers: public
focal_class.parameters: (final RecursiveMachineLoader rml, File f)
focal_class.signature:  LoadBProjectCommand(final RecursiveMachineLoader rml, File f)
focal_class.class_method_signature: LoadBProjectCommand.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.class_method_signature: LoadBProjectCommand.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: LoadBProjectCommand.printLoadTerm(IPrologTermOutput pto)
focal_class.full_signature: private void printLoadTerm(IPrologTermOutput pto)
focal_class.identifier: printLoadTerm
focal_class.modifiers: private
focal_class.parameters: (IPrologTermOutput pto)
focal_class.return: void
focal_class.signature: void printLoadTerm(IPrologTermOutput pto)
focal_class.class_method_signature: LoadBProjectCommand.getNodeIdMapping()
focal_class.full_signature: public NodeIdAssignment getNodeIdMapping()
focal_class.identifier: getNodeIdMapping
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: NodeIdAssignment
focal_class.signature: NodeIdAssignment getNodeIdMapping()
focal_class.superclass: extends AbstractCommand
focal_method.body: @Override
  	public void writeCommand(final IPrologTermOutput pto) {
  		pto.openTerm(PROLOG_COMMAND_NAME);
  		pto.printAtom(mainMachine.getAbsolutePath());
  		pto.openList();
  		printLoadTerm(pto);
  		pto.closeList();
  		pto.closeTerm();
  	}
focal_method.class_method_signature: LoadBProjectCommand.writeCommand(final IPrologTermOutput pto)
focal_method.full_signature: @Override public void writeCommand(final IPrologTermOutput pto)
focal_method.identifier: writeCommand
focal_method.invocations: openTerm printAtom getAbsolutePath openList printLoadTerm closeList closeTerm
focal_method.modifiers: @Override public
focal_method.parameters: (final IPrologTermOutput pto)
focal_method.return: void
focal_method.signature: void writeCommand(final IPrologTermOutput pto)