← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java
41
41
        private static final String TRANSITION_IS_USED_MESSAGE = "<html>The shared transition is used in one or more components.<br/>TAPAAL will unshare all transitions under this name,<br/>but leave the transitions in the components.</html>";
42
42
        private static final String PLACE_IS_USED_MESSAGE = "<html>The shared place is used in one or more components.<br/>TAPAAL will unshare all places under this name,<br/>but leave the places in the components.</html>";
43
43
 
44
 
        private static final long serialVersionUID = 1L;
45
44
        private static final String TRANSITIONS = "Transitions";
46
45
        private static final String PLACES = "Places";
47
46
 
446
445
        }
447
446
 
448
447
        public class SharedPlacesListModel extends AbstractListModel {
449
 
                private static final long serialVersionUID = 1L;
450
448
                private TimedArcPetriNetNetwork network;
451
449
 
452
450
                public SharedPlacesListModel(TimedArcPetriNetNetwork network){
529
527
        }
530
528
 
531
529
        public class SharedTransitionsListModel extends AbstractListModel {
532
 
                private static final long serialVersionUID = 1L;
533
530
                private TimedArcPetriNetNetwork network;
534
531
 
535
532
                public SharedTransitionsListModel(TimedArcPetriNetNetwork network){