/** * Attempts to find a kernel which is currently not loaded, matching the model. * This method will instantiate the required kernel if it is found. * * @param model The model for which the kernel is needed. * @param imports Model imports. * @param classloader Model classloader. * @return Factory instance of the activated kernel or null if no matching kernel was found. */ protected IFuture findLoadableKernel(final String model, final String[] imports, final IResourceIdentifier rid, boolean isrecur) { // if(model.toString().indexOf("HelloWorld")!=-1) // System.out.println("findLoadableKernel: "+model); IFuture ret; // String dl = (String) kerneldefaultlocations.get(getModelExtension(model)); String dl = (String) getCacheResultForModel(model, kerneldefaultlocations); if (dl != null) ret = startLoadableKernel(model, imports, rid, dl); else ret = findKernelInCache(model, imports, rid, isrecur); return ret; }
public void exceptionOccurred(Exception exception) { kernellocationcache.remove(kernelsext, kernelmodel); findKernelInCache(model, imports, rid, isrecur) .addResultListener(ia.createResultListener(new DelegationResultListener(ret))); } }));