← Back to branch summary

~tapaal-contributor/tapaal/engine-option-matrix-dev

« back to all changes in this revision

Viewing changes to src/pipe/gui/handler/TimedArcHandler.java

  • Committer: ptaankvist at gmail
  • Date: 2020-08-10 09:47:18 UTC
  • mfrom: (1068.1.10 tapaal)
  • Revision ID: ptaankvist@gmail.com-20200810094718-5ml66wkuy1m2dpl0
add game as option for the engines and merge with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/TimedArcHandler.java
5
5
import javax.swing.JMenuItem;
6
6
import javax.swing.JPopupMenu;
7
7
 
8
 
import dk.aau.cs.model.tapn.TimedOutputArc;
9
 
import pipe.gui.action.SplitArcAction;
10
8
import pipe.gui.graphicElements.Arc;
11
 
import pipe.gui.graphicElements.tapn.TimedInhibitorArcComponent;
12
 
import pipe.gui.graphicElements.tapn.TimedInputArcComponent;
13
9
import pipe.gui.graphicElements.tapn.TimedOutputArcComponent;
14
 
import pipe.gui.graphicElements.tapn.TimedTransportArcComponent;
15
10
 
16
11
public class TimedArcHandler extends ArcHandler {
17
12