Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
obsidiansystems
GHC
Commits
8d5bf65c
Commit
8d5bf65c
authored
Jul 05, 2000
by
keithw
Browse files
[project @ 2000-07-05 15:42:19 by keithw]
Add -t flag to specify title of report.
parent
dfedfb02
Changes
2
Hide whitespace changes
Inline
Side-by-side
glafp-utils/nofib-analyse/CmdLine.hs
View file @
8d5bf65c
...
...
@@ -25,12 +25,18 @@ tooquick_threshold
devs
=
OptDeviations
`
elem
`
flags
nodevs
=
OptNoDeviations
`
elem
`
flags
default_title
=
"NoFib Results"
reportTitle
=
case
[
t
|
OptTitle
t
<-
flags
]
of
[]
->
default_title
(
t
:
_
)
->
t
data
CLIFlags
=
OptASCIIOutput
|
OptHTMLOutput
|
OptIgnoreSmallTimes
Float
|
OptDeviations
|
OptNoDeviations
|
OptTitle
String
|
OptHelp
deriving
Eq
...
...
@@ -48,5 +54,7 @@ argInfo =
"Display deviations (default)"
,
Option
[
'n'
]
[
"nodeviations"
]
(
NoArg
OptNoDeviations
)
"Hide deviations"
,
Option
[
't'
]
[
"title"
]
(
ReqArg
OptTitle
"title"
)
"Specify report title"
]
glafp-utils/nofib-analyse/Main.hs
View file @
8d5bf65c
-----------------------------------------------------------------------------
-- $Id: Main.hs,v 1.
3
2000/0
3
/0
2
1
1:39:45
keithw Exp $
-- $Id: Main.hs,v 1.
4
2000/0
7
/0
5
1
5:42:19
keithw Exp $
-- (c) Simon Marlow 1997-1999
-----------------------------------------------------------------------------
...
...
@@ -113,8 +113,9 @@ time_ok t = t > tooquick_threshold
-- HTML page generation
htmlPage
results
args
=
header
[]
(
theTitle
[]
(
htmlStr
"NoFib Results"
))
=
header
[]
(
theTitle
[]
(
htmlStr
reportTitle
))
+++
bar
[]
+++
h1
[]
(
htmlStr
reportTitle
)
+++
gen_menu
+++
bar
[]
+++
body
[]
(
gen_tables
results
args
)
...
...
@@ -131,7 +132,7 @@ gen_tables results args =
+++
foldr1
(
+++
)
(
map
(
htmlGenModTable
results
args
)
per_module_result_tab
)
htmlGenProgTable
results
args
(
SpecP
title
anc
get_result
get_status
result_ok
)
=
sectHeading
title
anc
=
sectHeading
title
anc
+++
font
[
size
1
]
(
mkTable
(
htmlShowResults
results
args
get_result
get_status
result_ok
))
+++
bar
[]
...
...
@@ -279,7 +280,9 @@ hexDig i | i > 10 = chr (i-10 + ord 'a')
-- ASCII page generation
asciiPage
results
args
=
(
interleave
"
\n\n
"
(
map
(
asciiGenProgTable
results
args
)
per_prog_result_tab
)
(
str
reportTitle
.
str
"
\n\n
"
.
interleave
"
\n\n
"
(
map
(
asciiGenProgTable
results
args
)
per_prog_result_tab
)
.
str
"
\n
"
.
interleave
"
\n\n
"
(
map
(
asciiGenModTable
results
args
)
per_module_result_tab
)
)
"
\n
"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment