← Back to branch summary

~yrke/tapaal/removedUnusedFieldsFromXML

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/Place.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2018-10-14 18:47:29 UTC
  • Revision ID: kenneth@yrke.dk-20181014184729-f9no1ujrpv0e0oj7
Made Place interals protected

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/Place.java
28
28
        // Value of the capacity restriction; 0 means no capacity restriction 
29
29
        protected Integer capacity = 0;
30
30
 
31
 
        public static final int DIAMETER = Pipe.PLACE_TRANSITION_HEIGHT;
 
31
        protected static final int DIAMETER = Pipe.PLACE_TRANSITION_HEIGHT;
32
32
 
33
33
        // Token Width and Height
34
 
        public static int tWidth = 5;
35
 
        public static int tHeight = 5;
 
34
        protected static int tWidth = 5;
 
35
        protected static int tHeight = 5;
36
36
 
37
37
        // Token dot position offsets
38
 
        public static int tLeftX = 7;
39
 
        public static int tRightX = 19;
40
 
        public static int tTopY = 7;
41
 
        public static int tBotY = 19;
42
 
        public static int tMiddleX = 13;
43
 
        public static int tMiddleY = 13;
 
38
        protected static int tLeftX = 7;
 
39
        protected static int tRightX = 19;
 
40
        protected static int tTopY = 7;
 
41
        protected static int tBotY = 19;
 
42
        protected static int tMiddleX = 13;
 
43
        protected static int tMiddleY = 13;
44
44
 
45
45
        // Ellipse2D.Double place
46
46
        protected static Ellipse2D.Double placeEllipse = new Ellipse2D.Double(0, 0,     DIAMETER, DIAMETER);