InspectorTable.java 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568
  1. package ui.view.inspector;
  2. import java.awt.BorderLayout;
  3. import java.awt.Color;
  4. import java.awt.Container;
  5. import java.awt.Dimension;
  6. import java.awt.event.ActionEvent;
  7. import java.awt.event.InputEvent;
  8. import java.awt.event.KeyEvent;
  9. import java.math.RoundingMode;
  10. import java.text.NumberFormat;
  11. import java.util.Collection;
  12. import java.util.Comparator;
  13. import java.util.HashSet;
  14. import java.util.List;
  15. import java.util.Locale;
  16. import java.util.Optional;
  17. import java.util.Set;
  18. import java.util.stream.Collectors;
  19. import java.util.stream.Stream;
  20. import java.util.ArrayList;
  21. import javax.swing.AbstractAction;
  22. import javax.swing.BorderFactory;
  23. import javax.swing.Box;
  24. import javax.swing.BoxLayout;
  25. import javax.swing.ImageIcon;
  26. import javax.swing.JButton;
  27. import javax.swing.JCheckBox;
  28. import javax.swing.JComboBox;
  29. import javax.swing.JFormattedTextField;
  30. import javax.swing.JLabel;
  31. import javax.swing.JPanel;
  32. import javax.swing.JTextField;
  33. import javax.swing.KeyStroke;
  34. import javax.swing.SwingConstants;
  35. import javax.swing.text.NumberFormatter;
  36. import model.AbstractCanvasObject;
  37. import model.GroupNode;
  38. import model.HolonElement;
  39. import model.HolonObject;
  40. import model.HolonElement.Priority;
  41. import net.miginfocom.swing.MigLayout;
  42. import preferences.ColorPreference;
  43. import ui.controller.Control;
  44. import ui.view.component.TrippleCheckBox;
  45. import ui.view.component.TrippleCheckBox.State;
  46. import utility.ImageImport;
  47. import utility.Pool;
  48. import utility.events.Action;
  49. import utility.listener.SimpleDocumentListener;
  50. public class InspectorTable extends JPanel {
  51. private Pool<ElementRow> rowPool = new Pool<ElementRow>() {
  52. @Override
  53. public ElementRow create() {
  54. return new ElementRow();
  55. }
  56. };
  57. private final int maxDisplayedRowsNumber = 100;
  58. private int actualPage = 0;
  59. private int maxPageNumberForThisSelection = 0;
  60. private Control control;
  61. private final int columnHeight = 20;
  62. // UI
  63. private final TrippleCheckBox selectAllCheckBox = new TrippleCheckBox();
  64. private final JButton addButton = new JButton();
  65. private final JButton duplicateButton = new JButton();
  66. private final JButton deleteButton = new JButton();
  67. private final JPanel buttonPanel = new JPanel();
  68. private final JButton pageIncreaseButton = new JButton();
  69. private final JButton pageDecreaseButton = new JButton();
  70. private final JLabel pageInformationLabel = new JLabel();
  71. private final JPanel pageSelectionPanel = new JPanel();
  72. private ArrayList<SortButton<ElementRow>> headerButtonList = new ArrayList<>();
  73. private final static NumberFormatter doubleFormatter = generateNumberFormatter();
  74. //sorting
  75. private Comparator<ElementRow> actual_comp = (ElementRow a, ElementRow b) -> Float.compare(a.element.getEnergy(), b.element.getEnergy());
  76. // Colors
  77. // Events
  78. public Action<Set<HolonElement>> OnElementSelectionChanged = new Action<>();
  79. private Thread populateRowsThread;
  80. private boolean abortThread = false;
  81. public InspectorTable(Control control) {
  82. control.OnSelectionChanged.addListener(() -> updateInspectorUi());
  83. this.control = control;
  84. init();
  85. addHeader();
  86. }
  87. private void init() {
  88. MigLayout layout = new MigLayout("insets 0,gap 0,wrap 7", // Layout Constraints
  89. "[][fill, grow][fill][fill, grow][fill, grow][][fill]", // Column constraints
  90. "[25!][20:20:20]"); // Row constraints
  91. this.setLayout(layout);
  92. initSelectAllCheckBox();
  93. initButtons();
  94. initKeyControls();
  95. initHeaderButtons();
  96. }
  97. private void initKeyControls() {
  98. this.getInputMap(WHEN_IN_FOCUSED_WINDOW)
  99. .put(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT, InputEvent.ALT_DOWN_MASK), "PageRight");
  100. this.getInputMap(WHEN_IN_FOCUSED_WINDOW).put(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT, InputEvent.ALT_DOWN_MASK),
  101. "PageLeft");
  102. this.getActionMap().put("PageRight", new AbstractAction() {
  103. @Override
  104. public void actionPerformed(ActionEvent e) {
  105. performPageAction(PageAction.Increase);
  106. }
  107. });
  108. this.getActionMap().put("PageLeft", new AbstractAction() {
  109. @Override
  110. public void actionPerformed(ActionEvent e) {
  111. performPageAction(PageAction.Decrease);
  112. }
  113. });
  114. }
  115. private enum PageAction {
  116. Increase, Decrease
  117. };
  118. private void performPageAction(PageAction action) {
  119. int newPageNumber;
  120. switch (action) {
  121. case Decrease:
  122. newPageNumber = Math.max(actualPage - 1, 0);
  123. break;
  124. case Increase:
  125. default:
  126. newPageNumber = Math.min(actualPage + 1, maxPageNumberForThisSelection);
  127. break;
  128. }
  129. if (newPageNumber != actualPage) {
  130. actualPage = newPageNumber;
  131. updateTableUi();
  132. updatePageButtonAppearance();
  133. }
  134. }
  135. private void updatePageButtonAppearance() {
  136. this.pageDecreaseButton.setEnabled(actualPage != 0);
  137. this.pageIncreaseButton.setEnabled(actualPage != maxPageNumberForThisSelection);
  138. }
  139. private static NumberFormatter generateNumberFormatter() {
  140. NumberFormat doubleFormat = NumberFormat.getNumberInstance(Locale.US);
  141. doubleFormat.setMinimumFractionDigits(1);
  142. doubleFormat.setMaximumFractionDigits(10);
  143. doubleFormat.setRoundingMode(RoundingMode.HALF_UP);
  144. doubleFormat.setGroupingUsed(false);
  145. NumberFormatter doubleFormatter = new NumberFormatter(doubleFormat);
  146. doubleFormatter.setCommitsOnValidEdit(true);
  147. doubleFormatter.setValueClass(Double.class);
  148. return doubleFormatter;
  149. }
  150. private void initHeaderButtons() {
  151. Comparator<ElementRow> objectComp = (ElementRow a, ElementRow b) -> a.element.parentObject.getName().compareTo(b.element.parentObject.getName());
  152. Comparator<ElementRow> idComp = (ElementRow a, ElementRow b) -> Integer.compare(a.element.parentObject.getId(), b.element.parentObject.getId());
  153. Comparator<ElementRow> deviceComp = (ElementRow a, ElementRow b) -> a.element.getName().compareTo(b.element.getName());
  154. Comparator<ElementRow> energyComp = (ElementRow a, ElementRow b) -> Float.compare(a.element.getEnergy(), b.element.getEnergy());
  155. Comparator<ElementRow> priorityComp = (ElementRow a, ElementRow b) -> a.element.getPriority().compareTo(b.element.getPriority());
  156. Comparator<ElementRow> activeComp = (ElementRow a, ElementRow b) -> Boolean.compare(a.element.active, b.element.active);
  157. ;
  158. headerButtonList.add(new SortButton<ElementRow>("Object", objectComp));
  159. headerButtonList.add(new SortButton<ElementRow>("Id", idComp));
  160. headerButtonList.add(new SortButton<ElementRow>("Device", deviceComp));
  161. headerButtonList.add(new SortButton<ElementRow>("Energy", energyComp));
  162. headerButtonList.add(new SortButton<ElementRow>("Priority", priorityComp));
  163. headerButtonList.add(new SortButton<ElementRow>("Activ", activeComp));
  164. }
  165. private void addHeader() {
  166. this.add(selectAllCheckBox);
  167. for(SortButton<ElementRow> button : headerButtonList) {
  168. this.add(button);
  169. }
  170. }
  171. private void initSelectAllCheckBox() {
  172. selectAllCheckBox.setBorder(BorderFactory.createEmptyBorder(2, 0, 0, 0));
  173. // Pixel Perfect alignment
  174. selectAllCheckBox.setBorder(BorderFactory.createEmptyBorder(2, 3, 0, 0));
  175. selectAllCheckBox.addActionListener(clicked -> {
  176. switch (selectAllCheckBox.getSelectionState()) {
  177. case mid_state_selection:
  178. case selected: {
  179. rowPool.getBorrowedStream().forEach(row -> row.setSelected(false));
  180. duplicateButton.setEnabled(false);
  181. deleteButton.setEnabled(false);
  182. }
  183. break;
  184. case unselected:
  185. // TODO(Tom2021-12-1) maybe select only current page
  186. if (rowPool.getBorrowedCount() != 0) {
  187. rowPool.getBorrowedStream().forEach(row -> row.setSelected(true));
  188. duplicateButton.setEnabled(true);
  189. deleteButton.setEnabled(true);
  190. }
  191. default:
  192. break;
  193. }
  194. updateElementSelection();
  195. });
  196. }
  197. private void initButtons() {
  198. buttonPanel.setLayout(new BoxLayout(buttonPanel, BoxLayout.LINE_AXIS));
  199. buttonPanel.add(Box.createRigidArea(new Dimension(2, 0)));
  200. addButton.setIcon(new ImageIcon(ImageImport.loadImage("Images/plus.png", 16, 16)));
  201. addButton.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
  202. addButton.addActionListener(clicked -> {
  203. Optional<HolonObject> last = control.getModel().getSelectedObjects().stream()
  204. .filter(obj -> obj instanceof HolonObject).reduce((prev, next) -> next)
  205. .map(obj -> (HolonObject) obj);
  206. last.ifPresent(obj -> {
  207. obj.addElement(new HolonElement(obj, "Element", 0.0f));
  208. control.calculateStateAndVisualForCurrentTimeStep();
  209. updateInspectorUi();
  210. });
  211. });
  212. buttonPanel.add(addButton);
  213. duplicateButton.setIcon(new ImageIcon(ImageImport.loadImage("Images/duplicate.png", 16, 16)));
  214. duplicateButton.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
  215. duplicateButton.addActionListener(clicked -> {
  216. rowPool.getBorrowedStream().forEach(row -> {
  217. if (row.isSelected()) {
  218. row.element.parentObject.addElement(new HolonElement(row.element));
  219. }
  220. });
  221. control.calculateStateAndVisualForCurrentTimeStep();
  222. updateInspectorUi();
  223. });
  224. buttonPanel.add(duplicateButton);
  225. deleteButton.setIcon(new ImageIcon(ImageImport.loadImage("Images/minus.png", 16, 16)));
  226. deleteButton.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
  227. deleteButton.addActionListener(clicked -> {
  228. rowPool.getBorrowedStream().forEach(row -> {
  229. if (row.isSelected()) {
  230. row.element.parentObject.removeElement(row.element);
  231. }
  232. });
  233. control.calculateStateAndVisualForCurrentTimeStep();
  234. updateInspectorUi();
  235. });
  236. buttonPanel.add(deleteButton);
  237. pageIncreaseButton.setIcon(new ImageIcon(ImageImport.loadImage("Images/page_increase.png", 16, 16)));
  238. ;
  239. pageIncreaseButton.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
  240. pageIncreaseButton.addActionListener(clicked -> this.performPageAction(PageAction.Increase));
  241. pageDecreaseButton.setIcon(new ImageIcon(ImageImport.loadImage("Images/page_decrease.png", 16, 16)));
  242. pageDecreaseButton.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
  243. pageDecreaseButton.addActionListener(clicked -> this.performPageAction(PageAction.Decrease));
  244. pageInformationLabel.setForeground(Color.gray);
  245. pageSelectionPanel.setLayout(new BoxLayout(pageSelectionPanel, BoxLayout.LINE_AXIS));
  246. pageSelectionPanel.add(Box.createRigidArea(new Dimension(2, 0)));
  247. pageSelectionPanel.add(this.pageInformationLabel);
  248. pageSelectionPanel.add(Box.createHorizontalGlue());
  249. pageSelectionPanel.add(this.pageDecreaseButton);
  250. pageSelectionPanel.add(this.pageIncreaseButton);
  251. }
  252. private void assignElementsToRowPool(Set<AbstractCanvasObject> selection) {
  253. List<HolonElement> elementList = extractElements(selection).toList();
  254. rowPool.clear();
  255. for (HolonElement element : elementList) {
  256. ElementRow row = rowPool.get();
  257. row.setElement(element);
  258. }
  259. actualPage = 0;
  260. this.maxPageNumberForThisSelection = elementList.size() / this.maxDisplayedRowsNumber;
  261. updatePageButtonAppearance();
  262. }
  263. private void updateTableUi() {
  264. // Maybe abort current thread and join them
  265. if (populateRowsThread != null) {
  266. try {
  267. abortThread = true;
  268. populateRowsThread.join();
  269. populateRowsThread.join();
  270. abortThread = false;
  271. } catch (InterruptedException e) {
  272. e.printStackTrace();
  273. }
  274. }
  275. populateRowsThread = new Thread(() -> {
  276. int numberOfRows = rowPool.getBorrowedCount();
  277. this.removeAll();
  278. addHeader();
  279. rowPool.getBorrowedStream().sorted(actual_comp).skip(actualPage * maxDisplayedRowsNumber).limit(maxDisplayedRowsNumber)
  280. .takeWhile(row -> !abortThread).forEach(row -> {
  281. row.addContainerToInspector();
  282. });
  283. if (numberOfRows > maxDisplayedRowsNumber) {
  284. int lastDisplayedElementNumber = Math.min(numberOfRows, (actualPage + 1) * maxDisplayedRowsNumber);
  285. pageInformationLabel.setText(String.format("%d - %d from %d", 1 + actualPage * maxDisplayedRowsNumber,
  286. lastDisplayedElementNumber, numberOfRows));
  287. this.add(pageSelectionPanel, "span, grow");
  288. }
  289. this.add(buttonPanel, "span");
  290. boolean isAtLeastOneHolonObjectSelected = control.getModel().getSelectedObjects().stream()
  291. .anyMatch(object -> object instanceof HolonObject);
  292. this.addButton.setEnabled(isAtLeastOneHolonObjectSelected);
  293. duplicateButton.setEnabled(false);
  294. deleteButton.setEnabled(false);
  295. selectAllCheckBox.setSelectionState(State.unselected);
  296. revalidate();
  297. repaint();
  298. this.OnElementSelectionChanged.broadcast(new HashSet<HolonElement>());
  299. });
  300. populateRowsThread.start();
  301. }
  302. private void updateInspectorUi() {
  303. // clone for concurrency
  304. Set<AbstractCanvasObject> selection = new HashSet<>(control.getModel().getSelectedObjects());
  305. assignElementsToRowPool(selection);
  306. updateTableUi();
  307. }
  308. private void updateElementSelection() {
  309. Set<HolonElement> eleSet = rowPool.getBorrowedStream().filter(ele -> ele.isSelected()).map(row -> row.element)
  310. .collect(Collectors.toSet());
  311. this.OnElementSelectionChanged.broadcast(eleSet);
  312. }
  313. private void updateButtonAppearance() {
  314. long count = rowPool.getBorrowedStream().filter(ele -> ele.isSelected()).count();
  315. if (count == rowPool.getBorrowedCount()) {
  316. selectAllCheckBox.setSelectionState(State.selected);
  317. } else if (count == 0) {
  318. selectAllCheckBox.setSelectionState(State.unselected);
  319. } else {
  320. selectAllCheckBox.setSelectionState(State.mid_state_selection);
  321. }
  322. duplicateButton.setEnabled(count != 0);
  323. deleteButton.setEnabled(count != 0);
  324. }
  325. // Extract elements from a list of AbstractCanvasObjects
  326. static Stream<HolonElement> extractElements(Collection<AbstractCanvasObject> toInspect) {
  327. Stream<HolonElement> recursiveLayer = toInspect.stream().filter(object -> object instanceof GroupNode)
  328. .flatMap(obj -> extractElements(((GroupNode) obj).getNodes()));
  329. Stream<HolonElement> thisLayer = toInspect.stream().filter(obj -> obj instanceof HolonObject).flatMap(obj -> {
  330. HolonObject ho = (HolonObject) obj;
  331. return ho.getElements().stream();
  332. });
  333. return Stream.concat(thisLayer, recursiveLayer);
  334. }
  335. private class ElementRow {
  336. private HolonElement element = null;
  337. private Container[] cellsInRow = new Container[7];
  338. // TextBoxes
  339. private JTextField elementNameTextField;
  340. private JCheckBox selectionBox;
  341. private JTextField idObjectTextField;
  342. private JFormattedTextField energyTextField;
  343. private JComboBox<Priority> comboBox;
  344. private JCheckBox activeCheckBox;
  345. private JTextField objectNameTextField;
  346. public ElementRow() {
  347. this.createEditFields();
  348. }
  349. public void addContainerToInspector() {
  350. for (Container cell : cellsInRow) {
  351. InspectorTable.this.add(cell);
  352. }
  353. }
  354. public void setSelected(boolean value) {
  355. selectionBox.setSelected(value);
  356. // Color row
  357. for (Container cell : cellsInRow) {
  358. cell.setBackground(selectionBox.isSelected() ? ColorPreference.Inspector.Selected : Color.white);
  359. }
  360. }
  361. public boolean isSelected() {
  362. return selectionBox.isSelected();
  363. }
  364. public void setElement(HolonElement element) {
  365. this.element = element;
  366. setSelected(false);
  367. objectNameTextField.setText(this.element.parentObject.getName());
  368. idObjectTextField.setText(Integer.toString(this.element.parentObject.getId()));
  369. elementNameTextField.setText(this.element.getName());
  370. energyTextField.setValue(this.element.getEnergy());
  371. comboBox.setSelectedItem(this.element.getPriority());
  372. activeCheckBox.setSelected(this.element.active);
  373. }
  374. private void createEditFields() {
  375. // Selected
  376. JPanel selectedColumnPanel = new JPanel(new BorderLayout());
  377. selectedColumnPanel.setBackground(Color.white);
  378. selectedColumnPanel.setBorder(BorderFactory.createLineBorder(ColorPreference.Inspector.Border));
  379. selectionBox = new JCheckBox();
  380. selectionBox.addActionListener(clicked -> {
  381. setSelected(selectionBox.isSelected());
  382. updateButtonAppearance();
  383. updateElementSelection();
  384. });
  385. selectedColumnPanel.setMinimumSize(new Dimension(columnHeight, columnHeight));
  386. selectedColumnPanel.setPreferredSize(new Dimension(columnHeight, columnHeight));
  387. selectedColumnPanel.setMaximumSize(new Dimension(columnHeight, columnHeight));
  388. selectionBox.setBorder(BorderFactory.createEmptyBorder(0, 2, 0, 0));
  389. selectionBox.setOpaque(false);
  390. selectedColumnPanel.add(selectionBox, BorderLayout.CENTER);
  391. cellsInRow[0] = selectedColumnPanel;
  392. // ObjectName and ID
  393. objectNameTextField = new JTextField();
  394. objectNameTextField.getDocument().addDocumentListener((SimpleDocumentListener) e -> {
  395. this.element.parentObject.setName(objectNameTextField.getText());
  396. });
  397. objectNameTextField.addActionListener(ae -> updateInspectorUi());
  398. cellsInRow[1] = objectNameTextField;
  399. idObjectTextField = new JTextField();
  400. idObjectTextField.setMinimumSize(idObjectTextField.getPreferredSize());
  401. idObjectTextField.setBackground(Color.white);
  402. idObjectTextField.setEditable(false);
  403. idObjectTextField.setEnabled(false);
  404. cellsInRow[2] = idObjectTextField;
  405. // Name
  406. elementNameTextField = new JTextField();
  407. elementNameTextField.getDocument().addDocumentListener((SimpleDocumentListener) e -> {
  408. this.element.setName(elementNameTextField.getText());
  409. });
  410. elementNameTextField.setBackground(Color.white);
  411. cellsInRow[3] = elementNameTextField;
  412. // Energy
  413. energyTextField = new JFormattedTextField(doubleFormatter);
  414. energyTextField.setInputVerifier(getInputVerifier());
  415. energyTextField.setBackground(Color.white);
  416. energyTextField.addPropertyChangeListener(actionEvent -> {
  417. try {
  418. float energy = Float.parseFloat(energyTextField.getText());
  419. if (this.element.getEnergy() != energy) {
  420. this.element.setEnergy(energy);
  421. control.calculateStateAndVisualForCurrentTimeStep();
  422. }
  423. } catch (NumberFormatException e) {
  424. // Dont Update
  425. }
  426. });
  427. cellsInRow[4] = energyTextField;
  428. // Priority
  429. comboBox = new JComboBox<Priority>(Priority.values());
  430. comboBox.setBackground(Color.white);
  431. comboBox.setEditable(false);
  432. comboBox.addActionListener(ae -> {
  433. this.element.setPriority((Priority) comboBox.getSelectedItem());
  434. });
  435. cellsInRow[5] = comboBox;
  436. JPanel checkBoxWrapperPanel = new JPanel(new BorderLayout());
  437. checkBoxWrapperPanel.setBorder(BorderFactory.createLineBorder(ColorPreference.Inspector.Border));
  438. checkBoxWrapperPanel.setBackground(Color.white);
  439. checkBoxWrapperPanel.setMinimumSize(new Dimension(columnHeight, columnHeight));
  440. checkBoxWrapperPanel.setMaximumSize(new Dimension(Integer.MAX_VALUE, columnHeight));
  441. // Active
  442. activeCheckBox = new JCheckBox();
  443. activeCheckBox.setBorder(BorderFactory.createEmptyBorder(0, 2, 0, 0));
  444. activeCheckBox.setOpaque(false);
  445. activeCheckBox.addActionListener(actionEvent -> {
  446. this.element.active = activeCheckBox.isSelected();
  447. control.calculateStateAndVisualForCurrentTimeStep();
  448. });
  449. checkBoxWrapperPanel.add(activeCheckBox, BorderLayout.CENTER);
  450. cellsInRow[6] = checkBoxWrapperPanel;
  451. }
  452. }
  453. private enum SortState {
  454. None, Descending, Ascending
  455. };
  456. private class SortButton<T> extends JButton {
  457. private SortState state = SortState.None;
  458. private Comparator<T> comp;
  459. public SortButton(String text, Comparator<T> comp) {
  460. super(text);
  461. this.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 0));
  462. this.setContentAreaFilled(false);
  463. this.setBorderPainted(false);
  464. this.setFocusPainted(false);
  465. this.setHorizontalAlignment(SwingConstants.LEFT);
  466. this.comp = comp;
  467. this.addActionListener(onClick -> changeStateOnClick());
  468. }
  469. @SuppressWarnings("unchecked")
  470. private void changeStateOnClick() {
  471. setState((this.state == SortState.Ascending) ? SortState.Descending : SortState.Ascending);
  472. headerButtonList.stream().filter(button -> (button !=this)).forEach(button -> button.setState(SortState.None));
  473. actual_comp = (Comparator<ElementRow>) getComp();
  474. updateInspectorUi();
  475. }
  476. public void setState(SortState state) {
  477. this.state = state;
  478. String text = this.getText();
  479. // remove order symbols from text
  480. text = text.replaceAll("\u25bc|\u25b2", "");
  481. // update text
  482. switch (state) {
  483. case Descending:
  484. this.setText(text + "\u25bc");
  485. break;
  486. case Ascending:
  487. this.setText(text + "\u25b2");
  488. break;
  489. case None:
  490. default:
  491. this.setText(text);
  492. break;
  493. }
  494. }
  495. public Comparator<T> getComp(){
  496. switch(state){
  497. case Descending:
  498. return comp.reversed();
  499. case Ascending:
  500. case None:
  501. default:
  502. return comp;
  503. }
  504. }
  505. }
  506. }