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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of SEPIA Show documentation

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution.

The newest version!

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

import java.awt.BorderLayout;
import java.awt.Color;
import java.awt.Dimension;
import java.util.ArrayList;
import java.util.Collections;
import java.util.HashSet;
import java.util.List;
import java.util.Set;

import javax.swing.BorderFactory;
import javax.swing.JCheckBox;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.JTable;
import javax.swing.ListSelectionModel;
import javax.swing.ScrollPaneConstants;
import javax.swing.table.AbstractTableModel;

import de.invation.code.toval.validate.ParameterException;
import de.uni.freiburg.iig.telematik.sepia.petrinet.abstr.AbstractPetriNet;
import de.uni.freiburg.iig.telematik.sepia.util.PNUtils;

public class SilentTransitionPanel extends JPanel {
	
	private static final long serialVersionUID = 4926262262767599934L;
	private static final Dimension PREFERRED_SIZE = new Dimension(300,300);
	private static final int MIN_SIZE_TRANSITION_NAME = 60;
	private static final int MIN_SIZE_TRANSITION_LABEL = 180;
	private static final int MIN_SIZE_CHECKBOX = 40;
	
	private JTable transitionTable = null;
	
	public SilentTransitionPanel(){
		super(new BorderLayout());
		setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
		JScrollPane scroll = new JScrollPane();
		scroll.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_AS_NEEDED);
		scroll.setHorizontalScrollBarPolicy(ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);
		scroll.setViewportView(getTransitionTable());
		add(scroll, BorderLayout.CENTER);
	}
	
	@Override
	public Dimension getPreferredSize() {
		return PREFERRED_SIZE;
	}

	@SuppressWarnings("rawtypes")
	public void update(AbstractPetriNet net){
		transitionTable.setModel(new SilentTransitionTableModel(net));
		transitionTable.setRowHeight(30);
	
		transitionTable.getColumnModel().getColumn(0).setWidth(MIN_SIZE_TRANSITION_NAME);
		transitionTable.getColumnModel().getColumn(0).setMinWidth(MIN_SIZE_TRANSITION_NAME);
		transitionTable.getColumnModel().getColumn(0).setPreferredWidth(MIN_SIZE_TRANSITION_NAME);
		transitionTable.getColumnModel().getColumn(0).setHeaderValue("Name");
		
		transitionTable.getColumnModel().getColumn(1).setWidth(MIN_SIZE_TRANSITION_LABEL);
		transitionTable.getColumnModel().getColumn(1).setMinWidth(MIN_SIZE_TRANSITION_LABEL);
		transitionTable.getColumnModel().getColumn(1).setPreferredWidth(MIN_SIZE_TRANSITION_LABEL);
		transitionTable.getColumnModel().getColumn(1).setHeaderValue("Label");
		
		transitionTable.getColumnModel().getColumn(2).setWidth(MIN_SIZE_CHECKBOX);
		transitionTable.getColumnModel().getColumn(2).setMinWidth(MIN_SIZE_CHECKBOX);
		transitionTable.getColumnModel().getColumn(2).setMaxWidth(MIN_SIZE_CHECKBOX);
		transitionTable.getColumnModel().getColumn(2).setPreferredWidth(MIN_SIZE_CHECKBOX);
		transitionTable.getColumnModel().getColumn(2).setHeaderValue("Silent");
	}

	private JTable getTransitionTable(){
		if(transitionTable == null){
			transitionTable = new JTable();
			transitionTable.getSelectionModel().setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
			transitionTable.setBorder(BorderFactory.createLineBorder(Color.black));
		}
		return transitionTable;
	}
	
	public Set getSilentTransitions(){
		return ((SilentTransitionTableModel) getTransitionTable().getModel()).getSilentTransitions();
	}
	
	private class SilentTransitionTableModel extends AbstractTableModel {

		private static final long serialVersionUID = 1419785199076203719L;
		private List labelList = new ArrayList();
		private List nameLabelList = new ArrayList();
		private List checkBoxList = new ArrayList();
		
		@SuppressWarnings({ "rawtypes", "unchecked" })
		public SilentTransitionTableModel(AbstractPetriNet net){
			List transitionLabelList = new ArrayList();
			try {
				transitionLabelList.addAll(PNUtils.getLabelSetFromTransitions(net.getTransitions(), true));
			} catch (ParameterException e) {
				e.printStackTrace();
			}
			Collections.sort(transitionLabelList);
			for(String transitionLabel: transitionLabelList){
				Set transitionNames = null;
				try {
					transitionNames = PNUtils.getNameSetFromTransitions(net.getTransitions(transitionLabel), true);

					for(String transitionName: transitionNames){
						labelList.add(new JLabel(transitionLabel));
						nameLabelList.add(new JLabel(transitionName));
						JCheckBox checkBox = new JCheckBox("silent");
						if(net.getTransition(transitionName).isSilent() || transitionLabel.startsWith("_"))
							checkBox.setSelected(true);
						checkBoxList.add(checkBox);
					}
				} catch (ParameterException e) {
					e.printStackTrace();
				}
			}
		}

		@Override
		public boolean isCellEditable(int rowIndex, int columnIndex) {
			return columnIndex == 2;
//			return true;
		}

		@Override
		public int getRowCount() {
			return labelList.size();
		}

		@Override
		public int getColumnCount() {
			return 3;
		}
		
		

		@Override
		public void setValueAt(Object aValue, int rowIndex, int columnIndex) {
			if(columnIndex == 2){
				checkBoxList.get(rowIndex).setSelected((Boolean) aValue);
			} else {
				super.setValueAt(aValue, rowIndex, columnIndex);
			}
		}

		@Override
		public Object getValueAt(int rowIndex, int columnIndex) {
			if(columnIndex == 0){
				return nameLabelList.get(rowIndex).getText();
			} if(columnIndex == 1){
				return labelList.get(rowIndex).getText();
			} else if(columnIndex == 2){
				return checkBoxList.get(rowIndex).isSelected();
			}
			return null;
		}


		@Override
		@SuppressWarnings({ "unchecked", "rawtypes" })
		public Class getColumnClass(int c) {
			if(c == 2)
				return Boolean.class;
			return super.getColumnClass(c);
	    }
		
		public Set getSilentTransitions(){
			Set result = new HashSet();
			for(int i = 0; i