annotate java/src/uk/ac/qmul/eecs/ccmi/gui/LoopSpinnerNumberModel.java @ 8:ea7885bd9bff tip

fixed bug : render solid line as dotted/dashed when moving the stylus from dotted/dashed to solid

/*  
 CCmI Editor - A Collaborative Cross-Modal Diagram Editing Tool
  
 Copyright (C) 2011  Queen Mary University of London (http://ccmi.eecs.qmul.ac.uk/)

 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation, either version 3 of the License, or
 (at your option) any later version.

 This program is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/
package uk.ac.qmul.eecs.ccmi.gui;

import javax.swing.SpinnerNumberModel;

/**
 * A SpinnerNumberModel which overrides the default behaviour when selecting items by the keyboard
 * up and down arrow keys.
 * When the maximum value is reached, a call to getNextValue() 
 * will return the minimum value, instead of returning null. Likewise,
 * when the minimum value is reached, a call to getPreviousValue() will return the maximum value 
 * instead of returning null. 
 * 
 *
 */
@SuppressWarnings("serial")
public class LoopSpinnerNumberModel extends SpinnerNumberModel {
	public LoopSpinnerNumberModel(int value, int minimum, int maximum){
		super(value,minimum,maximum,1);
	}
	
	@Override
	public Object getNextValue(){
		Object nextValue = super.getNextValue();
		if(nextValue == null)
			return getMinimum();
		else
			return nextValue;
	}
	
	@Override
	public Object getPreviousValue(){
		Object previousValue = super.getPreviousValue();
		if(previousValue == null)
			return getMaximum();
		else 
			return previousValue;
	}
	
	public Object getValue(){
		return super.getValue();
	}
}