1

次のコードがあります。

module Billing.Options
  (
      GlobalOpts(..)
    , globalOptsParser
    , parseDb
    , parseSql
  ) where

import Options.Applicative
import Options.Applicative.Simple
import Options.Applicative.Types
import System.FilePath.Posix
import Text.Regex.PCRE

-- ------------------------------------------------------------

data GlobalOpts = GlobalOpts
  {
    optDb          :: String,
    optSql         :: String
  } deriving Show

-- ------------------------------------------------------------

globalOptsParser :: Parser GlobalOpts
globalOptsParser = GlobalOpts
  <$> option (parseDb =<< readerAsk)
    (   long "db"
    <>  short 'd'
    <>  metavar "<DB name>"
    <>  help "dmt | report"
    )
  <*> option parseSql
    (   long "sql"
    <>  metavar "<SQL SELECT statement>"
    <>  help "sql select statement to use in order to generate JSON config file"
    )
-- ------------------------------------------------------------

matches :: String -> String -> Bool
matches = (=~)

-- ------------------------------------------------------------

parseDb :: String -> ReadM String
parseDb val = do
    if not (elem val ["dmt", "report"])
        then readerError $ "Unknown DB, '" ++ val ++ "'"
        else return val

-- ------------------------------------------------------------

parseSql :: ReadM String
parseSql = do
    val <- readerAsk
    if not (val `matches` "(?i)select .+ from .+")
        then readerError $ "Please provide a valid SQL SELECT statement"
        else return val

-- [EOF]

次のコードで引数パーサーをテストしています。

error' = let mp = runParser AllowOpts globalOptsParser ["-d", "billing"]
          opts = ParserPrefs "suffix" False False False 80
      in fst $ runP mp opts

必要な引数は、

  -d <DB name>
  --sql <SQL SELECT statement>

エラーメッセージが表示されることをテストしたいのですが、

Missing: --sql <SQL SELECT statement>

「-dbilling」のみを指定した場合。

結果を印刷すると、上記のテストコードは次の出力を提供します。

Left (MissingError (MultNode [MultNode [MultNode [AltNode [Leaf (Chunk {unChunk = Just --sql <SQL SELECT statement>})]]]]))

上記の結果 (いずれかのデータ型) から予想されるエラー メッセージ (文字列) を生成する方法はありますか? ドキュメントで何かを見つけることができず、例をグーグルで調べても答えが得られなかったため、Haskellはこの目的に使用する明白な機能を提供していますか?

4

1 に答える 1

2

optparse-applicative (リンク)のソース コード リポジトリを見ると、それ自体がサブディレクトリにテスト スイートを持っていることがわかりますtests。

あなたが望むものとよく似ているように見えるルーチンがcheckHelpTextWithファイルにありますtests/Test.hs：

checkHelpTextWith :: Show a => ExitCode -> ParserPrefs -> String
                  -> ParserInfo a -> [String] -> Assertion
checkHelpTextWith ecode pprefs name p args = do
  let result = execParserPure pprefs p args
  assertError result $ \failure -> do
    expected <- readFile $ name ++ ".err.txt"
    let (msg, code) = renderFailure failure name
    expected @=? msg ++ "\n"
    ecode @=? code

この関数は、オプション パーサーが失敗することを想定し、エラー メッセージをファイルの内容と比較します。

対象となる主な機能は次のとおりです。

execParserPure :: ParserPrefs -> ParserInfo a -> [String] -> ParserResult a

renderFailure :: ParserFailure ParserHelp -> String -> (String, ExitCode)

によって返される文字列はrenderFailureエラー メッセージです。

于 2016-06-30T23:35:21.660 に答える