/** 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; }