← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/Pipe.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/Pipe.java
5
5
public class Pipe {
6
6
 
7
7
        //Enum for all actions and types of elements
8
 
        public static enum ElementType {
 
8
        public enum ElementType {
9
9
                PLACE, IMMTRANS, TIMEDTRANS, ANNOTATION, ARC, INHIBARC, 
10
10
                //TAPN Elements
11
11
                TAPNPLACE, TAPNTRANS, TAPNARC, TRANSPORTARC, TAPNINHIBITOR_ARC,