74757677787980
return "configuration"; } @Override protected UnknownDomainObjectException createNotFoundException(String name) { return new UnknownConfigurationException(String.format("Configuration with name '%s' not found.", name)); }
78798081828384
this.currentConfig = config; return kernel; } } throw new UnknownConfigurationException(); }
77787980818283
kernel.open(config); this.currentConfig = config; return kernel; } } throw new UnknownConfigurationException(); }
88899091929394
kernel.open((NVidiaConfiguration) config); this.currentConfig = config; return kernel; } } throw new UnknownConfigurationException(); }
83848586878889
} catch (ResourceNotFreeException ex) { throw new DeviceException(ex); } } } throw new UnknownConfigurationException(); }
164165166167168169170171
throw new DeviceException(ex); } catch (DriverException ex) { throw new DeviceException(ex); } } else { throw new UnknownConfigurationException(); } }
85868788899091