HpcShowTix.hs 2.04 KB
Newer Older
andy@galois.com's avatar
andy@galois.com committed
1
2
3
4
5
6
7
module HpcShowTix (showtix_plugin) where

import Trace.Hpc.Mix
import Trace.Hpc.Tix

import HpcFlags

8
import qualified HpcSet as Set
andy@galois.com's avatar
andy@galois.com committed
9

Ian Lynagh's avatar
Ian Lynagh committed
10
showtix_options :: FlagOptSeq
11
12
13
14
15
16
showtix_options 
        = excludeOpt
        . includeOpt
        . srcDirOpt
        . hpcDirOpt
        . outputOpt
andy@galois.com's avatar
andy@galois.com committed
17

Ian Lynagh's avatar
Ian Lynagh committed
18
showtix_plugin :: Plugin
andy@galois.com's avatar
andy@galois.com committed
19
20
21
22
23
24
25
26
27
28
showtix_plugin = Plugin { name = "show"
	      	       , usage = "[OPTION] .. <TIX_FILE> [<MODULE> [<MODULE> ..]]" 
		       , options = showtix_options 
		       , summary = "Show .tix file in readable, verbose format"
		       , implementation = showtix_main
		       , init_flags = default_flags
		       , final_flags = default_final_flags
		       }


Ian Lynagh's avatar
Ian Lynagh committed
29
30
showtix_main :: Flags -> [String] -> IO ()
showtix_main _     [] = hpcError showtix_plugin $ "no .tix file or executable name specified" 
andy@galois.com's avatar
andy@galois.com committed
31
32
33
34
35
36
37
38
39
40
showtix_main flags (prog:modNames) = do
  let hpcflags1 = flags 
      		{ includeMods = Set.fromList modNames
  	      	     	 	   `Set.union` 
				includeMods flags }

  optTixs <- readTix (getTixFileName prog)
  case optTixs of
    Nothing -> hpcError showtix_plugin $ "could not read .tix file : "  ++ prog
    Just (Tix tixs) -> do
41
       tixs_mixs <- sequence
andy@galois.com's avatar
andy@galois.com committed
42
               [ do mix <- readMixWithFlags hpcflags1 (Right tix)
43
44
45
                    return $ (tix,mix)
               | tix <- tixs
	       , allowModule hpcflags1 (tixModuleName tix)
andy@galois.com's avatar
andy@galois.com committed
46
47
48
49
50
51
52
53
               ]
     
       let rjust n str = take (n - length str) (repeat ' ') ++ str 
       let ljust n str = str ++ take (n - length str) (repeat ' ') 
     
       sequence_ [ sequence_ [ putStrLn (rjust 5 (show ix) ++ " " ++
                                         rjust 10 (show count) ++ " " ++
                                         ljust 20  modName ++ " " ++ rjust 20 (show pos) ++ " " ++ show lab)
Ian Lynagh's avatar
Ian Lynagh committed
54
                             | (count,ix,(pos,lab)) <- zip3 tixs' [(0::Int)..] entries
andy@galois.com's avatar
andy@galois.com committed
55
                             ]
Ian Lynagh's avatar
Ian Lynagh committed
56
57
                 | ( TixModule modName _hash1 _ tixs'
                   , Mix _file _timestamp _hash2 _tab entries
58
                   ) <- tixs_mixs
andy@galois.com's avatar
andy@galois.com committed
59
60
61
                 ]
       
       return ()
62