bug fixes + annotations

[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTracking / ImageReader.java

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/ImageReader.java b/Robust/src/Benchmarks/SSJava/EyeTracking/ImageReader.java
index 461971dd4e6a8bceee802424053f5f5abc5f12f3..d89c14cd1f477e39be6bb21df7f048931103be9d 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTracking/ImageReader.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/ImageReader.java
@@ -2,7 +2,8 @@ public class ImageReader {
   public ImageReader() {
   }
 
-  public Image readImage(String file) {
+  @TRUST
+  public static Image readImage(String file) {
 
     FileInputStream fs = new FileInputStream(file);
     int bflen = 14; // 14 byte BITMAPFILEHEADER