Skip to content
Snippets Groups Projects
Select Git revision
  • a3dd33359f41c250a5b35c0813004e4daedc70a2
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.2
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
21 results

InstanceTransformation.java

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    SolutionNumberChooser.java 2.08 KiB
    /*******************************************************************************
     * Copyright (C) 2017 Philipp Spohr
     * 
     * Permission is hereby granted, free of charge, to any person obtaining a copy
     * of this software and associated documentation files (the "Software"), to deal
     * in the Software without restriction, including without limitation the rights
     * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
     * copies of the Software, and to permit persons to whom the Software is
     * furnished to do so, subject to the following conditions:
     * 
     * The above copyright notice and this permission notice shall be included in
     * all copies or substantial portions of the Software.
     * 
     * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
     * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
     * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
     * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
     * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
     * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
     * SOFTWARE.
     ******************************************************************************/
    package de.hhu.ba.yoshikoWrapper.gui;
    
    import javax.swing.JLabel;
    import javax.swing.JPanel;
    import javax.swing.JSpinner;
    import javax.swing.SpinnerNumberModel;
    
    import de.hhu.ba.yoshikoWrapper.core.LocalizationManager;
    
    @SuppressWarnings("serial")
    public class SolutionNumberChooser extends JPanel {
    	private final JSpinner numSolutionsSetter;
    	private final JLabel label;
    	
    	public SolutionNumberChooser() {
    		//Swing Component init
    		numSolutionsSetter = new JSpinner();
    		numSolutionsSetter.setModel(new SpinnerNumberModel(1,1,Integer.MAX_VALUE,1));
    		label = new JLabel(LocalizationManager.get("nrSolutions"));
    		SwingUtil.addAll(this,label, numSolutionsSetter);	 
    	}
    	
    	@Override
    	public void setEnabled(boolean enabled) {
    		numSolutionsSetter.setEnabled(enabled);
    	}
    
    	public int getSolCount() {
    		return (int)numSolutionsSetter.getValue();
    	}
    }