1) it passes the linear type checking 2) start annotations 3) removes unnecessary...
[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTracking / DeviationScanner.java
1 /*\r
2  * Copyright 2009 (c) Florian Frankenberger (darkblue.de)\r
3  * \r
4  * This file is part of LEA.\r
5  * \r
6  * LEA is free software: you can redistribute it and/or modify it under the\r
7  * terms of the GNU Lesser General Public License as published by the Free\r
8  * Software Foundation, either version 3 of the License, or (at your option) any\r
9  * later version.\r
10  * \r
11  * LEA is distributed in the hope that it will be useful, but WITHOUT ANY\r
12  * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR\r
13  * A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more\r
14  * details.\r
15  * \r
16  * You should have received a copy of the GNU Lesser General Public License\r
17  * along with LEA. If not, see <http://www.gnu.org/licenses/>.\r
18  */\r
19 \r
20 /**\r
21  * No description given.\r
22  * \r
23  * @author Florian Frankenberger\r
24  */\r
25 @LATTICE("SIZE<POS,SIZE*")\r
26 @METHODDEFAULT("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")\r
27 public class DeviationScanner {\r
28 \r
29   @LOC("POS")\r
30   private EyePosition eyePositions[];\r
31 \r
32   // LEFT_UP(+1, -1), UP(0, -1), RIGHT_UP(-1, -1), LEFT(+1, 0), NONE(0, 0),\r
33   // RIGHT(-1, 0), LEFT_DOWN(\r
34   // +1, +1), DOWN(0, +1), RIGHT_DOWN(-1, +1);\r
35 \r
36   public static final int LEFT_UP = 0;\r
37   public static final int UP = 1;\r
38   public static final int RIGHT_UP = 2;\r
39   public static final int LEFT = 3;\r
40   public static final int NONE = 4;\r
41   public static final int RIGHT = 5;\r
42   public static final int LEFT_DOWN = 6;\r
43   public static final int DOWN = 7;\r
44   public static final int RIGHT_DOWN = 8;\r
45 \r
46   @LOC("SIZE")\r
47   private int size;\r
48 \r
49   public DeviationScanner() {\r
50     eyePositions = new EyePosition[3];\r
51     size = 0;\r
52   }\r
53 \r
54   @LATTICE("THIS<C,C<IN,THISLOC=THIS")\r
55   public void addEyePosition(@LOC("IN") EyePosition eyePosition) {\r
56 \r
57     for (@LOC("C") int i = 1; i < eyePositions.length; i++) {\r
58       eyePositions[i - 1] = eyePositions[i];\r
59       eyePositions[i] = null;\r
60     }\r
61     eyePositions[eyePositions.length - 1] = eyePosition;\r
62 \r
63     if (size < eyePositions.length) {\r
64       size++;\r
65     }\r
66   }\r
67 \r
68   public int getEyePositionsSize() {\r
69     return size;\r
70   }\r
71 \r
72   @LATTICE("OUT<DEV,DEV<THIS,THIS<C,C<IN,C*,DEV*,OUT*,THISLOC=THIS,RETURNLOC=OUT")\r
73   public int scanForDeviation(@LOC("IN") Rectangle2D faceRect) {\r
74     @LOC("OUT") int deviation = NONE;\r
75     if (getEyePositionsSize() >= 3) {\r
76       @LOC("DEV") double deviationX = 0;\r
77       @LOC("DEV") double deviationY = 0;\r
78 \r
79       @LOC("DEV") int lastIdx = -1;\r
80       for (@LOC("C") int i = 0; i < 3; ++i) {\r
81         if (lastIdx != -1) {\r
82           deviationX += (eyePositions[i].getX() - eyePositions[lastIdx].getX());\r
83           deviationY += (eyePositions[i].getY() - eyePositions[lastIdx].getY());\r
84         }\r
85         lastIdx = i;\r
86       }\r
87 \r
88       @LOC("DEV") final double deviationPercentX = 0.04;\r
89       @LOC("DEV") final double deviationPercentY = 0.04;\r
90 \r
91       deviationX /= faceRect.getWidth();\r
92       deviationY /= faceRect.getWidth();\r
93 \r
94       @LOC("DEV") int deviationAbsoluteX = 0;\r
95       @LOC("DEV") int deviationAbsoluteY = 0;\r
96       if (deviationX > deviationPercentX)\r
97         deviationAbsoluteX = 1;\r
98       if (deviationX < -deviationPercentX)\r
99         deviationAbsoluteX = -1;\r
100       if (deviationY > deviationPercentY)\r
101         deviationAbsoluteY = 1;\r
102       if (deviationY < -deviationPercentY)\r
103         deviationAbsoluteY = -1;\r
104 \r
105       deviation = getDirectionFor(deviationAbsoluteX, deviationAbsoluteY);\r
106 \r
107       if (deviation != NONE) {\r
108         eyePositions = new EyePosition[3];\r
109         size = 0;\r
110       }\r
111       // System.out.println(String.format("%.2f%% | %.2f%% => %d and %d >>> %s",\r
112       // deviationX*100, deviationY*100, deviationAbsoluteX, deviationAbsoluteY,\r
113       // deviation.toString()));\r
114 \r
115     }\r
116 \r
117     return deviation;\r
118   }\r
119 \r
120   public int getDirectionFor(@LOC("IN") int directionX, @LOC("IN") int directionY) {\r
121 \r
122     if (directionX == +1 && directionY == -1) {\r
123       return LEFT_UP;\r
124     } else if (directionX == 0 && directionY == -1) {\r
125       return UP;\r
126     } else if (directionX == -1 && directionY == -1) {\r
127       return RIGHT_UP;\r
128     } else if (directionX == +1 && directionY == 0) {\r
129       return LEFT;\r
130     } else if (directionX == 0 && directionY == 0) {\r
131       return NONE;\r
132     } else if (directionX == -1 && directionY == 0) {\r
133       return RIGHT;\r
134     } else if (directionX == +1 && directionY == +1) {\r
135       return LEFT_DOWN;\r
136     } else if (directionX == 0 && directionY == +1) {\r
137       return DOWN;\r
138     } else if (directionX == -1 && directionY == +1) {\r
139       return RIGHT_DOWN;\r
140     }\r
141 \r
142     return -1;\r
143   }\r
144 \r
145   public void clear() {\r
146     System.out.println("CLEAR");\r
147     eyePositions = new EyePosition[3];\r
148     size = 0;\r
149   }\r
150 \r
151   public String toStringDeviation(@LOC("IN") int dev) {\r
152     if (dev == LEFT_UP) {\r
153       return "LEFT_UP";\r
154     } else if (dev == UP) {\r
155       return "UP";\r
156     } else if (dev == RIGHT_UP) {\r
157       return "RIGHT_UP";\r
158     } else if (dev == LEFT) {\r
159       return "LEFT";\r
160     } else if (dev == NONE) {\r
161       return "NONE";\r
162     } else if (dev == RIGHT) {\r
163       return "RIGHT";\r
164     } else if (dev == LEFT_DOWN) {\r
165       return "LEFT_DOWN";\r
166     } else if (dev == DOWN) {\r
167       return "DOWN";\r
168     } else if (dev == RIGHT_DOWN) {\r
169       return "RIGHT_DOWN";\r
170     }\r
171     return "ERROR";\r
172   }\r
173 \r
174 }\r