projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add PCLOC annotations. all three benchmarks are type-checked now.
[IRC.git]
/
Robust
/
src
/
Benchmarks
/
SSJava
/
EyeTracking
/
LEAImplementation.java
diff --git
a/Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
b/Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
index e77c0e241abfdfa62b505bb5782f8e9063d0dd77..cf564ff1b0bf8e51f291ce4fc6b583d63910d224 100644
(file)
--- a/
Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
+++ b/
Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
@@
-37,6
+37,7
@@
public class LEAImplementation {
}
@LATTICE("OUT<V,V<THIS,THIS<IN,V*,THISLOC=THIS,RETURNLOC=OUT")
}
@LATTICE("OUT<V,V<THIS,THIS<IN,V*,THISLOC=THIS,RETURNLOC=OUT")
+ @PCLOC("THIS")
public FaceAndEyePosition getEyePosition(@LOC("IN") Image image) {
if (image == null)
return null;
public FaceAndEyePosition getEyePosition(@LOC("IN") Image image) {
if (image == null)
return null;
@@
-61,7
+62,8
@@
public class LEAImplementation {
return new FaceAndEyePosition(lastRectangle, eyePosition);
}
return new FaceAndEyePosition(lastRectangle, eyePosition);
}
- @LATTICE("OUT<IN,OUT<THIS,THISLOC=THIS,RETURNLOC=OUT")
+ @LATTICE("OUT<P,P<IN,OUT<THIS,THISLOC=THIS,RETURNLOC=OUT")
+ @PCLOC("P")
private Point readEyes(@LOC("IN") Image image, @LOC("IN") Rectangle2D rect) {
@LOC("OUT") EyeDetector ed = new EyeDetector(image, rect);
return ed.detectEye();
private Point readEyes(@LOC("IN") Image image, @LOC("IN") Rectangle2D rect) {
@LOC("OUT") EyeDetector ed = new EyeDetector(image, rect);
return ed.detectEye();