michiakig

@ThreadConfined("other")
public final class IO {
    //…
}

michiakig

analyze:
[checkthread] ****
[checkthread] Error in class com/flurry/example/hnreader/HackerNewsActivityV1Buggy.java on line 29
[checkthread] The method 'onCreate' has a 'MAIN' thread policy, but the invoked method 'getHttp' has a 'other' thread policy.

michiakig

new Thread() {
    @ThreadConfined("other")
    public void run()
    {
        try
        {
            // doing IO off the UI thread -- ok
            String feed = IO.getHttp(kHackerNewsRssUrl);
            List<String> titles = HackerNewsRSSParser.parseTitles(feed);
            for (String t : titles)

michiakig

analyze:
[checkthread] ****
[checkthread] Error in class com/flurry/example/hnreader/HackerNewsActivityV2Buggy.java on line 43
[checkthread] The method 'run' has a 'other' thread policy, but the invoked method 'setText' has a 'MAIN' thread policy.

michiakig

new Thread() {
    @ThreadConfined("other")
    public void run()
    {
        try
        {
            String feed = IO.getHttp(kHackerNewsRssUrl);
            final List<String> titles = HackerNewsRSSParser.parseTitles(feed);
            HackerNewsActivityV3LessBuggy.this.runOnUiThread(new Runnable()
            {

michiakig

public class Chain
{
    @ThreadSafe
    public void threadSafeMethod()
    {
        middleman();
    }
    public void middleman()
    {
        notThreadSafeMethod();

michiakig

;; package.el stuff
(require 'package)
(add-to-list 'package-archives
             '("marmalade" . "http://marmalade-repo.org/packages/") t)
(package-initialize)
(when (not package-archive-contents)
  (package-refresh-contents))
(defvar my-packages '(color-theme-solarized magit smex sml-mode))
(dolist (p my-packages)
  (when (not (package-installed-p p))

michiakig

structure Set : ORD_SET = IntListSet
structure Map : ORD_MAP = ListMapFn(
    struct
      type ord_key = Set.set
      val compare = Set.compare
    end)

val m = Map.insert(Map.empty, Set.singleton 1, 2)

michiakig

datatype Sexp = Satom of string | Scons of Sexp * Sexp | Snil

(* returns a string representation of an Sexp *)
fun showSexp s =
    let
        (* if fresh, Sexp is the head of a new list, not an inner cons cell *)
        fun showSexp' Snil _ = "nil"
          | showSexp' (Satom a) fresh =
            if not fresh
            then ". " ^ a (* dotted tail notation *)

michiakig

(add-hook 'sml-mode-hook (lambda () (defun sml-smie-rules (kind token) 7))))))