YesodはWai上に実装されているので、機能テストにはwai-testが使用できる。で、Yesod自身のテストコードはどうなってるのかなと見たところ、どうやらHspecと併用して要件を満たしているようで、同じテスト構成で構築したので備忘録がわりにメモ。

Yesodのやり方に従ったのでHspecという選択肢にしたが、別にdoctestでもQuickCheckでもなんでもいい。

├── Application.hs
├── Foundation.hs
├── Handler
│   ├── Api
│   │   └── User.hs
│   └── Root.hs
├── Import.hs
├── LICENSE
├── Sample.cabal
├── Settings
│   └── StaticFiles.hs
├── Settings.hs
├── Tests
│   ├── SampleTest
│   │   └── Handler
│   │       └── Api
│   │           └── User.hs
│   ├── SampleTest.hs
│   └── test.hs
<以下省略>

.cabalの編集。extra-source-filesにTestsディレクトリ以下のファイルを追加。Flag testの追加。testフラグが立っている場合はwai-testを使用。

<省略>
cabal-version:     >= 1.6
build-type:        Simple
homepage:          http://Sample.yesodweb.com/
extra-source-files:
    Tests/SampleTest/Handler/Api/User.hs
    Tests/SampleTest.hs
    Tests/test.hs

Flag test
  description: Build the executable to run unit tests
  default: False

Flag dev
    Description:   Turn on development settings, like auto-reload templates.
    Default:       False

Flag library-only
    Description:   Build for use with "yesod devel"
    Default:       False

library
    if flag(library-only)
        Buildable: True
    else
        Buildable: False

    if flag(test)
        build-depends: wai-test
<省略>

.cabalにtest-suiteを追加。

test-suite tests
    type: exitcode-stdio-1.0
    main-is: Tests/test.hs
    cpp-options: -DTEST
    extensions: TemplateHaskell
                QuasiQuotes
                OverloadedStrings
                NoImplicitPrelude
                CPP
                OverloadedStrings
                MultiParamTypeClasses
                TypeFamilies
    build-depends: base                          >= 4          && < 5                  , yesod                         >= 0.10.1     && < 0.11                  , yesod-core                    >= 0.10       && < 0.11                  , yesod-static                  >= 0.10       && < 0.11                  , yesod-default                 >= 0.6        && < 0.7                  , clientsession                 >= 0.7.3      && < 0.8                  , bytestring                    >= 0.9        && < 0.10                  , text                          >= 0.11       && < 0.12                  , template-haskell                  , hamlet                        >= 0.10       && < 0.11                  , shakespeare-text              >= 0.10       && < 0.11                  , shakespeare-css               >= 0.10.7.1   && < 0.11                  , shakespeare-js                >= 0.11.1     && < 0.12                  , wai                           >= 1.1        && < 1.2                  , wai-extra                     >= 1.1        && < 1.2                  , transformers                  >= 0.2        && < 0.3                  , monad-control                 >= 0.3        && < 0.4                  , yaml                          >= 0.5        && < 0.6                  , blaze-html                    >=0.4.3.1     && < 0.5                  , SHA                           >=1.5.0.0     && < 1.6.0.0                  , utf8-string                   >=0.3.7       && < 0.4                  , old-time                      >=1.1.0.0     && < 1.2                  , QuickCheck                    >=2.4.2       && < 3.0                  , random                        >=1.0.1.1     && < 1.1                  , test-framework                >=0.5         && < 0.6                  , test-framework-hunit          >=0.2.7       && < 0.3                  , test-framework-quickcheck2    >=0.2.12      && < 0.3                  , HUnit                  , hspec                         >=0.9.1.1      && < 1.0                  , wai-test                      >=1.1.1        && < 2.0                  , wai                  , wai-extra                     >=1.1.0.1      && < 1.2                  , cookie                        >=0.4.0        && < 0.5                  , http-conduit                  >=1.2.6        && < 1.3                  , clientsession                 >=0.7.4        && < 0.8                  , aeson                         >= 0.5
    ghc-options: -Wall

Tests/test.hs にエントリポイントを記述。

import Import
import Test.Hspec
import Tests.SampleTest

main :: IO ()
main = hspecX $ descriptions $ specs

Tests/SampleTest.hs で[Specs]を作成。

module Tests.SampleTest (specs) where

import Tests.SampleTest.Handler.Api.User
import Test.Hspec

specs :: [Specs]
specs =
    [ userTest
    ]

Tests/SampleTest/Handler/Api/User.hs

module Tests.SampleTest.Handler.Api.User (userTest) where

import Prelude
import Yesod
import Application
import Test.Hspec
import Test.Hspec.HUnit ()
import Network.Wai
import Network.Wai.Test

userTest :: [Spec]
userTest = describe "SampleTest"
    [ it "check request is valid" case_request_valid
    ]

getApp :: IO Application
getApp = do
    (_,app) <- getApplicationDev     return app runner :: Session () -> IO ()
runner f = getApp >>= runSession f

case_request_valid :: IO ()
case_request_valid = runner $ do
      res <- request defaultRequest
        {
          pathInfo = ["api", "user"],
          requestHeaders = [("Accept-Language", "es")]
        }
      assertBody "aaa" res

getApplicationDevからApplicationを取ってきてrunSessionに投げる関数を作り、テストケース内でリクエストを投げてテストを実行していく。

実行。

cabal configure -ftest --enable-tests
cabal build
cabal test

haddock: internal error: divide by zero
 make[1]: *** [libraries/base/dist-install/doc/html/base/base.haddock] Error 1
 make: *** [all] Error 2

すでにチケットはfixedになっているがhttp://www.haskell.org/ghc/にあるソースコードはまだ修正されていないので、そのままコンパイルすると普通に上記のエラーでこける

#5810 (OSX Lion building 7.4 head causes Haddock Divide By Zero) – GHC:
http://hackage.haskell.org/trac/ghc/ticket/5810

commit 552504663774d4ad2528d466f08841b5b78c7518で修正されているので、gitから対象の差分をmergeすればコンパイルは成功する。

Milestoneが7.4.1になっているので修正分が入ってないとおかしいのだが、なぜか入ってない。

     @functools.wraps(method)
     def wrapper(self, *args, **kwargs):
         if not self.current_user:
-            if self.request.method in ("GET", "HEAD"):
-                url = self.get_login_url()
-                if "?" not in url:
-                    if urlparse.urlsplit(url).scheme:
-                        # if login url is absolute, make next absolute too
-                        next_url = self.request.full_url()
-                    else:
-                        next_url = self.request.uri
-                    url += "?" + urllib.urlencode(dict(next=next_url))
-                self.redirect(url)
-                return
             raise HTTPError(403)
         return method(self, *args, **kwargs)
     return wrapper

+def authenticated_to_login(method):
+    """Decorate methods with this to require that the user be logged in."""
+    @functools.wraps(method)
+    def wrapper(self, *args, **kwargs):
+        if not self.current_user:
+            url = self.get_login_url()
+            if "?" not in url:
+                if urlparse.urlsplit(url).scheme:
+                    # if login url is absolute, make next absolute too
+                    next_url = self.request.full_url()
+                else:
+                    next_url = self.request.uri
+                url += "?" + urllib.urlencode(dict(next=next_url))
+            self.redirect(url)
+            return
+        return method(self, *args, **kwargs)
+    return wrapper
+

 class UIModule(object):
     """A UI re-usable, modular unit on a page.

Commit 3e14e9b46ff0b469847575e9ff0159863dceb984 to emorins/tornado – GitHub:
https://github.com/emorins/tornado/commit/3e14e9b46ff0b469847575e9ff0159863dceb984

一応Pull Requestしておいたが、いまいち綺麗なネーミングじゃないし、他に方法があるかもしれないので取り込まれないかもしれないが、どちらにしろこの辺りもう少し柔軟性をもたせてほしいところ。便利なんだけど。

class Application(tornado.web.Application):
    def __init__(self):
        handlers = [
            (r"/", app.handler.main.MainHandler),
            (r"/login", app.handler.login.LoginHandler),
            (r"/api", app.handler.api.ApiHandler),
        ]
        settings = dict(
            cookie_secret="61oETzKXQAGaYdkL5gEmGeJJFuYh7EQnp2XdTP1o/Vo=",
            login_url="/login",
            debug=True,
        )
        tornado.web.Application.__init__(self, handlers, **settings)

例えばこんなtornado.web.Applicationを継承したApplicationがあったとする。ここでsettingsで指定してあるlogin_urlは、@tornado.web.authenticatedデコレータを使ってユーザー認証行ったときに、もし認証が不正ならそのパスに302で自動リダイレクトしてくれるのだけれども、これが使えない。

例えばAPIのようなリダイレクトせずに普通に403を返したいアプリケーションを書きたいときに邪魔になる。login_urlを定義しておかないとTornado自身が例外を吐くので指定しないこともできない。Noneも駄目。

さらにこの自動リダイレクトが効くのがGETメソッドなアクションに対してのみで、その他POSTやPUTなどは普通に403をクライアントに返す。

なんでこんな風になってるんだろうと疑問に感じる。Tornadoの作者自身がそういう使い方を想定していないだけだろうか。

でもこれ、childViewControllersってメンバの通り、単一ノードじゃないのね。UIKit的には開発者がviewメンバ以外に色々なUIViewを追加するだろうから、そのコントローラもchildViewControllersで管理してねってことなんだろうか。

それとは別にUINavigationControllerがスタックのデータ構造を持っているのもかなりややこしい。

ブラウザやサーバによってサポートしているwebsocketのバージョンがまちまちなのでDraft 76でSec-WebSocket-Versionフィールドがサポートされたが、さらに複数のバージョンを指定できるようになった。

例えばクライアントが

GET /chat HTTP/1.1
Host: server.example.com
Upgrade: websocket
Connection: Upgrade
...
Sec-WebSocket-Version: 25

のようなハンドシェイクを試みると、

HTTP/1.1 400 Bad Request
...
Sec-WebSocket-Version: 13
Sec-WebSocket-Version: 8, 7

のようなハンドシェイクをサーバが返すことができる。この場合サーバはバージョン25のwebsocketプロトコルをサポートしておらず、バージョン8と7をサポートしていることが分かる。

オリジナルのバグレポートを参照したいのだが、過去のレポートはどこで見ればいいんだろう。Appleのサイト見てもレポートを参照したい場合はメールを送れとしか書いてない。不便だなあ。

NS_BLOCK_ASSERTIONSが無効のとき

#if !defined(NS_BLOCK_ASSERTIONS) && defined(__STDC_VERSION__) && (199901L <= __STDC_VERSION__) && (defined(__GNUC__) || 0)

#if !defined(_NSAssertBody)

#define NSAssert(condition, desc, ...) \
    do {			\
	if (!(condition)) {	\
	    [[NSAssertionHandler currentHandler] handleFailureInMethod:_cmd \
		object:self file:[NSString stringWithUTF8String:__FILE__] \
	    	lineNumber:__LINE__ description:(desc), ##__VA_ARGS__]; \
	}			\
    } while(0)

#define NSAssert1(condition, desc, arg1) NSAssert((condition), (desc), (arg1))
#define NSAssert2(condition, desc, arg1, arg2) NSAssert((condition), (desc), (arg1), (arg2))
#define NSAssert3(condition, desc, arg1, arg2, arg3) NSAssert((condition), (desc), (arg1), (arg2), (arg3))
#define NSAssert4(condition, desc, arg1, arg2, arg3, arg4) NSAssert((condition), (desc), (arg1), (arg2), (arg3), (arg4))
#define NSAssert5(condition, desc, arg1, arg2, arg3, arg4, arg5) NSAssert((condition), (desc), (arg1), (arg2), (arg3), (arg4), (arg5))

#define NSParameterAssert(condition) NSAssert((condition), @"Invalid parameter not satisfying: %s", #condition)

#endif

NS_BLOCK_ASSERTIONSが有効のとき

#if !defined(NSAssert)
#define NSAssert5(condition, desc, arg1, arg2, arg3, arg4, arg5)	\
    _NSAssertBody((condition), (desc), (arg1), (arg2), (arg3), (arg4), (arg5))

#define NSAssert4(condition, desc, arg1, arg2, arg3, arg4)	\
    _NSAssertBody((condition), (desc), (arg1), (arg2), (arg3), (arg4), 0)

#define NSAssert3(condition, desc, arg1, arg2, arg3)	\
    _NSAssertBody((condition), (desc), (arg1), (arg2), (arg3), 0, 0)

#define NSAssert2(condition, desc, arg1, arg2)		\
    _NSAssertBody((condition), (desc), (arg1), (arg2), 0, 0, 0)

#define NSAssert1(condition, desc, arg1)		\
    _NSAssertBody((condition), (desc), (arg1), 0, 0, 0, 0)

#define NSAssert(condition, desc)			\
    _NSAssertBody((condition), (desc), 0, 0, 0, 0, 0)
#endif

意図的にやってるとしてもメリットが分からない。油断してNSAssert(condition, desc, ...)を開発時に使いまくって、いざNS_BLOCK_ASSERTIONS付きでreleaseビルドすると悲惨なことになる。

読んだ範囲

• クラスファイルベリファイア
• java.util.concurrent

まあこの辺は割と読めば分かるところなので。後半は寝てた。

Mac OS X(10.6.4)のプレビューだとJPEGのAPP0マーカーのセグメント長が0で、でも実は0じゃないような不正なバイトデータでもちゃんと正常に表示されていた。

FFD8FFE000104A46494600010100000100010000FFDB008400090606131210151412141515151518151A171718171818

APP0マーカーのセグメント長をあり得ない値に変更したJPEG。

FFD8FFE000004A46494600010100000100010000FFDB008400090606131210151412141515151518151A171718171818

どうしてるんだろう。単純に0を信じてみたけど、次の2バイトでマーカー識別子を特定できないからマーカーが出るまでインクリメントしていって調べてるのか。