1 package it.unical.mat.embasp.platforms.desktop;
5 import it.unical.mat.embasp.base.Callback;
6 import it.unical.mat.embasp.base.Handler;
7 import it.unical.mat.embasp.base.InputProgram;
8 import it.unical.mat.embasp.base.OptionDescriptor;
9 import it.unical.mat.embasp.base.Output;
22 this.service = service;
27 public void startAsync(
final Callback c,
final List<Integer> program_index,
final List<Integer> option_index) {
29 final List<InputProgram> input_programs = collect_programs(program_index);
30 final List<OptionDescriptor> input_options = collect_options(option_index);
32 service.
startAsync(c, input_programs, input_options);
38 public Output startSync(
final List<Integer> program_index,
final List<Integer> option_index) {
40 final List<InputProgram> input_programs = collect_programs(program_index);
41 final List<OptionDescriptor> input_options = collect_options(option_index);
43 return service.
startSync(input_programs, input_options);