@@ -2,42 +2,41 @@
2{-# LANGUAGE ScopedTypeVariables #-}
2{-# LANGUAGE ScopedTypeVariables #-}
3module Main where
3module Main where
6import Graphics.Vty.Attributes
5import Graphics.Vty.Attributes
6+import Graphics.Vty.Image
7import Graphics.Vty.Inline
7import Graphics.Vty.Inline
8import Graphics.Vty.Picture
8import Graphics.Vty.Picture
9−import Graphics.Vty.Output
9+import Graphics.Vty.Terminal
10+import Graphics.Vty.DisplayRegion
11−import Control.Concurrent (threadDelay)
12−import Control.Exception
13import Control.Monad
12import Control.Monad
15import Data.List ( lookup )
14import Data.List ( lookup )
16import Data.Maybe ( isJust, fromJust )
15import Data.Maybe ( isJust, fromJust )
17import Data.Monoid
16import Data.Monoid
19import Data.Word
17import Data.Word
21−import Foreign.Marshal.Array
19+import Foreign.Marshal.Array
23import qualified System.Environment as Env
22import qualified System.Environment as Env
25import System.IO ( hFlush, hPutStr, hPutBuf, stdout )
24import System.IO ( hFlush, hPutStr, hPutBuf, stdout )
28− printIntro
27+ print_intro
30−outputFilePath = "test_results.list"
29+output_file_path = "test_results.list"
32−printIntro = do
31+print_intro = do
33− putStr $ [s|
32+ putStr $ [$heredoc|
34This is an interactive verification program for the terminal input and output
33This is an interactive verification program for the terminal input and output
35support of the VTY library. This will ask a series of questions about what you
34support of the VTY library. This will ask a series of questions about what you
36see on screen. The goal is to verify that VTY's output and input support
35see on screen. The goal is to verify that VTY's output and input support
37performs as expected with your terminal.
36performs as expected with your terminal.
39This program produces a file named
38This program produces a file named
40− |] ++ outputFilePath ++ [s|
39+ |] ++ output_file_path ++ [$heredoc|
41in the current directory that contains the results for each test assertion. This
40in the current directory that contains the results for each test assertion. This
42can be emailed to coreyoconnor@gmail.com and used by the VTY authors to improve
41can be emailed to coreyoconnor@gmail.com and used by the VTY authors to improve
43support for your terminal. No personal information is contained in the report.
42support for your terminal. No personal information is contained in the report.
@@ -63,43 +62,42 @@ All the tests assume the following about the terminal display:
63 a good range of the unicode characters. Each test involving unicode display
62 a good range of the unicode characters. Each test involving unicode display
64 describes the expected appearance of each glyph.
63 describes the expected appearance of each glyph.
66−Thanks for the help! :-D
65+Thanks for the help! :-D
67−To exit the test early enter "q" anytime at the following menu screen.
66+To exit the test early enter "q" anytime at the following menu screen. Even if
68−
67+you exit the test early please email the test_results.list file to
69−If any test fails then please post an issue to
68+coreyoconnor@gmail.com. The results file will still contain information useful
70− https://github.com/coreyoconnor/vty/issues
69+to debug terminal support.
71−with the test_results.list file pasted into the issue. A suitable summary is:
70+
72−"interactive terminal test failure".
74− waitForReturn
72+ wait_for_return
75− results <- doTestMenu 1
73+ results <- do_test_menu 1
76− envAttributes <- mapM ( \envName -> Control.Exception.catch ( Env.getEnv envName >>= return . (,) envName )
74+ env_attributes <- mapM ( \env_name -> catch ( Env.getEnv env_name >>= return . (,) env_name )
77− ( \ (_ :: SomeException) -> return (envName, "") )
75+ ( const $ return (env_name, "") )
79− [ "TERM", "COLORTERM", "LANG", "TERM_PROGRAM", "XTERM_VERSION" ]
77+ [ "TERM", "COLORTERM", "LANG", "TERM_PROGRAM", "XTERM_VERSION" ]
80− t <- standardIOConfig >>= outputForConfig
78+ t <- terminal_handle
81− let resultsTxt = show envAttributes ++ "\n"
79+ let results_txt = show env_attributes ++ "\n"
82− ++ terminalID t ++ "\n"
80+ ++ terminal_ID t ++ "\n"
83− ++ show results ++ "\n"
81+ ++ show results ++ "\n"
84− releaseTerminal t
82+ release_terminal t
85− writeFile outputFilePath resultsTxt
83+ writeFile output_file_path results_txt
87−waitForReturn = do
85+wait_for_return = do
88 putStr "\n(press return to continue)"
86 putStr "\n(press return to continue)"
89 hFlush stdout
87 hFlush stdout
92−testMenu :: [(String, Test)]
90+test_menu :: [(String, Test)]
93−testMenu = zip (map show [1..]) allTests
91+test_menu = zip (map show [1..]) all_tests
95−doTestMenu :: Int -> IO [(String, Bool)]
93+do_test_menu :: Int -> IO [(String, Bool)]
96−doTestMenu nextID
94+do_test_menu next_ID
97− | nextID > length allTests = do
95+ | next_ID > length all_tests = do
98− putStrLn $ "Done! Please email the " ++ outputFilePath ++ " file to coreyoconnor@gmail.com"
96+ putStrLn $ "Done! Please email the " ++ output_file_path ++ " file to coreyoconnor@gmail.com"
100 | otherwise = do
98 | otherwise = do
101− displayTestMenu
99+ display_test_menu
102− putStrLn $ "Press return to start with #" ++ show nextID ++ "."
100+ putStrLn $ "Press return to start with #" ++ show next_ID ++ "."
103 putStrLn "Enter a test number to perform only that test."
101 putStrLn "Enter a test number to perform only that test."
104 putStrLn "q (or control-C) to quit."
102 putStrLn "q (or control-C) to quit."
105 putStr "> "
103 putStr "> "
@@ -107,102 +105,91 @@ doTestMenu nextID
107 s <- getLine >>= return . filter (/= '\n')
105 s <- getLine >>= return . filter (/= '\n')
108 case s of
106 case s of
109 "q" -> return mempty
107 "q" -> return mempty
110− "" -> do
108+ "" -> do
111− r <- runTest $ show nextID
109+ r <- run_test $ show next_ID
112− rs <- doTestMenu ( nextID + 1 )
110+ rs <- do_test_menu ( next_ID + 1 )
113 return $ r : rs
111 return $ r : rs
114− i | isJust ( lookup i testMenu ) -> do
112+ i | isJust ( lookup i test_menu ) -> do
115− r <- runTest i
113+ r <- run_test i
116− rs <- doTestMenu ( read i + 1 )
114+ rs <- do_test_menu ( read i + 1 )
117 return $ r : rs
115 return $ r : rs
119− displayTestMenu
117+ display_test_menu
120− = mapM_ displayTestMenu' testMenu
118+ = mapM_ display_test_menu' test_menu
121− displayTestMenu' ( i, t )
119+ display_test_menu' ( i, t )
122− = putStrLn $ ( if i == show nextID
120+ = putStrLn $ ( if i == show next_ID
123− then "> "
121+ then "> "
125− ) ++ i ++ ". " ++ testName t
123+ ) ++ i ++ ". " ++ test_name t
127−runTest :: String -> IO (String, Bool)
125+run_test :: String -> IO (String, Bool)
128−runTest i = do
126+run_test i = do
129− let t = fromJust $ lookup i testMenu
127+ let t = fromJust $ lookup i test_menu
130− printSummary t
128+ print_summary t
131− waitForReturn
129+ wait_for_return
132− testAction t
130+ test_action t
133− r <- confirmResults t
131+ r <- confirm_results t
134− return (testID t, r)
132+ return (test_ID t, r)
136−defaultSuccessConfirmResults = do
134+default_success_confirm_results = do
137 putStr "\n"
135 putStr "\n"
138 putStr "[Y/n] "
136 putStr "[Y/n] "
139 hFlush stdout
137 hFlush stdout
140 r <- getLine
138 r <- getLine
141 case r of
139 case r of
142− "" -> return True
140+ "" -> return True
143 "y" -> return True
141 "y" -> return True
144 "Y" -> return True
142 "Y" -> return True
145 "n" -> return False
143 "n" -> return False
147data Test = Test
145data Test = Test
148− { testName :: String
146+ { test_name :: String
149− , testID :: String
147+ , test_ID :: String
150− , testAction :: IO ()
148+ , test_action :: IO ()
151− , printSummary :: IO ()
149+ , print_summary :: IO ()
152− , confirmResults :: IO Bool
150+ , confirm_results :: IO Bool
155−allTests
153+all_tests
156− = [ reserveOutputTest
154+ = [ reserve_output_test
157− , displayBoundsTest0
155+ , display_bounds_test_0
158− , displayBoundsTest1
156+ , display_bounds_test_1
159− , displayBoundsTest2
157+ , display_bounds_test_2
160− , displayBoundsTest3
158+ , display_bounds_test_3
161− , unicodeSingleWidth0
159+ , unicode_single_width_0
162− , unicodeSingleWidth1
160+ , unicode_single_width_1
163− , unicodeDoubleWidth0
161+ , unicode_double_width_0
164− , unicodeDoubleWidth1
162+ , unicode_double_width_1
165− , attributesTest0
163+ , attributes_test_0
166− , attributesTest1
164+ , attributes_test_1
167− , attributesTest2
165+ , attributes_test_2
168− , attributesTest3
166+ , attributes_test_3
169− , attributesTest4
167+ , attributes_test_4
170− , attributesTest5
168+ , attributes_test_5
171− , inlineTest0
169+ , inline_test_0
172− , inlineTest1
170+ , inline_test_1
173− , inlineTest2
171+ , inline_test_2
187−reserveOutputTest = Test
174+reserve_output_test = Test
188− { testName = "Initialize and reserve terminal output then restore previous state."
175+ { test_name = "Initialize and reserve terminal output then restore previous state."
189− , testID = "reserveOutputTest"
176+ , test_ID = "reserve_output_test"
190− , testAction = do
177+ , test_action = do
191− t <- standardIOConfig >>= outputForConfig
178+ t <- terminal_handle
192− reserveDisplay t
179+ reserve_display t
193 putStrLn "Line 1"
180 putStrLn "Line 1"
194 putStrLn "Line 2"
181 putStrLn "Line 2"
195 putStrLn "Line 3"
182 putStrLn "Line 3"
196 putStrLn "Line 4 (press return)"
183 putStrLn "Line 4 (press return)"
197 hFlush stdout
184 hFlush stdout
199− releaseDisplay t
186+ release_display t
200− releaseTerminal t
187+ release_terminal t
201 return ()
188 return ()
202− , printSummary = do
189+ , print_summary = do
203− putStr $ [s|
190+ putStr $ [$heredoc|
204Once return is pressed:
191Once return is pressed:
205− 0. The screen will be cleared.
192+ 0. The screen will be cleared.
206 1. Four lines of text should be visible.
193 1. Four lines of text should be visible.
207 1. The cursor should be visible and at the start of the fifth line.
194 1. The cursor should be visible and at the start of the fifth line.
@@ -210,143 +197,135 @@ After return is pressed for the second time this test then:
210 * The screen containing the test summary should be restored;
197 * The screen containing the test summary should be restored;
211 * The cursor is visible.
198 * The cursor is visible.
213− , confirmResults = do
200+ , confirm_results = do
214− putStr $ [s|
201+ putStr $ [$heredoc|
215Did the test output match the description?
202Did the test output match the description?
217− defaultSuccessConfirmResults
204+ default_success_confirm_results
220−displayBoundsTest0 = Test
207+display_bounds_test_0 = Test
221− { testName = "Verify display bounds are correct test 0: Using spaces."
208+ { test_name = "Verify display bounds are correct test 0: Using spaces."
222− , testID = "displayBoundsTest0"
209+ , test_ID = "display_bounds_test_0"
223− , testAction = do
210+ , test_action = do
224− t <- standardIOConfig >>= outputForConfig
211+ t <- terminal_handle
225− reserveDisplay t
212+ reserve_display t
226− (w,h) <- displayBounds t
213+ DisplayRegion w h <- display_bounds t
227− let row0 = replicate (fromEnum w) 'X' ++ "\n"
214+ let row_0 = replicate (fromEnum w) 'X' ++ "\n"
228− rowH = replicate (fromEnum w - 1) 'X'
215+ row_h = replicate (fromEnum w - 1) 'X'
229− rowN = "X" ++ replicate (fromEnum w - 2) ' ' ++ "X\n"
216+ row_n = "X" ++ replicate (fromEnum w - 2) ' ' ++ "X\n"
230− image = row0 ++ (concat $ replicate (fromEnum h - 2) rowN) ++ rowH
217+ image = row_0 ++ (concat $ replicate (fromEnum h - 2) row_n) ++ row_h
231 putStr image
218 putStr image
232 hFlush stdout
219 hFlush stdout
234− releaseDisplay t
221+ release_display t
235− releaseTerminal t
222+ release_terminal t
236 return ()
223 return ()
237− , printSummary = displayBoundsTestSummary True
224+ , print_summary = display_bounds_test_summary True
238− , confirmResults = genericOutputMatchConfirm
225+ , confirm_results = generic_output_match_confirm
241−displayBoundsTest1 = Test
228+display_bounds_test_1 = Test
242− { testName = "Verify display bounds are correct test 0: Using cursor movement."
229+ { test_name = "Verify display bounds are correct test 0: Using cursor movement."
243− , testID = "displayBoundsTest1"
230+ , test_ID = "display_bounds_test_1"
244− , testAction = do
231+ , test_action = do
245− t <- standardIOConfig >>= outputForConfig
232+ t <- terminal_handle
246− reserveDisplay t
233+ reserve_display t
247− (w,h) <- displayBounds t
234+ DisplayRegion w h <- display_bounds t
248− setCursorPos t 0 0
235+ set_cursor_pos t 0 0
249− let row0 = replicate (fromEnum w) 'X' ++ "\n"
236+ let row_0 = replicate (fromEnum w) 'X' ++ "\n"
250− putStr row0
237+ putStr row_0
251 forM_ [1 .. h - 2] $ \y -> do
238 forM_ [1 .. h - 2] $ \y -> do
252− setCursorPos t 0 y
239+ set_cursor_pos t 0 y
253 putStr "X"
240 putStr "X"
254− hFlush stdout
241+ set_cursor_pos t (w - 1) y
255− setCursorPos t (w - 1) y
256 putStr "X"
242 putStr "X"
257− hFlush stdout
243+ set_cursor_pos t 0 (h - 1)
258− setCursorPos t 0 (h - 1)
259− let rowH = replicate (fromEnum w - 1) 'X'
244+ let row_h = replicate (fromEnum w - 1) 'X'
260− putStr rowH
245+ putStr row_h
261 hFlush stdout
246 hFlush stdout
263− releaseDisplay t
248+ release_display t
264− releaseTerminal t
249+ release_terminal t
265 return ()
250 return ()
266− , printSummary = displayBoundsTestSummary True
251+ , print_summary = display_bounds_test_summary True
267− , confirmResults = genericOutputMatchConfirm
252+ , confirm_results = generic_output_match_confirm
270−displayBoundsTest2 = Test
255+display_bounds_test_2 = Test
271− { testName = "Verify display bounds are correct test 0: Using Image ops."
256+ { test_name = "Verify display bounds are correct test 0: Using Image ops."
272− , testID = "displayBoundsTest2"
257+ , test_ID = "display_bounds_test_2"
273− , testAction = do
258+ , test_action = do
274− t <- standardIOConfig >>= outputForConfig
259+ t <- terminal_handle
275− reserveDisplay t
260+ reserve_display t
276− bounds@(w,h) <- displayBounds t
261+ bounds@(DisplayRegion w h) <- display_bounds t
277− let firstRow = horizCat $ replicate (fromEnum w) (char defAttr 'X')
262+ let first_row = horiz_cat $ replicate (fromEnum w) (char def_attr 'X')
278− middleRows = vertCat $ replicate (fromEnum h - 2) middleRow
263+ middle_rows = vert_cat $ replicate (fromEnum h - 2) middle_row
279− middleRow = (char defAttr 'X') <|> backgroundFill (w - 2) 1 <|> (char defAttr 'X')
264+ middle_row = (char def_attr 'X') <|> background_fill (w - 2) 1 <|> (char def_attr 'X')
280− endRow = firstRow
265+ end_row = first_row
281− image = firstRow <-> middleRows <-> endRow
266+ image = first_row <-> middle_rows <-> end_row
282− pic = (picForImage image) { picCursor = Cursor (w - 1) (h - 1) }
267+ pic = (pic_for_image image) { pic_cursor = Cursor (w - 1) (h - 1) }
283− d <- displayContext t bounds
268+ d <- display_context t bounds
284− outputPicture d pic
269+ output_picture d pic
286− releaseDisplay t
271+ release_display t
287− releaseTerminal t
272+ release_terminal t
288 return ()
273 return ()
289− , printSummary = displayBoundsTestSummary True
274+ , print_summary = display_bounds_test_summary True
290− , confirmResults = genericOutputMatchConfirm
275+ , confirm_results = generic_output_match_confirm
293−displayBoundsTest3 = Test
278+display_bounds_test_3 = Test
294− { testName = "Verify display bounds are correct test 0: Hide cursor; Set cursor pos."
279+ { test_name = "Verify display bounds are correct test 0: Hide cursor; Set cursor pos."
295− , testID = "displayBoundsTest3"
280+ , test_ID = "display_bounds_test_3"
296− , testAction = do
281+ , test_action = do
297− t <- standardIOConfig >>= outputForConfig
282+ t <- terminal_handle
298− reserveDisplay t
283+ reserve_display t
299− (w,h) <- displayBounds t
284+ DisplayRegion w h <- display_bounds t
300− hideCursor t
285+ hide_cursor t
301− setCursorPos t 0 0
286+ set_cursor_pos t 0 0
302− let row0 = replicate (fromEnum w) 'X'
287+ let row_0 = replicate (fromEnum w) 'X'
303− putStrLn row0
288+ putStrLn row_0
304 forM_ [1 .. h - 2] $ \y -> do
289 forM_ [1 .. h - 2] $ \y -> do
305− setCursorPos t 0 y
290+ set_cursor_pos t 0 y
306 putStr "X"
291 putStr "X"
307− hFlush stdout
292+ set_cursor_pos t (w - 1) y
308− setCursorPos t (w - 1) y
309 putStr "X"
293 putStr "X"
310− hFlush stdout
294+ set_cursor_pos t 0 (h - 1)
311− setCursorPos t 0 (h - 1)
295+ let row_h = row_0
313− putStr rowH
296+ putStr row_h
314 hFlush stdout
297 hFlush stdout
316− showCursor t
299+ show_cursor t
317− releaseDisplay t
300+ release_display t
318− releaseTerminal t
301+ release_terminal t
319 return ()
302 return ()
320− , printSummary = displayBoundsTestSummary False
303+ , print_summary = display_bounds_test_summary False
321− , confirmResults = genericOutputMatchConfirm
304+ , confirm_results = generic_output_match_confirm
324−displayBoundsTestSummary hasCursor = do
307+display_bounds_test_summary has_cursor = do
325− putStr $ [s|
308+ putStr $ [$heredoc|
326Once return is pressed:
309Once return is pressed:
327 0. The screen will be cleared.
310 0. The screen will be cleared.
329− if hasCursor
312+ if has_cursor
330 then putStr " 1. The cursor will be visible."
313 then putStr " 1. The cursor will be visible."
331 else putStr " 1. The cursor will NOT be visible."
314 else putStr " 1. The cursor will NOT be visible."
332− putStr [s|
315+ putStr [$heredoc|
334 2. The border of the display will be outlined in Xs.
316 2. The border of the display will be outlined in Xs.
335 So if - and | represented the edge of the terminal window:
317 So if - and | represented the edge of the terminal window:
336 |-------------|
318 |-------------|
337 |XXXXXXXXXXXXX|
319 |XXXXXXXXXXXXX|
340− if hasCursor
322+ if has_cursor
341− then putStr $ [s|
323+ then putStr $ [$heredoc|
343 |XXXXXXXXXXXXC| |]
324 |XXXXXXXXXXXXC| |]
344− else putStr $ [s|
325+ else putStr $ [$heredoc|
346 |XXXXXXXXXXXXX| |]
326 |XXXXXXXXXXXXX| |]
348− putStr $ [s|
328+ putStr $ [$heredoc|
350 |-------------|
329 |-------------|
352 ( Where C is the final position of the cursor. There may be an X drawn
331 ( Where C is the final position of the cursor. There may be an X drawn
@@ -358,13 +337,13 @@ After return is pressed for the second time:
358 1. The cursor should be visible.
337 1. The cursor should be visible.
361−genericOutputMatchConfirm = do
340+generic_output_match_confirm = do
362− putStr $ [s|
341+ putStr $ [$heredoc|
363Did the test output match the description?
342Did the test output match the description?
365− defaultSuccessConfirmResults
344+ default_success_confirm_results
367−-- Explicitly define the bytes that encode each example text.
346+-- Explicitely definethe bytes that encode each example text.
368-- This avoids any issues with how the compiler represents string literals.
347-- This avoids any issues with how the compiler represents string literals.
370-- This document is UTF-8 encoded so the UTF-8 string is still included for
349-- This document is UTF-8 encoded so the UTF-8 string is still included for
@@ -373,24 +352,24 @@ Did the test output match the description?
373-- It's assumed the compiler will at least not barf on UTF-8 encoded text in
352-- It's assumed the compiler will at least not barf on UTF-8 encoded text in
374-- comments ;-)
353-- comments ;-)
376−-- txt0 = ↑↑↓↓←→←→BA
355+-- txt_0 = ↑↑↓↓←→←→BA
378−utf8Txt0 :: [[Word8]]
357+utf8_txt_0 :: [[Word8]]
379−utf8Txt0 = [ [ 0xe2 , 0x86 , 0x91 ]
358+utf8_txt_0 = [ [ 0xe2 , 0x86 , 0x91 ]
380− , [ 0xe2 , 0x86 , 0x91 ]
359+ , [ 0xe2 , 0x86 , 0x91 ]
381− , [ 0xe2 , 0x86 , 0x93 ]
360+ , [ 0xe2 , 0x86 , 0x93 ]
382− , [ 0xe2 , 0x86 , 0x93 ]
361+ , [ 0xe2 , 0x86 , 0x93 ]
383− , [ 0xe2 , 0x86 , 0x90 ]
362+ , [ 0xe2 , 0x86 , 0x90 ]
384− , [ 0xe2 , 0x86 , 0x92 ]
363+ , [ 0xe2 , 0x86 , 0x92 ]
385− , [ 0xe2 , 0x86 , 0x90 ]
364+ , [ 0xe2 , 0x86 , 0x90 ]
386− , [ 0xe2 , 0x86 , 0x92 ]
365+ , [ 0xe2 , 0x86 , 0x92 ]
387− , [ 0x42 ]
366+ , [ 0x42 ]
388− , [ 0x41 ]
367+ , [ 0x41 ]
391−iso10646Txt0 :: String
370+iso_10646_txt_0 :: String
392−iso10646Txt0 = map toEnum
371+iso_10646_txt_0 = map toEnum
@@ -402,46 +381,46 @@ iso10646Txt0 = map toEnum
405−unicodeSingleWidth0 = Test
384+unicode_single_width_0 = Test
406− { testName = "Verify terminal can display unicode single-width characters. (Direct UTF-8)"
385+ { test_name = "Verify terminal can display unicode single-width characters. (Direct UTF-8)"
407− , testID = "unicodeSingleWidth0"
386+ , test_ID = "unicode_single_width_0"
408− , testAction = do
387+ , test_action = do
409− t <- standardIOConfig >>= outputForConfig
388+ t <- terminal_handle
410− reserveDisplay t
389+ reserve_display t
411− hideCursor t
390+ hide_cursor t
412− withArrayLen (concat utf8Txt0) (flip $ hPutBuf stdout)
391+ withArrayLen (concat utf8_txt_0) (flip $ hPutBuf stdout)
413 hPutStr stdout "\n"
392 hPutStr stdout "\n"
414 hPutStr stdout "0123456789\n"
393 hPutStr stdout "0123456789\n"
415 hFlush stdout
394 hFlush stdout
417− releaseDisplay t
396+ release_display t
418− releaseTerminal t
397+ release_terminal t
419 return ()
398 return ()
420− , printSummary = unicodeSingleWidthSummary
399+ , print_summary = unicode_single_width_summary
421− , confirmResults = genericOutputMatchConfirm
400+ , confirm_results = generic_output_match_confirm
424−unicodeSingleWidth1 = Test
403+unicode_single_width_1 = Test
425− { testName = "Verify terminal can display unicode single-width characters. (Image ops)"
404+ { test_name = "Verify terminal can display unicode single-width characters. (Image ops)"
426− , testID = "unicodeSingleWidth1"
405+ , test_ID = "unicode_single_width_1"
427− , testAction = do
406+ , test_action = do
428− t <- standardIOConfig >>= outputForConfig
407+ t <- terminal_handle
429− reserveDisplay t
408+ reserve_display t
430− let pic = picForImage image
409+ let pic = pic_for_image image
431− image = line0 <-> line1
410+ image = line_0 <-> line_1
432− line0 = iso10646String defAttr iso10646Txt0
411+ line_0 = iso_10646_string def_attr iso_10646_txt_0
433− line1 = string defAttr "0123456789"
412+ line_1 = string def_attr "0123456789"
434− d <- displayBounds t >>= displayContext t
413+ d <- display_bounds t >>= display_context t
435− outputPicture d pic
414+ output_picture d pic
437− releaseDisplay t
416+ release_display t
438− releaseTerminal t
417+ release_terminal t
439 return ()
418 return ()
440− , printSummary = unicodeSingleWidthSummary
419+ , print_summary = unicode_single_width_summary
441− , confirmResults = genericOutputMatchConfirm
420+ , confirm_results = generic_output_match_confirm
444−unicodeSingleWidthSummary = putStr [s|
423+unicode_single_width_summary = putStr [$heredoc|
445Once return is pressed:
424Once return is pressed:
446 0. The screen will be cleared.
425 0. The screen will be cleared.
447 1. The cursor will be hidden.
426 1. The cursor will be hidden.
@@ -475,55 +454,55 @@ After return is pressed for the second time:
476-- The second example is a unicode string containing double-width glyphs
455-- The second example is a unicode string containing double-width glyphs
478−utf8Txt1 :: [[Word8]]
457+utf8_txt_1 :: [[Word8]]
479−utf8Txt1 = [ [0xe4,0xbd,0xa0]
458+utf8_txt_1 = [ [0xe4,0xbd,0xa0]
480− , [0xe5,0xa5,0xbd]
459+ , [0xe5,0xa5,0xbd]
481− , [0xe5,0x90,0x97]
460+ , [0xe5,0x90,0x97]
484−iso10646Txt1 :: String
463+iso_10646_txt_1 :: String
485−iso10646Txt1 = map toEnum [20320,22909,21527]
464+iso_10646_txt_1 = map toEnum [20320,22909,21527]
487−unicodeDoubleWidth0 = Test
466+unicode_double_width_0 = Test
488− { testName = "Verify terminal can display unicode double-width characters. (Direct UTF-8)"
467+ { test_name = "Verify terminal can display unicode double-width characters. (Direct UTF-8)"
489− , testID = "unicodeDoubleWidth0"
468+ , test_ID = "unicode_double_width_0"
490− , testAction = do
469+ , test_action = do
491− t <- standardIOConfig >>= outputForConfig
470+ t <- terminal_handle
492− reserveDisplay t
471+ reserve_display t
493− hideCursor t
472+ hide_cursor t
494− withArrayLen (concat utf8Txt1) (flip $ hPutBuf stdout)
473+ withArrayLen (concat utf8_txt_1) (flip $ hPutBuf stdout)
495 hPutStr stdout "\n"
474 hPutStr stdout "\n"
496 hPutStr stdout "012345\n"
475 hPutStr stdout "012345\n"
497 hFlush stdout
476 hFlush stdout
499− releaseDisplay t
478+ release_display t
500− releaseTerminal t
479+ release_terminal t
501 return ()
480 return ()
502− , printSummary = unicodeDoubleWidthSummary
481+ , print_summary = unicode_double_width_summary
503− , confirmResults = genericOutputMatchConfirm
482+ , confirm_results = generic_output_match_confirm
506−unicodeDoubleWidth1 = Test
485+unicode_double_width_1 = Test
507− { testName = "Verify terminal can display unicode double-width characters. (Image ops)"
486+ { test_name = "Verify terminal can display unicode double-width characters. (Image ops)"
508− , testID = "unicodeDoubleWidth1"
487+ , test_ID = "unicode_double_width_1"
509− , testAction = do
488+ , test_action = do
510− t <- standardIOConfig >>= outputForConfig
489+ t <- terminal_handle
511− reserveDisplay t
490+ reserve_display t
512− let pic = picForImage image
491+ let pic = pic_for_image image
513− image = line0 <-> line1
492+ image = line_0 <-> line_1
514− line0 = iso10646String defAttr iso10646Txt1
493+ line_0 = iso_10646_string def_attr iso_10646_txt_1
515− line1 = string defAttr "012345"
494+ line_1 = string def_attr "012345"
516− d <- displayBounds t >>= displayContext t
495+ d <- display_bounds t >>= display_context t
517− outputPicture d pic
496+ output_picture d pic
519− releaseDisplay t
498+ release_display t
520− releaseTerminal t
499+ release_terminal t
521 return ()
500 return ()
522− , printSummary = unicodeDoubleWidthSummary
501+ , print_summary = unicode_double_width_summary
523− , confirmResults = genericOutputMatchConfirm
502+ , confirm_results = generic_output_match_confirm
526−unicodeDoubleWidthSummary = putStr [s|
505+unicode_double_width_summary = putStr [$heredoc|
527Once return is pressed:
506Once return is pressed:
528 0. The screen will be cleared.
507 0. The screen will be cleared.
529 1. The cursor will be hidden.
508 1. The cursor will be hidden.
@@ -550,33 +529,33 @@ After return is pressed for the second time:
550 1. The cursor should be visible.
529 1. The cursor should be visible.
553−allColors = zip [ black, red, green, yellow, blue, magenta, cyan, white ]
532+all_colors = zip [ black, red, green, yellow, blue, magenta, cyan, white ]
554− [ "black", "red", "green", "yellow", "blue", "magenta", "cyan", "white" ]
533+ [ "black", "red", "green", "yellow", "blue", "magenta", "cyan", "white" ]
556−allBrightColors
535+all_bright_colors
557− = zip [ brightBlack, brightRed, brightGreen, brightYellow, brightBlue, brightMagenta, brightCyan, brightWhite ]
536+ = zip [ bright_black, bright_red, bright_green, bright_yellow, bright_blue, bright_magenta, bright_cyan, bright_white ]
558 [ "bright black", "bright red", "bright green", "bright yellow", "bright blue", "bright magenta", "bright cyan", "bright white" ]
537 [ "bright black", "bright red", "bright green", "bright yellow", "bright blue", "bright magenta", "bright cyan", "bright white" ]
560−attributesTest0 = Test
539+attributes_test_0 = Test
561− { testName = "Character attributes: foreground colors."
540+ { test_name = "Character attributes: foreground colors."
562− , testID = "attributesTest0"
541+ , test_ID = "attributes_test_0"
563− , testAction = do
542+ , test_action = do
564− t <- standardIOConfig >>= outputForConfig
543+ t <- terminal_handle
565− reserveDisplay t
544+ reserve_display t
566− let pic = picForImage image
545+ let pic = pic_for_image image
567− image = border <|> column0 <|> border <|> column1 <|> border
546+ image = border <|> column_0 <|> border <|> column_1 <|> border
568− column0 = vertCat $ map lineWithColor allColors
547+ column_0 = vert_cat $ map line_with_color all_colors
569− border = vertCat $ replicate (length allColors) $ string defAttr " | "
548+ border = vert_cat $ replicate (length all_colors) $ string def_attr " | "
570− column1 = vertCat $ map (string defAttr . snd) allColors
549+ column_1 = vert_cat $ map (string def_attr . snd) all_colors
571− lineWithColor (c, cName) = string (defAttr `withForeColor` c) cName
550+ line_with_color (c, c_name) = string (def_attr `with_fore_color` c) c_name
572− d <- displayBounds t >>= displayContext t
551+ d <- display_bounds t >>= display_context t
573− outputPicture d pic
552+ output_picture d pic
575− releaseDisplay t
554+ release_display t
576− releaseTerminal t
555+ release_terminal t
577 return ()
556 return ()
578− , printSummary = do
557+ , print_summary = do
579− putStr $ [s|
558+ putStr $ [$heredoc|
580Once return is pressed:
559Once return is pressed:
581 0. The screen will be cleared.
560 0. The screen will be cleared.
582 1. The cursor will be hidden.
561 1. The cursor will be hidden.
@@ -596,33 +575,33 @@ After return is pressed for the second time:
596 0. The screen containing the test summary should be restored.
575 0. The screen containing the test summary should be restored.
597 1. The cursor should be visible.
576 1. The cursor should be visible.
599− , confirmResults = do
578+ , confirm_results = do
600− putStr $ [s|
579+ putStr $ [$heredoc|
601Did the test output match the description?
580Did the test output match the description?
603− defaultSuccessConfirmResults
582+ default_success_confirm_results
606−attributesTest1 = Test
585+attributes_test_1 = Test
607− { testName = "Character attributes: background colors."
586+ { test_name = "Character attributes: background colors."
608− , testID = "attributesTest1"
587+ , test_ID = "attributes_test_1"
609− , testAction = do
588+ , test_action = do
610− t <- standardIOConfig >>= outputForConfig
589+ t <- terminal_handle
611− reserveDisplay t
590+ reserve_display t
612− let pic = picForImage image
591+ let pic = pic_for_image image
613− image = border <|> column0 <|> border <|> column1 <|> border
592+ image = border <|> column_0 <|> border <|> column_1 <|> border
614− column0 = vertCat $ map lineWithColor allColors
593+ column_0 = vert_cat $ map line_with_color all_colors
615− border = vertCat $ replicate (length allColors) $ string defAttr " | "
594+ border = vert_cat $ replicate (length all_colors) $ string def_attr " | "
616− column1 = vertCat $ map (string defAttr . snd) allColors
595+ column_1 = vert_cat $ map (string def_attr . snd) all_colors
617− lineWithColor (c, cName) = string (defAttr `withBackColor` c) cName
596+ line_with_color (c, c_name) = string (def_attr `with_back_color` c) c_name
618− d <- displayBounds t >>= displayContext t
597+ d <- display_bounds t >>= display_context t
619− outputPicture d pic
598+ output_picture d pic
621− releaseDisplay t
600+ release_display t
622− releaseTerminal t
601+ release_terminal t
623 return ()
602 return ()
624− , printSummary = do
603+ , print_summary = do
625− putStr $ [s|
604+ putStr $ [$heredoc|
626Once return is pressed:
605Once return is pressed:
627 0. The screen will be cleared.
606 0. The screen will be cleared.
628 1. The cursor will be hidden.
607 1. The cursor will be hidden.
@@ -651,57 +630,57 @@ After return is pressed for the second time:
651 0. The screen containing the test summary should be restored.
630 0. The screen containing the test summary should be restored.
652 1. The cursor should be visible.
631 1. The cursor should be visible.
654− , confirmResults = do
633+ , confirm_results = do
655− putStr $ [s|
634+ putStr $ [$heredoc|
656Did the test output match the description?
635Did the test output match the description?
658− defaultSuccessConfirmResults
637+ default_success_confirm_results
661−attributesTest2 = Test
640+attributes_test_2 = Test
662− { testName = "Character attributes: Vivid foreground colors."
641+ { test_name = "Character attributes: Vivid foreground colors."
663− , testID = "attributesTest2"
642+ , test_ID = "attributes_test_2"
664− , testAction = do
643+ , test_action = do
665− t <- standardIOConfig >>= outputForConfig
644+ t <- terminal_handle
666− reserveDisplay t
645+ reserve_display t
667− let pic = picForImage image
646+ let pic = pic_for_image image
668− image = horizCat [border, column0, border, column1, border, column2, border]
647+ image = horiz_cat [border, column_0, border, column_1, border, column_2, border]
669− border = vertCat $ replicate (length allColors) $ string defAttr " | "
648+ border = vert_cat $ replicate (length all_colors) $ string def_attr " | "
670− column0 = vertCat $ map lineWithColor0 allColors
649+ column_0 = vert_cat $ map line_with_color_0 all_colors
671− column1 = vertCat $ map lineWithColor1 allBrightColors
650+ column_1 = vert_cat $ map line_with_color_1 all_bright_colors
672− column2 = vertCat $ map (string defAttr . snd) allColors
651+ column_2 = vert_cat $ map (string def_attr . snd) all_colors
673− lineWithColor0 (c, cName) = string (defAttr `withForeColor` c) cName
652+ line_with_color_0 (c, c_name) = string (def_attr `with_fore_color` c) c_name
674− lineWithColor1 (c, cName) = string (defAttr `withForeColor` c) cName
653+ line_with_color_1 (c, c_name) = string (def_attr `with_fore_color` c) c_name
675− d <- displayBounds t >>= displayContext t
654+ d <- display_bounds t >>= display_context t
676− outputPicture d pic
655+ output_picture d pic
678− releaseDisplay t
657+ release_display t
679− releaseTerminal t
658+ release_terminal t
680 return ()
659 return ()
681− , printSummary = do
660+ , print_summary = do
682− putStr $ [s|
661+ putStr $ [$heredoc|
683Once return is pressed:
662Once return is pressed:
684 0. The screen will be cleared.
663 0. The screen will be cleared.
685 1. The cursor will be hidden.
664 1. The cursor will be hidden.
686 2. 9 lines of text in three columns will be drawn:
665 2. 9 lines of text in three columns will be drawn:
687 a. The first column will be a name of a standard color (for an 8 color
666 a. The first column will be a name of a standard color (for an 8 color
688− terminal) rendered with that color as the foreground color.
667+ terminal) rendered with that color as the foreground color.
689 b. The next column will be also be the name of a standard color rendered
668 b. The next column will be also be the name of a standard color rendered
690 with that color as the foreground color but the shade used should be
669 with that color as the foreground color but the shade used should be
691− more vivid than the shade used in the first column.
670+ more vivid than the shade used in the first column.
692 c. The final column will be the name of a color rendered with the
671 c. The final column will be the name of a color rendered with the
693 default attributes.
672 default attributes.
695For instance, one line will be the word "magenta" and that word should be
674For instance, one line will be the word "magenta" and that word should be
696−rendered in the magenta color.
675+rendered in the magenta color.
698I'm not actually sure exactly what "vivid" means in this context. For xterm the
677I'm not actually sure exactly what "vivid" means in this context. For xterm the
699−vivid colors are brighter.
678+vivid colors are brighter.
702 * The first column: The foreground color matches the named color.
681 * The first column: The foreground color matches the named color.
703 * The second column: The foreground color matches the named color but is
682 * The second column: The foreground color matches the named color but is
704− more vivid than the color used in the first column.
683+ more vivid than the color used in the first column.
705 * The third column: All text is rendered with the default attributes.
684 * The third column: All text is rendered with the default attributes.
706 * The vertical bars used in each line to mark the border of a column are
685 * The vertical bars used in each line to mark the border of a column are
707 lined up.
686 lined up.
@@ -710,58 +689,58 @@ After return is pressed for the second time:
710 0. The screen containing the test summary should be restored.
689 0. The screen containing the test summary should be restored.
711 1. The cursor should be visible.
690 1. The cursor should be visible.
713− , confirmResults = do
692+ , confirm_results = do
714− putStr $ [s|
693+ putStr $ [$heredoc|
715Did the test output match the description?
694Did the test output match the description?
717− defaultSuccessConfirmResults
696+ default_success_confirm_results
720−attributesTest3 = Test
699+attributes_test_3 = Test
721− { testName = "Character attributes: Vivid background colors."
700+ { test_name = "Character attributes: Vivid background colors."
722− , testID = "attributesTest3"
701+ , test_ID = "attributes_test_3"
723− , testAction = do
702+ , test_action = do
724− t <- standardIOConfig >>= outputForConfig
703+ t <- terminal_handle
725− reserveDisplay t
704+ reserve_display t
726− let pic = picForImage image
705+ let pic = pic_for_image image
727− image = horizCat [border, column0, border, column1, border, column2, border]
706+ image = horiz_cat [border, column_0, border, column_1, border, column_2, border]
728− border = vertCat $ replicate (length allColors) $ string defAttr " | "
707+ border = vert_cat $ replicate (length all_colors) $ string def_attr " | "
729− column0 = vertCat $ map lineWithColor0 allColors
708+ column_0 = vert_cat $ map line_with_color_0 all_colors
730− column1 = vertCat $ map lineWithColor1 allBrightColors
709+ column_1 = vert_cat $ map line_with_color_1 all_bright_colors
731− column2 = vertCat $ map (string defAttr . snd) allColors
710+ column_2 = vert_cat $ map (string def_attr . snd) all_colors
732− lineWithColor0 (c, cName) = string (defAttr `withBackColor` c) cName
711+ line_with_color_0 (c, c_name) = string (def_attr `with_back_color` c) c_name
733− lineWithColor1 (c, cName) = string (defAttr `withBackColor` c) cName
712+ line_with_color_1 (c, c_name) = string (def_attr `with_back_color` c) c_name
734− d <- displayBounds t >>= displayContext t
713+ d <- display_bounds t >>= display_context t
735− outputPicture d pic
714+ output_picture d pic
737− releaseDisplay t
716+ release_display t
738− releaseTerminal t
717+ release_terminal t
739 return ()
718 return ()
740− , printSummary = do
719+ , print_summary = do
741− putStr $ [s|
720+ putStr $ [$heredoc|
742Once return is pressed:
721Once return is pressed:
743 0. The screen will be cleared.
722 0. The screen will be cleared.
744 1. The cursor will be hidden.
723 1. The cursor will be hidden.
745 2. 9 lines of text in three columns will be drawn:
724 2. 9 lines of text in three columns will be drawn:
746 a. The first column will contain be a name of a standard color for an 8
725 a. The first column will contain be a name of a standard color for an 8
747 color terminal rendered with the default foreground color with a
726 color terminal rendered with the default foreground color with a
748− background the named color.
727+ background the named color.
749 b. The first column will contain be a name of a standard color for an 8
728 b. The first column will contain be a name of a standard color for an 8
750 color terminal rendered with the default foreground color with the
729 color terminal rendered with the default foreground color with the
751− background a vivid version of the named color.
730+ background a vivid version of the named color.
752 c. The third column will be the name of a standard color rendered with
731 c. The third column will be the name of a standard color rendered with
753 the default attributes.
732 the default attributes.
755For instance, one line will contain be the word "magenta" and the word should
734For instance, one line will contain be the word "magenta" and the word should
756−be rendered in the default foreground color over a magenta background.
735+be rendered in the default foreground color over a magenta background.
758I'm not actually sure exactly what "vivid" means in this context. For xterm the
737I'm not actually sure exactly what "vivid" means in this context. For xterm the
759vivid colors are brighter.
738vivid colors are brighter.
762 * The first column: The background color matches the named color.
741 * The first column: The background color matches the named color.
763 * The second column: The background color matches the named color and is
742 * The second column: The background color matches the named color and is
764− more vivid than the color used in the first column.
743+ more vivid than the color used in the first column.
765 * The third column column: All text is rendered with the default attributes.
744 * The third column column: All text is rendered with the default attributes.
766 * The vertical bars used in each line to mark the border of a column are
745 * The vertical bars used in each line to mark the border of a column are
767 lined up.
746 lined up.
@@ -777,51 +756,51 @@ After return is pressed for the second time:
777 0. The screen containing the test summary should be restored.
756 0. The screen containing the test summary should be restored.
778 1. The cursor should be visible.
757 1. The cursor should be visible.
780− , confirmResults = do
759+ , confirm_results = do
781− putStr $ [s|
760+ putStr $ [$heredoc|
782Did the test output match the description?
761Did the test output match the description?
784− defaultSuccessConfirmResults
763+ default_success_confirm_results
787−attrCombos =
766+attr_combos =
788 [ ( "default", id )
767 [ ( "default", id )
789− , ( "bold", flip withStyle bold )
768+ , ( "bold", flip with_style bold )
790− , ( "blink", flip withStyle blink )
769+ , ( "blink", flip with_style blink )
791− , ( "underline", flip withStyle underline )
770+ , ( "underline", flip with_style underline )
792− , ( "bold + blink", flip withStyle (bold + blink) )
771+ , ( "bold + blink", flip with_style (bold + blink) )
793− , ( "bold + underline", flip withStyle (bold + underline) )
772+ , ( "bold + underline", flip with_style (bold + underline) )
794− , ( "underline + blink", flip withStyle (underline + blink) )
773+ , ( "underline + blink", flip with_style (underline + blink) )
795− , ( "bold + blink + underline", flip withStyle (bold + blink + underline) )
774+ , ( "bold + blink + underline", flip with_style (bold + blink + underline) )
798−attributesTest4 = Test
777+attributes_test_4 = Test
799− { testName = "Character attributes: Bold; Blink; Underline."
778+ { test_name = "Character attributes: Bold; Blink; Underline."
800− , testID = "attributesTest4"
779+ , test_ID = "attributes_test_4"
801− , testAction = do
780+ , test_action = do
802− t <- standardIOConfig >>= outputForConfig
781+ t <- terminal_handle
803− reserveDisplay t
782+ reserve_display t
804− let pic = picForImage image
783+ let pic = pic_for_image image
805− image = horizCat [border, column0, border, column1, border]
784+ image = horiz_cat [border, column_0, border, column_1, border]
806− border = vertCat $ replicate (length attrCombos) $ string defAttr " | "
785+ border = vert_cat $ replicate (length attr_combos) $ string def_attr " | "
807− column0 = vertCat $ map lineWithAttrs attrCombos
786+ column_0 = vert_cat $ map line_with_attrs attr_combos
808− column1 = vertCat $ map (string defAttr . fst) attrCombos
787+ column_1 = vert_cat $ map (string def_attr . fst) attr_combos
809− lineWithAttrs (desc, attrF) = string (attrF defAttr) desc
788+ line_with_attrs (desc, attr_f) = string (attr_f def_attr) desc
810− d <- displayBounds t >>= displayContext t
789+ d <- display_bounds t >>= display_context t
811− outputPicture d pic
790+ output_picture d pic
813− releaseDisplay t
792+ release_display t
814− releaseTerminal t
793+ release_terminal t
815 return ()
794 return ()
816− , printSummary = do
795+ , print_summary = do
817− putStr $ [s|
796+ putStr $ [$heredoc|
818Once return is pressed:
797Once return is pressed:
819 0. The screen will be cleared.
798 0. The screen will be cleared.
820 1. The cursor will be hidden.
799 1. The cursor will be hidden.
821− 2. 8 rows of text in two columns.
800+ 2. 8 rows of text in two columns.
822 The rows will contain the following text:
801 The rows will contain the following text:
826 underline
805 underline
827 bold + blink
806 bold + blink
@@ -830,8 +809,8 @@ Once return is pressed:
830 bold + blink + underline
809 bold + blink + underline
831 The first column will be rendered with the described attributes. The second
810 The first column will be rendered with the described attributes. The second
832 column will be rendered with the default attributes.
811 column will be rendered with the default attributes.
835 * The vertical bars used in each line to mark the border of a column are
814 * The vertical bars used in each line to mark the border of a column are
836 lined up.
815 lined up.
837 * The text in the first column is rendered as described.
816 * The text in the first column is rendered as described.
@@ -840,353 +819,104 @@ After return is pressed for the second time:
840 0. The screen containing the test summary should be restored.
819 0. The screen containing the test summary should be restored.
841 1. The cursor should be visible.
820 1. The cursor should be visible.
843− , confirmResults = do
822+ , confirm_results = do
844− putStr $ [s|
823+ putStr $ [$heredoc|
845Did the test output match the description?
824Did the test output match the description?
847− defaultSuccessConfirmResults
826+ default_success_confirm_results
850−attributesTest5 = Test
829+attributes_test_5 = Test
851− { testName = "Character attributes: 240 color palette"
830+ { test_name = "Character attributes: 240 color palette"
852− , testID = "attributesTest5"
831+ , test_ID = "attributes_test_5"
853− , testAction = do
832+ , test_action = do
854− t <- standardIOConfig >>= outputForConfig
833+ t <- terminal_handle
855− reserveDisplay t
834+ reserve_display t
856− let pic = picForImage image
835+ let pic = pic_for_image image
857− image = vertCat $ map horizCat $ splitColorImages colorImages
836+ image = vert_cat $ map horiz_cat $ split_color_images color_images
858− colorImages = map (\i -> string (currentAttr `withBackColor` Color240 i) " ") [0..239]
837+ color_images = map (\i -> string (current_attr `with_back_color` Color240 i) " ") [0..239]
859− splitColorImages [] = []
838+ split_color_images [] = []
860− splitColorImages is = (take 20 is ++ [string defAttr " "]) : (splitColorImages (drop 20 is))
839+ split_color_images is = (take 20 is ++ [string def_attr " "]) : (split_color_images (drop 20 is))
861− d <- displayBounds t >>= displayContext t
840+ d <- display_bounds t >>= display_context t
862− outputPicture d pic
841+ output_picture d pic
864− releaseDisplay t
843+ release_display t
865− releaseTerminal t
844+ release_terminal t
866 return ()
845 return ()
867− , printSummary = do
846+ , print_summary = do
868− putStr $ [s|
847+ putStr $ [$heredoc|
869Once return is pressed:
848Once return is pressed:
870 0. The screen will be cleared.
849 0. The screen will be cleared.
871 1. The cursor will be hidden.
850 1. The cursor will be hidden.
872 2. A 20 character wide and 12 row high block of color squares. This should look like a palette
851 2. A 20 character wide and 12 row high block of color squares. This should look like a palette
873 of some sort. I'm not exactly sure if all color terminals use the same palette. I doubt it...
852 of some sort. I'm not exactly sure if all color terminals use the same palette. I doubt it...
877After return is pressed for the second time:
856After return is pressed for the second time:
878 0. The screen containing the test summary should be restored.
857 0. The screen containing the test summary should be restored.
879 1. The cursor should be visible.
858 1. The cursor should be visible.
881− , confirmResults = do
860+ , confirm_results = do
882− putStr $ [s|
861+ putStr $ [$heredoc|
883Did the test output match the description?
862Did the test output match the description?
885− defaultSuccessConfirmResults
864+ default_success_confirm_results
888−inlineTest0 = Test
867+inline_test_0 = Test
889− { testName = "Verify styled output can be performed without clearing the screen."
868+ { test_name = "Verify styled output can be performed without clearing the screen."
890− , testID = "inlineTest0"
869+ , test_ID = "inline_test_0"
891− , testAction = do
870+ , test_action = do
871+ t <- terminal_handle
892 putStrLn "line 1."
872 putStrLn "line 1."
893− putAttrChange_ $ backColor red >> applyStyle underline
873+ put_attr_change t $ back_color red >> apply_style underline
894 putStrLn "line 2."
874 putStrLn "line 2."
895− putAttrChange_ $ defaultAll
875+ put_attr_change t $ default_all
896 putStrLn "line 3."
876 putStrLn "line 3."
897− , printSummary = putStr $ [s|
877+ release_terminal t
879+ , print_summary = putStr $ [$heredoc|
898lines are in order.
880lines are in order.
899The second line "line 2" should have a red background and the text underline.
881The second line "line 2" should have a red background and the text underline.
900The third line "line 3" should be drawn in the same style as the first line.
882The third line "line 3" should be drawn in the same style as the first line.
903− , confirmResults = genericOutputMatchConfirm
885+ , confirm_results = generic_output_match_confirm
906−inlineTest1 = Test
888+inline_test_1 = Test
907− { testName = "Verify styled output can be performed without clearing the screen."
889+ { test_name = "Verify styled output can be performed without clearing the screen."
908− , testID = "inlineTest1"
890+ , test_ID = "inline_test_1"
909− , testAction = do
891+ , test_action = do
892+ t <- terminal_handle
910 putStr "Not styled. "
893 putStr "Not styled. "
911− putAttrChange_ $ backColor red >> applyStyle underline
894+ put_attr_change t $ back_color red >> apply_style underline
912 putStr " Styled! "
895 putStr " Styled! "
913− putAttrChange_ $ defaultAll
896+ put_attr_change t $ default_all
914 putStrLn "Not styled."
897 putStrLn "Not styled."
915− , printSummary = putStr $ [s|
898+ release_terminal t
918− , confirmResults = genericOutputMatchConfirm
922− { testName = "Verify styled output can be performed without clearing the screen."
923− , testID = "inlineTest1"
925− putStr "Not styled. "
926− putAttrChange_ $ backColor red >> applyStyle underline
928− putAttrChange_ $ defaultAll
929− putStr "Not styled.\n"
930− , printSummary = putStr $ [s|
932− , confirmResults = genericOutputMatchConfirm
935−cursorHideTest0 :: Test
936−cursorHideTest0 = Test
937− { testName = "Verify the cursor is hid and re-shown. issue #7"
938− , testID = "cursorHideTest0"
940− vty <- mkVty defaultConfig
941− showCursor $ outputIface vty
942− setCursorPos (outputIface vty) 5 5
944− hideCursor $ outputIface vty
947 return ()
899 return ()
948− , printSummary = putStr $ [s|
900+ , print_summary = putStr $ [$heredoc|
949− 1. verify the cursor is displayed.
951− 3. verify the cursor is hid.
953− 5. the display should return to the state before the test.
955− , confirmResults = genericOutputMatchConfirm
958−outputImageAndWait :: Image -> IO ()
959−outputImageAndWait image = do
960− let pic = picForImage image
961− outputPicAndWait pic
963−outputPicAndWait :: Picture -> IO ()
964−outputPicAndWait pic = do
965− t <- standardIOConfig >>= outputForConfig
967− d <- displayBounds t >>= displayContext t
974−vertCropTest0 :: Test
976− { testName = "Verify bottom cropping works as expected with single column chars"
977− , testID = "cropTest0"
979− let block0 = cropBottom 2 $ vertCat $ map (string defAttr) lorumIpsum
980− block1 = vertCat $ map (string defAttr) $ take 2 lorumIpsum
981− image = block0 <-> backgroundFill 10 2 <-> block1
982− outputImageAndWait image
983− , printSummary = putStr $ [s|
984− 1. Verify the two text blocks are identical.
986− 3. the display should return to the state before the test.
988− , confirmResults = genericOutputMatchConfirm
991−vertCropTest1 :: Test
993− { testName = "Verify bottom cropping works as expected with double column chars"
994− , testID = "cropTest0"
996− let block0 = cropBottom 2 $ vertCat $ map (string defAttr) lorumIpsumChinese
997− block1 = vertCat $ map (string defAttr) $ take 2 lorumIpsumChinese
998− image = block0 <-> backgroundFill 10 2 <-> block1
999− outputImageAndWait image
1000− , printSummary = putStr $ [s|
1001− 1. Verify the two text blocks are identical.
1003− 3. the display should return to the state before the test.
1005− , confirmResults = genericOutputMatchConfirm
1008−vertCropTest2 :: Test
1009−vertCropTest2 = Test
1010− { testName = "Verify top cropping works as expected with single column chars"
1011− , testID = "cropTest2"
1013− let block0 = cropTop 2 $ vertCat $ map (string defAttr) lorumIpsum
1014− block1 = vertCat $ map (string defAttr) $ drop (length lorumIpsum - 2) lorumIpsum
1015− image = block0 <-> backgroundFill 10 2 <-> block1
1016− outputImageAndWait image
1017− , printSummary = putStr $ [s|
1018− 1. Verify the two text blocks are identical.
1020− 3. the display should return to the state before the test.
1022− , confirmResults = genericOutputMatchConfirm
1025−vertCropTest3 :: Test
1026−vertCropTest3 = Test
1027− { testName = "Verify top cropping works as expected with double column chars"
1028− , testID = "cropTest0"
1030− let block0 = cropTop 2 $ vertCat $ map (string defAttr) lorumIpsumChinese
1031− block1 = vertCat $ map (string defAttr) $ drop (length lorumIpsumChinese - 2 ) lorumIpsumChinese
1032− image = block0 <-> backgroundFill 10 2 <-> block1
1033− outputImageAndWait image
1034− , printSummary = putStr $ [s|
1035− 1. Verify the two text blocks are identical.
1037− 3. the display should return to the state before the test.
1039− , confirmResults = genericOutputMatchConfirm
1042−horizCropTest0 :: Test
1043−horizCropTest0 = Test
1044− { testName = "Verify right cropping works as expected with single column chars"
1045− , testID = "cropTest0"
1047− let baseImage = vertCat $ map (string defAttr) lorumIpsum
1048− croppedImage = cropRight (imageWidth baseImage `div` 2) baseImage
1049− image = baseImage <-> backgroundFill 10 2 <-> croppedImage
1050− outputImageAndWait image
1051− , printSummary = putStr $ [s|
1052− 1. Verify the bottom text block is about half the width of the top text block.
1054− 3. the display should return to the state before the test.
1056− , confirmResults = genericOutputMatchConfirm
1059−horizCropTest1 :: Test
1060−horizCropTest1 = Test
1061− { testName = "Verify right cropping works as expected with double column chars"
1062− , testID = "cropTest0"
1064− let baseImage = vertCat $ map (string defAttr) lorumIpsumChinese
1065− croppedImage = cropRight (imageWidth baseImage `div` 2) baseImage
1066− image = baseImage <-> backgroundFill 10 2 <-> croppedImage
1067− outputImageAndWait image
1068− , printSummary = putStr $ [s|
1069− 1. Verify the bottom text block is the left half of the top block. Ellipses on the right edge are OK.
1071− 3. the display should return to the state before the test.
1073− , confirmResults = genericOutputMatchConfirm
1076−horizCropTest2 :: Test
903+ , confirm_results = generic_output_match_confirm
1077−horizCropTest2 = Test
1078− { testName = "Verify left cropping works as expected with single column chars"
1079− , testID = "cropTest0"
1081− let baseImage = vertCat $ map (string defAttr) lorumIpsum
1082− croppedImage = cropLeft (imageWidth baseImage `div` 2) baseImage
1083− image = baseImage <-> backgroundFill 10 2 <-> croppedImage
1084− outputImageAndWait image
1085− , printSummary = putStr $ [s|
1086− 1. Verify the bottom text block is the right half of the top text block.
1088− 3. the display should return to the state before the test.
1090− , confirmResults = genericOutputMatchConfirm
1093−horizCropTest3 :: Test
906+inline_test_2 = Test
1094−horizCropTest3 = Test
907+ { test_name = "Verify styled output can be performed without clearing the screen."
1095− { testName = "Verify right cropping works as expected with double column chars"
908+ , test_ID = "inline_test_1"
1096− , testID = "cropTest0"
909+ , test_action = do
1097− , testAction = do
910+ t <- terminal_handle
1098− let baseImage = vertCat $ map (string defAttr) lorumIpsumChinese
911+ put_string t "Not styled. "
1099− croppedImage = cropLeft (imageWidth baseImage `div` 2) baseImage
912+ put_attr_change t $ back_color red >> apply_style underline
1100− image = baseImage <-> backgroundFill 10 2 <-> croppedImage
913+ put_string t " Styled! "
1101− outputImageAndWait image
914+ put_attr_change t $ default_all
1102− , printSummary = putStr $ [s|
915+ put_string t "Not styled.\n"
1103− 1. Verify the bottom text block is the right half of the top block. Ellipses on the left edge are OK.
916+ release_terminal t
1104− 2. press enter.
917+ return ()
1105− 3. the display should return to the state before the test.
918+ , print_summary = putStr $ [$heredoc|
1107− , confirmResults = genericOutputMatchConfirm
1112− { testName = "verify layer 0"
1113− , testID = "layer0"
1115− let upperImage = vertCat $ map (string defAttr) lorumIpsumChinese
1116− lowerImage = vertCat $ map (string defAttr) lorumIpsum
1117− p = picForLayers [upperImage, lowerImage]
1119− , printSummary = putStr $ [s|
1120− 1. Verify the text block appears to be Chinese text placed on top Latin text.
1122− 3. the display should return to the state before the test.
1124− , confirmResults = genericOutputMatchConfirm
1127−layer1 :: Test
921+ , confirm_results = generic_output_match_confirm
1129− { testName = "verify layer 1"
1130− , testID = "layer1"
1132− let upperImage = vertCat $ map (string defAttr) lorumIpsumChinese
1133− block = resize 10 10 upperImage
1134− layer0 = vertCat $ map (string defAttr) lorumIpsum
1135− layer1 = charFill (defAttr `withBackColor` blue) '#' 1000 1000
1136− cheesyAnim0 block [layer0, layer1]
1137− , printSummary = putStr $ [s|
1138− 1. Verify the text block appears to be Chinese text moving on top a Latin text.
1139− Which is all on a background of '#' characters over blue.
1141− 3. the display should return to the state before the test.
1143− , confirmResults = genericOutputMatchConfirm
1146−cheesyAnim0 :: Image -> [Image] -> IO ()
1147−cheesyAnim0 i background = do
1148− t <- standardIOConfig >>= outputForConfig
1150− bounds <- displayBounds t
1151− d <- displayContext t bounds
1152− forM_ [0..2] $ \t -> do
1153− forM_ [0..100] $ \t -> do
1154− let i_offset = translate (t `mod` fst bounds)
1155− (t `div` 2 `mod` snd bounds)
1157− let pic = picForLayers $ i_offset : background
1158− outputPicture d pic
1160− forM_ [0..100] $ \t -> do
1161− let i_offset = translate (t * (-1) `mod` fst bounds)
1162− (t * (-1) `div` 2 `mod` snd bounds)
1164− let pic = picForLayers $ i_offset : background
1165− outputPicture d pic
1171−lorumIpsum :: [String]
1172−lorumIpsum = lines [s|
1173−Sed ut perspiciatis unde omnis iste natus error sit voluptatem accusantium doloremque laudantium,
1174−totam rem aperiam, eaque ipsa quae ab illo inventore veritatis et quasi architecto beatae vitae
1175−dicta sunt explicabo. Nemo enim ipsam voluptatem quia voluptas sit aspernatur aut odit aut fugit,
1176−sed quia consequuntur magni dolores eos qui ratione voluptatem sequi nesciunt. Neque porro quisquam
1177−est, qui dolorem ipsum quia dolor sit amet, consectetur, adipisci velit, sed quia non numquam eius
1178−modi tempora incidunt ut labore et dolore magnam aliquam quaerat voluptatem. Ut enim ad minima
1179−veniam, quis nostrum exercitationem ullam corporis suscipit laboriosam, nisi ut aliquid ex ea
1180−commodi consequatur? Quis autem vel eum iure reprehenderit qui in ea voluptate velit esse quam nihil
1181−molestiae consequatur, vel illum qui dolorem eum fugiat quo voluptas nulla pariatur?
1184−lorumIpsumChinese :: [String]
1185−lorumIpsumChinese = lines [s|
1186−輐銛 螷蟞覮 裌覅詵 暕 鴅噮 槶 惝掭掝 婸媥媕 耏胠臿, 汫汭沎 忕汌卣 蚡袀 僣 蒮 瀁瀎瀊 渮湸湤 緌翢,
1187−腠腶舝 糲蘥蠩 樏殣氀 蒮 蹢鎒 滍 鸄齴 櫧櫋瀩 鬄鵊鵙 莃荶衒, 毸溠 橀 簎艜薤 莃荶衒 翣聜蒢
1188−斔櫅檷 晛桼桾 拻敁柧 犿玒 膣, 墐 笓粊紒 bacon 鼀齕, 蔝蓶蓨 顊顃餭 姴怤 骱 暕 蹢鎒鎛 藒襓謥 鄻鎟霣
1189−鬎鯪, 鐩闤 硻禂稢 谾踘遳 撱 赲 迡 箷 蛃袚觙 萇雊蜩 壿嫷 鋡 縢羱聬 跐鉠鉣 蔝蓶蓨 匢奾灱 溮煡煟 雥齆犪
1190−蔰 虈觿, 腷腯葹 鍹餳駷 蛚袲褁蜸 皯竻 瀁瀎 蜭蜸覟 梪涫湴 揗斝湁 毼