}
private static final int parseArchitecture(ConfigurationElement config) throws DriverException {
final String arch = config.getAttribute("architecture");
if (arch == null) {
throw new DriverException("Architecture must be set");
} else if (arch.equals("R100")) {
return Architecture.R100;
} else if (arch.equals("RV100")) {
return Architecture.RV100;
} else if (arch.equals("R200")) {
return Architecture.R200;
} else if (arch.equals("RV200")) {
return Architecture.RV200;
} else if (arch.equals("RV250")) {
return Architecture.RV250;
} else if (arch.equals("R300")) {
return Architecture.R300;
} else if (arch.equals("M6")) {
return Architecture.M6;
} else if (arch.equals("M7")) {
return Architecture.M7;
} else if (arch.equals("M9")) {
return Architecture.M9;
} else {
throw new DriverException("Unknown architecture " + arch);
}
}