/** Removes the current Colorscheme. */
public void removeColorscheme() {
if (colorschemeNames.size() == 2) {
colorschemeNames.set(1, DEFAULT_COLORSCHEMENAME);
for (Feature feat : featureModel.getFeatureTable().values()) {
feat.getColorList().removeColor();
}
} else {
colorschemeNames.remove(selectedColorscheme);
for (Feature feat : featureModel.getFeatureTable().values()) {
feat.getColorList().removeColorscheme();
}
if (selectedColorscheme == colorschemeNames.size()) {
selectedColorscheme--;
}
}
}
/** @param name the new colorscheme name */
public void addColorscheme(String name) {
colorschemeNames.add(name);
for (Feature feat : featureModel.getFeatureTable().values()) {
feat.getColorList().addColorscheme();
}
}
public /*@pure@*/ boolean validStudent(Student student) {
if (!FeatureModel.f(FeatureModel.BackOut)) return validStudent__ExamDB(student);
return validStudent__ExamDB(student) && !student.backedOut;
}
