2 * Jalview - A Sequence Alignment Editor and Viewer
3 * Copyright (C) 2007 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * as published by the Free Software Foundation; either version 2
8 * of the License, or (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
25 import java.awt.event.*;
26 import java.beans.PropertyChangeEvent;
27 import java.beans.PropertyChangeListener;
30 import javax.swing.event.*;
31 import javax.swing.table.*;
33 import jalview.datamodel.*;
36 public class FeatureSettings
39 DasSourceBrowser dassourceBrowser;
40 jalview.io.DasSequenceFeatureFetcher dasFeatureFetcher;
41 JPanel settingsPane = new JPanel();
42 JPanel dasSettingsPane = new JPanel();
44 final FeatureRenderer fr;
45 public final AlignFrame af;
46 Object[][] originalData;
47 final JInternalFrame frame;
48 JScrollPane scrollPane = new JScrollPane();
51 JSlider transparency = new JSlider();
53 JPanel transPanel = new JPanel(new FlowLayout());
55 public FeatureSettings(AlignFrame af)
58 fr = af.getFeatureRenderer();
60 transparency.setMaximum(100 - (int) (fr.transparency * 100));
72 table.getTableHeader().setFont(new Font("Verdana", Font.PLAIN, 12));
73 table.setFont(new Font("Verdana", Font.PLAIN, 12));
74 table.setDefaultRenderer(Color.class,
77 table.setDefaultEditor(Color.class,
80 table.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
82 table.addMouseListener(new MouseAdapter()
84 public void mousePressed(MouseEvent evt)
86 selectedRow = table.rowAtPoint(evt.getPoint());
90 table.addMouseMotionListener(new MouseMotionAdapter()
92 public void mouseDragged(MouseEvent evt)
94 int newRow = table.rowAtPoint(evt.getPoint());
95 if (newRow != selectedRow
99 Object[] temp = new Object[3];
100 temp[0] = table.getValueAt(selectedRow, 0);
101 temp[1] = table.getValueAt(selectedRow, 1);
102 temp[2] = table.getValueAt(selectedRow, 2);
104 table.setValueAt(table.getValueAt(newRow, 0), selectedRow, 0);
105 table.setValueAt(table.getValueAt(newRow, 1), selectedRow, 1);
106 table.setValueAt(table.getValueAt(newRow, 2), selectedRow, 2);
108 table.setValueAt(temp[0], newRow, 0);
109 table.setValueAt(temp[1], newRow, 1);
110 table.setValueAt(temp[2], newRow, 2);
112 selectedRow = newRow;
117 scrollPane.setViewportView(table);
119 dassourceBrowser = new DasSourceBrowser();
120 dasSettingsPane.add(dassourceBrowser, BorderLayout.CENTER);
122 if (af.getViewport().featuresDisplayed == null || fr.renderOrder == null)
124 fr.findAllFeatures(true); // display everything!
128 final PropertyChangeListener change;
129 final FeatureSettings fs=this;
130 fr.addPropertyChangeListener(change=new PropertyChangeListener() {
131 public void propertyChange(PropertyChangeEvent evt)
133 if (!fs.resettingTable && !fs.handlingUpdate) {
134 fs.handlingUpdate=true;
135 fs.resetTable(null); // new groups may be added with new seuqence feature types only
136 fs.handlingUpdate=false;
142 frame = new JInternalFrame();
143 frame.setContentPane(this);
144 Desktop.addInternalFrame(frame, "Sequence Feature Settings", 400, 450);
145 frame.addInternalFrameListener(new javax.swing.event.InternalFrameAdapter()
147 public void internalFrameClosed(
148 javax.swing.event.InternalFrameEvent evt)
150 fr.removePropertyChangeListener(change);
154 frame.setLayer(JLayeredPane.PALETTE_LAYER);
157 * true when Feature Settings are updating from feature renderer
159 private boolean handlingUpdate=false;
162 * contains a float[3] for each feature type string. created by setTableData
164 Hashtable typeWidth=null;
165 synchronized public void setTableData()
167 if (fr.featureGroups == null)
169 fr.featureGroups = new Hashtable();
171 Vector allFeatures = new Vector();
172 Vector allGroups = new Vector();
173 SequenceFeature[] tmpfeatures;
175 for (int i = 0; i < af.getViewport().alignment.getHeight(); i++)
177 if (af.getViewport().alignment.getSequenceAt(i).getDatasetSequence().
178 getSequenceFeatures() == null)
183 tmpfeatures = af.getViewport().alignment.getSequenceAt(i).
184 getDatasetSequence().getSequenceFeatures();
187 while (index < tmpfeatures.length)
189 if (tmpfeatures[index].begin == 0 && tmpfeatures[index].end == 0)
195 if (tmpfeatures[index].getFeatureGroup() != null)
197 group = tmpfeatures[index].featureGroup;
198 if (!allGroups.contains(group))
200 allGroups.addElement(group);
203 checkGroupState(group);
208 if (!allFeatures.contains(tmpfeatures[index].getType()))
210 allFeatures.addElement(tmpfeatures[index].getType());
223 * @return true if group has been seen before and is already added to set.
225 private boolean checkGroupState(String group) {
227 if (fr.featureGroups.containsKey(group))
229 visible = ( (Boolean) fr.featureGroups.get(group)).booleanValue();
231 visible=true; // new group is always made visible
234 if (groupPanel == null)
236 groupPanel = new JPanel();
239 boolean alreadyAdded = false;
240 for (int g = 0; g < groupPanel.getComponentCount(); g++)
242 if ( ( (JCheckBox) groupPanel.getComponent(g))
243 .getText().equals(group))
246 ((JCheckBox)groupPanel.getComponent(g)).setSelected(visible);
257 fr.featureGroups.put(group, new Boolean(visible));
258 final String grp = group;
259 final JCheckBox check = new JCheckBox(group, visible);
260 check.setFont(new Font("Serif", Font.BOLD, 12));
261 check.addItemListener(new ItemListener()
263 public void itemStateChanged(ItemEvent evt)
265 fr.featureGroups.put(check.getText(),
266 new Boolean(check.isSelected()));
267 af.alignPanel.seqPanel.seqCanvas.repaint();
268 if (af.alignPanel.overviewPanel != null)
270 af.alignPanel.overviewPanel.updateOverviewImage();
273 resetTable(new String[] { grp } );
276 groupPanel.add(check);
279 boolean resettingTable=false;
280 void resetTable(String[] groupChanged)
283 typeWidth=new Hashtable();
284 // TODO: change avWidth calculation to 'per-sequence' average and use long rather than float
285 float[] avWidth=null;
286 SequenceFeature[] tmpfeatures;
287 String group = null, type;
288 Vector visibleChecks = new Vector();
290 //Find out which features should be visible depending on which groups
291 //are selected / deselected
292 //and recompute average width ordering
293 for (int i = 0; i < af.getViewport().alignment.getHeight(); i++)
296 tmpfeatures = af.getViewport().alignment.getSequenceAt(i).
297 getDatasetSequence().getSequenceFeatures();
298 if (tmpfeatures == null)
304 while (index < tmpfeatures.length)
306 group = tmpfeatures[index].featureGroup;
308 if (tmpfeatures[index].begin == 0 && tmpfeatures[index].end == 0)
314 if (group == null || fr.featureGroups.get(group) == null ||
315 ( (Boolean) fr.featureGroups.get(group)).booleanValue())
318 checkGroupState(group);
319 type = tmpfeatures[index].getType();
320 if (!visibleChecks.contains(type))
322 visibleChecks.addElement(type);
325 if (!typeWidth.containsKey(tmpfeatures[index].getType())) {
326 typeWidth.put(tmpfeatures[index].getType(), avWidth=new float[3]);
328 avWidth = (float[]) typeWidth.get(tmpfeatures[index].getType());
331 if (tmpfeatures[index].getBegin()>tmpfeatures[index].getEnd())
333 avWidth[1]+=1+tmpfeatures[index].getBegin()-tmpfeatures[index].getEnd();
335 avWidth[1]+=1+tmpfeatures[index].getEnd()-tmpfeatures[index].getBegin();
341 int fSize = visibleChecks.size();
342 Object[][] data = new Object[fSize][3];
345 if (fr.renderOrder != null)
348 fr.findAllFeatures(groupChanged!=null); // prod to update colourschemes. but don't affect display
349 //First add the checks in the previous render order,
350 //in case the window has been closed and reopened
351 for (int ro = fr.renderOrder.length - 1; ro > -1; ro--)
353 type = fr.renderOrder[ro];
355 if (!visibleChecks.contains(type))
360 data[dataIndex][0] = type;
361 data[dataIndex][1] = fr.getColour(type);
362 data[dataIndex][2] = new Boolean(af.getViewport().featuresDisplayed.containsKey(type));
364 visibleChecks.removeElement(type);
368 fSize = visibleChecks.size();
369 for (int i = 0; i < fSize; i++)
371 //These must be extra features belonging to the group
372 //which was just selected
373 type = visibleChecks.elementAt(i).toString();
374 data[dataIndex][0] = type;
376 data[dataIndex][1] = fr.getColour(type);
377 if (data[dataIndex][1] == null)
379 //"Colour has been updated in another view!!"
380 fr.renderOrder = null;
384 data[dataIndex][2] = new Boolean(true);
388 if (originalData == null)
390 originalData = new Object[data.length][3];
391 System.arraycopy(data, 0, originalData, 0, data.length);
394 table.setModel(new FeatureTableModel(data));
395 table.getColumnModel().getColumn(0).setPreferredWidth(200);
397 if (groupPanel != null)
399 groupPanel.setLayout(
400 new GridLayout(fr.featureGroups.size() / 4 + 1, 4));
402 groupPanel.validate();
403 bigPanel.add(groupPanel, BorderLayout.NORTH);
406 updateFeatureRenderer(data, groupChanged!=null);
407 resettingTable=false;
410 * reorder data based on the featureRenderers global priority list.
413 private void ensureOrder(Object[][] data)
416 float[] order = new float[data.length];
417 for (int i=0;i<order.length; i++)
419 order[i] = fr.getOrder(data[i][0].toString());
421 order[i] = fr.setOrder(data[i][0].toString(), i/order.length);
423 sort = sort || order[i-1]>order[i];
426 jalview.util.QuickSort.sort(order, data);
431 JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.
433 "LAST_DIRECTORY"), new String[]
436 {"Sequence Feature Colours"}, "Sequence Feature Colours");
437 chooser.setFileView(new jalview.io.JalviewFileView());
438 chooser.setDialogTitle("Load Feature Colours");
439 chooser.setToolTipText("Load");
441 int value = chooser.showOpenDialog(this);
443 if (value == JalviewFileChooser.APPROVE_OPTION)
445 File file = chooser.getSelectedFile();
449 InputStreamReader in = new InputStreamReader(new FileInputStream(
452 jalview.binding.JalviewUserColours jucs = new jalview.binding.
453 JalviewUserColours();
454 jucs = (jalview.binding.JalviewUserColours) jucs.unmarshal(in);
456 for (int i = jucs.getColourCount()-1; i >=0; i--)
459 fr.setColour(name=jucs.getColour(i).getName(),
460 new Color(Integer.parseInt(jucs.getColour(i).getRGB(),
462 fr.setOrder(name,(i==0) ? 0 : i/jucs.getColourCount());
466 Object[][] data=((FeatureTableModel) table.getModel()).getData();
468 updateFeatureRenderer(data,false);
474 System.out.println("Error loading User Colour File\n" + ex);
481 JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.
483 "LAST_DIRECTORY"), new String[]
486 {"Sequence Feature Colours"}, "Sequence Feature Colours");
487 chooser.setFileView(new jalview.io.JalviewFileView());
488 chooser.setDialogTitle("Save Feature Colour Scheme");
489 chooser.setToolTipText("Save");
491 int value = chooser.showSaveDialog(this);
493 if (value == JalviewFileChooser.APPROVE_OPTION)
495 String choice = chooser.getSelectedFile().getPath();
496 jalview.binding.JalviewUserColours ucs = new jalview.binding.
497 JalviewUserColours();
498 ucs.setSchemeName("Sequence Features");
501 PrintWriter out = new PrintWriter(new OutputStreamWriter(
502 new FileOutputStream(choice), "UTF-8"));
504 Enumeration e = fr.featureColours.keys();
505 float[] sortOrder = new float[fr.featureColours.size()];
506 String[] sortTypes = new String[fr.featureColours.size()];
508 while (e.hasMoreElements())
510 sortTypes[i] = e.nextElement().toString();
511 sortOrder[i] = fr.getOrder(sortTypes[i]);
514 jalview.util.QuickSort.sort(sortOrder, sortTypes);
516 for (i=0; i<sortTypes.length; i++) {
517 jalview.binding.Colour col = new jalview.binding.Colour();
518 col.setName(sortTypes[i]);
519 col.setRGB(jalview.util.Format.getHexString(
520 fr.getColour(col.getName())));
528 ex.printStackTrace();
533 public void invertSelection()
535 for (int i = 0; i < table.getRowCount(); i++)
537 Boolean value = (Boolean) table.getValueAt(i, 2);
540 new Boolean(!value.booleanValue()),
544 public void orderByAvWidth() {
545 if (table==null || table.getModel()==null)
547 Object[][] data = ((FeatureTableModel) table.getModel()).getData();
548 float[] width = new float[data.length];
552 for (int i=0;i<data.length;i++) {
553 awidth = (float[]) typeWidth.get(data[i][0]);
555 width[i] = awidth[1]/awidth[0];// *awidth[0]*awidth[2]; - better weight - but have to make per sequence, too (awidth[2])
556 //if (width[i]==1) // hack to distinguish single width sequences.
565 for (int i=0;i<width.length; i++) {
566 //awidth = (float[]) typeWidth.get(data[i][0]);
569 width[i] = fr.getOrder(data[i][0].toString());
572 width[i] = fr.setOrder(data[i][0].toString(), i/data.length);
575 width[i] /=max; // normalize
576 fr.setOrder(data[i][0].toString(), width[i]); // store for later
579 sort = sort || width[i-1]>width[i];
582 jalview.util.QuickSort.sort(width, data);
583 // update global priority order
585 updateFeatureRenderer(data,false);
592 frame.setClosed(true);
594 catch (Exception exe)
599 public void updateFeatureRenderer(Object[][] data)
601 updateFeatureRenderer(data, true);
603 private void updateFeatureRenderer(Object[][] data, boolean visibleNew)
605 fr.setFeaturePriority(data, visibleNew);
606 af.alignPanel.paintAlignment(true);
609 int selectedRow = -1;
610 JTabbedPane tabbedPane = new JTabbedPane();
611 BorderLayout borderLayout1 = new BorderLayout();
612 BorderLayout borderLayout2 = new BorderLayout();
613 BorderLayout borderLayout3 = new BorderLayout();
614 JPanel bigPanel = new JPanel();
615 BorderLayout borderLayout4 = new BorderLayout();
616 JButton invert = new JButton();
617 JPanel buttonPanel = new JPanel();
618 JButton cancel = new JButton();
619 JButton ok = new JButton();
620 JButton loadColours = new JButton();
621 JButton saveColours = new JButton();
622 JPanel dasButtonPanel = new JPanel();
623 JButton fetchDAS = new JButton();
624 JButton saveDAS = new JButton();
625 JButton cancelDAS = new JButton();
626 JButton optimizeOrder = new JButton();
627 JPanel transbuttons = new JPanel(new BorderLayout());
628 private void jbInit()
631 this.setLayout(borderLayout1);
632 settingsPane.setLayout(borderLayout2);
633 dasSettingsPane.setLayout(borderLayout3);
634 bigPanel.setLayout(borderLayout4);
635 invert.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
636 invert.setText("Invert Selection");
637 invert.addActionListener(new ActionListener()
639 public void actionPerformed(ActionEvent e)
644 optimizeOrder.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
645 optimizeOrder.setText("Optimise Order");
646 optimizeOrder.addActionListener(new ActionListener() {
647 public void actionPerformed(ActionEvent e) {
651 cancel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
652 cancel.setText("Cancel");
653 cancel.addActionListener(new ActionListener()
655 public void actionPerformed(ActionEvent e)
657 updateFeatureRenderer(originalData);
661 ok.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
663 ok.addActionListener(new ActionListener()
665 public void actionPerformed(ActionEvent e)
670 loadColours.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
671 loadColours.setText("Load Colours");
672 loadColours.addActionListener(new ActionListener()
674 public void actionPerformed(ActionEvent e)
679 saveColours.setFont(new java.awt.Font("Verdana", Font.PLAIN, 11));
680 saveColours.setText("Save Colours");
681 saveColours.addActionListener(new ActionListener()
683 public void actionPerformed(ActionEvent e)
688 transparency.addChangeListener(new ChangeListener()
690 public void stateChanged(ChangeEvent evt)
692 fr.setTransparency( (float) (100 - transparency.getValue()) / 100f);
693 af.alignPanel.paintAlignment(true);
697 transparency.setMaximum(70);
698 fetchDAS.setText("Fetch DAS Features");
699 fetchDAS.addActionListener(new ActionListener()
701 public void actionPerformed(ActionEvent e)
703 fetchDAS_actionPerformed(e);
706 saveDAS.setText("Save as default");
707 saveDAS.addActionListener(new ActionListener()
709 public void actionPerformed(ActionEvent e)
711 saveDAS_actionPerformed(e);
714 dasButtonPanel.setBorder(BorderFactory.createEtchedBorder());
715 dasSettingsPane.setBorder(null);
716 cancelDAS.setEnabled(false);
717 cancelDAS.setText("Cancel Fetch");
718 cancelDAS.addActionListener(new ActionListener()
720 public void actionPerformed(ActionEvent e)
722 cancelDAS_actionPerformed(e);
725 this.add(tabbedPane, java.awt.BorderLayout.CENTER);
726 tabbedPane.addTab("Feature Settings", settingsPane);
727 tabbedPane.addTab("DAS Settings", dasSettingsPane);
728 bigPanel.add(transPanel, java.awt.BorderLayout.SOUTH);
729 transPanel.add(transparency);
730 transbuttons.add(invert, java.awt.BorderLayout.NORTH);
731 transbuttons.add(optimizeOrder,java.awt.BorderLayout.SOUTH);
732 transPanel.add(transbuttons);
734 buttonPanel.add(cancel);
735 buttonPanel.add(loadColours);
736 buttonPanel.add(saveColours);
737 bigPanel.add(scrollPane, java.awt.BorderLayout.CENTER);
738 dasSettingsPane.add(dasButtonPanel, java.awt.BorderLayout.SOUTH);
739 dasButtonPanel.add(fetchDAS);
740 dasButtonPanel.add(cancelDAS);
741 dasButtonPanel.add(saveDAS);
742 settingsPane.add(bigPanel, java.awt.BorderLayout.CENTER);
743 settingsPane.add(buttonPanel, java.awt.BorderLayout.SOUTH);
746 public void fetchDAS_actionPerformed(ActionEvent e)
748 fetchDAS.setEnabled(false);
749 cancelDAS.setEnabled(true);
750 Vector selectedSources = dassourceBrowser.getSelectedSources();
752 SequenceI[] dataset, seqs;
755 if (af.getViewport().getSelectionGroup() != null
756 && af.getViewport().getSelectionGroup().getSize() > 0)
758 iSize = af.getViewport().getSelectionGroup().getSize();
759 dataset = new SequenceI[iSize];
760 seqs = af.getViewport().getSelectionGroup().
762 af.getViewport().getAlignment());
766 iSize = af.getViewport().getAlignment().getHeight();
767 seqs = af.getViewport().getAlignment().getSequencesArray();
770 dataset = new SequenceI[iSize];
771 for (int i = 0; i < iSize; i++)
773 dataset[i] = seqs[i].getDatasetSequence();
777 new jalview.io.DasSequenceFeatureFetcher(
781 cancelDAS.setEnabled(true);
782 af.getViewport().setShowSequenceFeatures(true);
783 af.showSeqFeatures.setSelected(true);
786 public void saveDAS_actionPerformed(ActionEvent e)
788 dassourceBrowser.saveProperties(jalview.bin.Cache.applicationProperties);
791 public void complete()
793 fetchDAS.setEnabled(true);
794 cancelDAS.setEnabled(false);
797 public void cancelDAS_actionPerformed(ActionEvent e)
799 dasFeatureFetcher.cancel();
800 fetchDAS.setEnabled(true);
801 cancelDAS.setEnabled(false);
804 /////////////////////////////////////////////////////////////////////////
805 // http://java.sun.com/docs/books/tutorial/uiswing/components/table.html
806 /////////////////////////////////////////////////////////////////////////
807 class FeatureTableModel
808 extends AbstractTableModel
810 FeatureTableModel(Object[][] data)
815 private String[] columnNames =
817 "Feature Type", "Colour", "Display"};
818 private Object[][] data;
820 public Object[][] getData()
825 public void setData(Object[][] data)
830 public int getColumnCount()
832 return columnNames.length;
835 public Object[] getRow(int row)
840 public int getRowCount()
845 public String getColumnName(int col)
847 return columnNames[col];
850 public Object getValueAt(int row, int col)
852 return data[row][col];
855 public Class getColumnClass(int c)
857 return getValueAt(0, c).getClass();
860 public boolean isCellEditable(int row, int col)
862 return col == 0 ? false : true;
865 public void setValueAt(Object value, int row, int col)
867 data[row][col] = value;
868 fireTableCellUpdated(row, col);
869 updateFeatureRenderer(data);
875 extends JLabel implements TableCellRenderer
877 javax.swing.border.Border unselectedBorder = null;
878 javax.swing.border.Border selectedBorder = null;
880 public ColorRenderer()
882 setOpaque(true); //MUST do this for background to show up.
885 public Component getTableCellRendererComponent(
886 JTable table, Object color,
887 boolean isSelected, boolean hasFocus,
890 Color newColor = (Color) color;
891 setBackground(newColor);
894 if (selectedBorder == null)
896 selectedBorder = BorderFactory.createMatteBorder(2, 5, 2, 5,
897 table.getSelectionBackground());
899 setBorder(selectedBorder);
903 if (unselectedBorder == null)
905 unselectedBorder = BorderFactory.createMatteBorder(2, 5, 2, 5,
906 table.getBackground());
908 setBorder(unselectedBorder);
911 setToolTipText("RGB value: " + newColor.getRed() + ", "
912 + newColor.getGreen() + ", "
913 + newColor.getBlue());
920 extends AbstractCellEditor implements TableCellEditor,
925 JColorChooser colorChooser;
927 protected static final String EDIT = "edit";
931 //Set up the editor (from the table's point of view),
933 //This button brings up the color chooser dialog,
934 //which is the editor from the user's point of view.
935 button = new JButton();
936 button.setActionCommand(EDIT);
937 button.addActionListener(this);
938 button.setBorderPainted(false);
939 //Set up the dialog that the button brings up.
940 colorChooser = new JColorChooser();
941 dialog = JColorChooser.createDialog(button,
945 this, //OK button handler
946 null); //no CANCEL button handler
950 * Handles events from the editor button and from
951 * the dialog's OK button.
953 public void actionPerformed(ActionEvent e)
956 if (EDIT.equals(e.getActionCommand()))
958 //The user has clicked the cell, so
959 //bring up the dialog.
960 button.setBackground(currentColor);
961 colorChooser.setColor(currentColor);
962 dialog.setVisible(true);
964 //Make the renderer reappear.
965 fireEditingStopped();
969 { //User pressed dialog's "OK" button.
970 currentColor = colorChooser.getColor();
974 //Implement the one CellEditor method that AbstractCellEditor doesn't.
975 public Object getCellEditorValue()
980 //Implement the one method defined by TableCellEditor.
981 public Component getTableCellEditorComponent(JTable table,
987 currentColor = (Color) value;