// Stores tasks to complete.
CompletionService<Integer> runner = new ExecutorCompletionService<Integer>(executorService);
int taskNumber = 5;
try
{
PTASequenceEngine initialTracesLocker = null, initialTracesExporter = null;
{
ErlangRuntime newRuntime = new ErlangRuntime();newRuntime.startRunner();
//testLockerLearning(cfg);
{
Configuration cfg = config.copy();cfg.setErlangMboxName(newRuntime.createNewRunner().getRunnerName());
LearnerEvaluationConfiguration learnerConfig = new LearnerEvaluationConfiguration(cfg);ErlangModule.setupErlangConfiguration(learnerConfig.config,new File(ErlangExamples,"locker/locker.erl"));
learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
//learnerConfig.config.setScoreForAutomergeUponRestart(1);
ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
initialTracesLocker = learner.GenerateInitialTraces(5);
}
{
Configuration cfg = config.copy();cfg.setErlangMboxName(newRuntime.createNewRunner().getRunnerName());
LearnerEvaluationConfiguration learnerConfig = new LearnerEvaluationConfiguration(cfg);ErlangModule.setupErlangConfiguration(learnerConfig.config,new File(ErlangExamples,"exporter/exporter.erl"));
learnerConfig.config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
learnerConfig.config.setUseErlangOutputs(true);learnerConfig.config.setErlangCompileIntoBeamDirectory(true);
ErlangOracleLearner learner = new ErlangOracleLearner(null,learnerConfig);
initialTracesExporter = learner.GenerateInitialTraces(5);
}
}
final PTASequenceEngine initialTracesLockerFinal = initialTracesLocker, initialTracesExporterFinal = initialTracesExporter;
for(int i=0;i< taskNumber;++i)
{
runner.submit(new Callable<Integer>(){
@Override