blob: cf9e2b79f80bf9c690c24b18545d0a158b6f8ff5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
module CmdLine where
import Data.Monoid
import Options.Applicative
data CmdLine = CmdLine
{ mode :: Mode
}
data Mode
= Test
| Graphviz GraphvizOpts
| Replay ReplayOpts
data GraphvizOpts = GraphvizOpts
{ graphvizLogFile :: FilePath
, graphvizShowHashes :: Bool
}
data ReplayOpts = ReplayOpts
{ replayLogFile :: FilePath
}
parseCmdLine :: Parser CmdLine
parseCmdLine = CmdLine <$> parseMode
parseMode :: Parser Mode
parseMode = (Graphviz <$> parsegraphviz)
<|> (Replay <$> parsereplay)
<|> pure Test
where
parsegraphviz = GraphvizOpts
<$> option str
( long "graphviz"
<> metavar "logfile"
<> help "visualize log file with graphviz"
)
<*> switch
( long "show-hashes"
<> help "display hashes in graphviz"
)
parsereplay = ReplayOpts
<$> option str
( long "replay"
<> metavar "logfile"
<> help "replay log file"
)
getCmdLine :: IO CmdLine
getCmdLine = execParser opts
where
opts = info (helper <*> parseCmdLine)
( fullDesc
<> header "debug-me - provable remote debugging sessions"
)
|
