All Downloads are FREE. Search and download functionalities are using the official Maven repository.

de.uni.freiburg.iig.telematik.sepia.parser.graphic.PNMLParameterPanel Maven / Gradle / Ivy

package de.uni.freiburg.iig.telematik.sepia.parser.graphic;

import javax.swing.Box;
import javax.swing.BoxLayout;
import javax.swing.JCheckBox;
import javax.swing.JPanel;

public class PNMLParameterPanel extends JPanel{

	private static final long serialVersionUID = 3451964808731275078L;
	
	private JCheckBox requireNetTypeBox = null;
	private JCheckBox validationBox = null;
	
	public PNMLParameterPanel(){
		super();
		setLayout(new BoxLayout(this, BoxLayout.LINE_AXIS));
		add(Box.createHorizontalGlue());
		requireNetTypeBox = new JCheckBox("Require net type attribute");
		validationBox = new JCheckBox("Validate input net");
		add(requireNetTypeBox);
		add(validationBox);
		add(Box.createHorizontalGlue());
	}
	
	public boolean requireNetType(){
		return requireNetTypeBox.isSelected();
	}
	
	public boolean validation(){
		return validationBox.isSelected();
	}
	
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy