!636

!629 // standard functions

!658 // image classes

!673 // thread {

import java.awt.*;

import java.awt.image.*;

import java.util.List;

import javax.imageio.*;

import java.lang.reflect.*;

main {

  static Point[] usersFocalPoints = {

    new Point(205, 233),

    new Point(266, 172),

    new Point(327, 229),

    new Point(266, 294)

  };

  static int spatialTolerance = 10; // generous

  static RGBImage originalImage;

  // returns a score (higher = better)

  static int checkFocalPoints(Point[] points, Point[] ref) {

    int correct = 0;

    List<Point> list = new ArrayList<Point>(Arrays.asList(points));

    for (Point p : ref) {

      Point u = findPoint(p, list);

      if (u != null) {

        ++correct;

        list.remove(u);

      }

    }

    int superfluous = list.size();

    return correct-superfluous;

  }

  static boolean nearEnough(Point p, Point u) {

    return sqr(p.x-u.x) + sqr(p.x-u.y) <= sqr(spatialTolerance);

  }

  static double sqr(double a) { return a*a; }

  static Point findPoint(Point p, List<Point> list) {

    for (Point u : list) {

      if (nearEnough(p, u))

        return u;

    }

    return null;

  }

  static void markPoints(RGBImage img, List<Point> list,

    Color color) {

    for (Point p : list) {

      for (int y = p.y-1; y <= p.y+1; y++)

        for (int x= p.x-1; x <= p.x+1; x++)

          img.setPixel(x, y, x == p.x && y == p.y ? Color.white : color);

    }

  }

  psvm {

    String imageID = "#1000335"; // Picture of a big dot

    if (args.length != 0) imageID = args[0];

    final String _imageID = imageID;

    final ImageSurface imageSurface = new ImageSurface();

    makeFrame(new JScrollPane(imageSurface));

    thread {

      originalImage = loadImage(_imageID);

      RGBImage img = new RGBImage(originalImage);

      markPoints(img, Arrays.asList(usersFocalPoints), Color.red);

      imageSurface.setImage(img);

    }.start();

  }

  static void makeFrame(Component panel) {

    JFrame frame = new JFrame("A JavaX Frame");

    frame.add(panel);

    frame.setBounds(100, 100, 600, 600);

    frame.setVisible(true);

    exitOnFrameClose(frame);

  }

  static boolean useImageCache = true;

  static RGBImage loadImage(String snippetID) {

   try {

    File dir = new File(System.getProperty("user.home"), ".tinybrain/image-cache");

    if (useImageCache) {

      dir.mkdirs();

      File file = new File(dir, snippetID + ".png");

      if (file.exists() && file.length() != 0)

        try {

          return new RGBImage(ImageIO.read(file));

        } catch (Throwable e) {

          e.printStackTrace();

          // fall back to loading from sourceforge

        }

    }

    String imageURL = getImageURL(parseSnippetID(snippetID));

    System.err.println("Loading image: " + imageURL);

    BufferedImage image = ImageIO.read(new URL(imageURL));

    if (useImageCache) {

      File tempFile = new File(dir, snippetID + ".tmp." + System.currentTimeMillis());

      ImageIO.write(image, "png", tempFile);

      tempFile.renameTo(new File(dir, snippetID + ".png"));

      //Log.info("Cached image.");

    }

    //Log.info("Loaded image.");

    return new RGBImage(image);

   } catch (IOException e) {

    throw new RuntimeException(e);

   }

  }

  static String getImageURL(long snippetID) throws IOException {

    String url;

    if (snippetID == 1000010 || snippetID == 1000012)

      url = "http://tinybrain.de:8080/tb/show-blobimage.php?id=" + snippetID;

    else

      url = "http://eyeocr.sourceforge.net/filestore/filestore.php?cmd=serve&file=blob_" + snippetID

        + "&contentType=image/png";

    return url;

  }

  public static long parseSnippetID(String snippetID) {

    return Long.parseLong(shortenSnippetID(snippetID));

  }

  private static String shortenSnippetID(String snippetID) {

    if (snippetID.startsWith("#"))

      snippetID = snippetID.substring(1);

    String httpBlaBla = "http://tinybrain.de/";

    if (snippetID.startsWith(httpBlaBla))

      snippetID = snippetID.substring(httpBlaBla.length());

    return snippetID;

  }

}