/anstests/filetest.fth

https://github.com/jamesbowman/swapforth · Forth · 232 lines · 175 code · 47 blank · 10 comment · 6 complexity · 2b6cd47511304ee5409d7ff5e45aca78 MD5 · raw file 

    

  1. \ To test the ANS File Access word set and extension words

    2. 

  2. 

    3. 

  3. \ This program was written by Gerry Jackson in 2006, with contributions from

    4. 

  4. \ others where indicated, and is in the public domain - it can be distributed

    5. 

  5. \ and/or modified in any way but please retain this notice.

    6. 

  6. 

    7. 

  7. \ This program is distributed in the hope that it will be useful,

    8. 

  8. \ but WITHOUT ANY WARRANTY; without even the implied warranty of

    9. 

  9. \ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

    10. 

  10. 

    11. 

  11. \ The tests are not claimed to be comprehensive or correct 

    12. 

  12. 

    13. 

  13. \ ------------------------------------------------------------------------------

    14. 

  14. \ Version 0.11 25 April 2015 S\" in interpretation mode test added

    15. 

  15. \              REQUIRED REQUIRE INCLUDE tests added

    16. 

  16. \              Two S" and/or S\" buffers availability tested

    17. 

  17. \         0.5  1 April 2012  Tests placed in the public domain.

    18. 

  18. \         0.4  22 March 2009 { and } replaced with T{ and }T

    19. 

  19. \         0.3  20 April 2007  ANS Forth words changed to upper case.

    20. 

  20. \              Removed directory test from the filenames.

    21. 

  21. \         0.2  30 Oct 2006 updated following GForth tests to remove

    22. 

  22. \              system dependency on file size, to allow for file

    23. 

  23. \              buffering and to allow for PAD moving around.

    24. 

  24. \         0.1  Oct 2006 First version released.

    25. 

  25. 

    26. 

  26. \ ------------------------------------------------------------------------------

    27. 

  27. \ The tests are based on John Hayes test program for the core word set

    28. 

  28. \ and requires those files to have been loaded

    29. 

  29. 

    30. 

  30. \ Words tested in this file are:

    31. 

  31. \     ( BIN CLOSE-FILE CREATE-FILE DELETE-FILE FILE-POSITION FILE-SIZE

    32. 

  32. \     OPEN-FILE R/O R/W READ-FILE READ-LINE REPOSITION-FILE RESIZE-FILE 

    33. 

  33. \     S" SOURCE-ID W/O WRITE-FILE WRITE-LINE 

    34. 

  34. \     FILE-STATUS FLUSH-FILE RENAME-FILE 

    35. 

  35. 

    36. 

  36. \ Words not tested:

    37. 

  37. \     REFILL INCLUDED INCLUDE-FILE (as these will likely have been

    38. 

  38. \     tested in the execution of the test files)

    39. 

  39. \ ------------------------------------------------------------------------------

    40. 

  40. \ Assumptions, dependencies and notes:

    41. 

  41. \     - tester.fr or ttester.fs has been loaded prior to this file

    42. 

  42. \     - These tests create files in the current directory, if all goes

    43. 

  43. \       well these will be deleted. If something fails they may not be

    44. 

  44. \       deleted. If this is a problem ensure you set a suitable 

    45. 

  45. \       directory before running this test. There is no ANS standard

    46. 

  46. \       way of doing this. Also be aware of the file names used below

    47. 

  47. \       which are:  fatest1.txt, fatest2.txt and fatest3.txt

    48. 

  48. \     - TRUE and FALSE are present from the Core extension word set 

    49. 

  49. \ ------------------------------------------------------------------------------

    50. 

  50. 

    51. 

  51. TESTING File Access word set

    52. 

  52. 

    53. 

  53. DECIMAL

    54. 

  54. 

    55. 

  55. \ ------------------------------------------------------------------------------

    56. 

  56. TESTING CREATE-FILE CLOSE-FILE

    57. 

  57. 

    58. 

  58. : FN1 S" fatest1.txt" ;

    59. 

  59. VARIABLE FID1

    60. 

  60. 

    61. 

  61. T{ FN1 R/W CREATE-FILE SWAP FID1 ! -> 0 }T

    62. 

  62. T{ FID1 @ CLOSE-FILE -> 0 }T

    63. 

  63. 

    64. 

  64. \ ------------------------------------------------------------------------------

    65. 

  65. TESTING OPEN-FILE W/O WRITE-LINE

    66. 

  66. 

    67. 

  67. : LINE1 S" Line 1" ;

    68. 

  68. 

    69. 

  69. T{ FN1 W/O OPEN-FILE SWAP FID1 ! -> 0 }T

    70. 

  70. T{ LINE1 FID1 @ WRITE-LINE -> 0 }T

    71. 

  71. T{ FID1 @ CLOSE-FILE -> 0 }T

    72. 

  72. 

    73. 

  73. \ ------------------------------------------------------------------------------

    74. 

  74. TESTING R/O FILE-POSITION (simple)  READ-LINE 

    75. 

  75. 

    76. 

  76. 200 CONSTANT BSIZE

    77. 

  77. CREATE BUF BSIZE ALLOT

    78. 

  78. VARIABLE #CHARS

    79. 

  79. 

    80. 

  80. T{ FN1 R/O OPEN-FILE SWAP FID1 ! -> 0 }T

    81. 

  81. T{ FID1 @ FILE-POSITION -> 0. 0 }T

    82. 

  82. T{ BUF 100 FID1 @ READ-LINE ROT DUP #CHARS ! -> TRUE 0 LINE1 SWAP DROP }T

    83. 

  83. T{ BUF #CHARS @ LINE1 COMPARE -> 0 }T

    84. 

  84. T{ FID1 @ CLOSE-FILE -> 0 }T

    85. 

  85. 

    86. 

  86. \ ------------------------------------------------------------------------------

    87. 

  87. TESTING R/W WRITE-FILE REPOSITION-FILE READ-FILE FILE-POSITION S"

    88. 

  88. 

    89. 

  89. : LINE2 S" Line 2 blah blah blah" ;

    90. 

  90. : RL1 BUF 100 FID1 @ READ-LINE ;

    91. 

  91. 2VARIABLE FP

    92. 

  92. 

    93. 

  93. T{ FN1 R/W OPEN-FILE SWAP FID1 ! -> 0 }T

    94. 

  94. T{ FID1 @ FILE-SIZE DROP FID1 @ REPOSITION-FILE -> 0 }T

    95. 

  95. T{ FID1 @ FILE-SIZE -> FID1 @ FILE-POSITION }T

    96. 

  96. T{ LINE2 FID1 @ WRITE-FILE -> 0 }T

    97. 

  97. T{ 10. FID1 @ REPOSITION-FILE -> 0 }T

    98. 

  98. T{ FID1 @ FILE-POSITION -> 10. 0 }T

    99. 

  99. T{ 0. FID1 @ REPOSITION-FILE -> 0 }T

    100. 

  100. T{ RL1 -> LINE1 SWAP DROP TRUE 0 }T

    101. 

  101. T{ RL1 ROT DUP #CHARS ! -> TRUE 0 LINE2 SWAP DROP }T

    102. 

  102. T{ BUF #CHARS @ LINE2 COMPARE -> 0 }T

    103. 

  103. T{ RL1 -> 0 FALSE 0 }T

    104. 

  104. T{ FID1 @ FILE-POSITION ROT ROT FP 2! -> 0 }T

    105. 

  105. T{ FP 2@ FID1 @ FILE-SIZE DROP D= -> TRUE }T

    106. 

  106. T{ S" " FID1 @ WRITE-LINE -> 0 }T

    107. 

  107. T{ S" " FID1 @ WRITE-LINE -> 0 }T

    108. 

  108. T{ FP 2@ FID1 @ REPOSITION-FILE -> 0 }T

    109. 

  109. T{ RL1 -> 0 TRUE 0 }T

    110. 

  110. T{ RL1 -> 0 TRUE 0 }T

    111. 

  111. T{ RL1 -> 0 FALSE 0 }T

    112. 

  112. T{ FID1 @ CLOSE-FILE -> 0 }T

    113. 

  113. 

    114. 

  114. \ ------------------------------------------------------------------------------

    115. 

  115. TESTING BIN READ-FILE FILE-SIZE

    116. 

  116. 

    117. 

  117. : CBUF BUF BSIZE 0 FILL ;

    118. 

  118. : FN2 S" FATEST2.TXT" ;

    119. 

  119. VARIABLE FID2

    120. 

  120. : SETPAD PAD 50 0 DO I OVER C! CHAR+ LOOP DROP ;

    121. 

  121. 

    122. 

  122. SETPAD   \ If anything else is defined setpad must be called again

    123. 

  123.          \ as pad may move

    124. 

  124. 

    125. 

  125. T{ FN2 R/W BIN CREATE-FILE SWAP FID2 ! -> 0 }T

    126. 

  126. T{ PAD 50 FID2 @ WRITE-FILE FID2 @ FLUSH-FILE -> 0 0 }T

    127. 

  127. T{ FID2 @ FILE-SIZE -> 50. 0 }T

    128. 

  128. T{ 0. FID2 @ REPOSITION-FILE -> 0 }T

    129. 

  129. T{ CBUF BUF 29 FID2 @ READ-FILE -> 29 0 }T

    130. 

  130. T{ PAD 29 BUF 29 COMPARE -> 0 }T

    131. 

  131. T{ PAD 30 BUF 30 COMPARE -> 1 }T

    132. 

  132. T{ CBUF BUF 29 FID2 @ READ-FILE -> 21 0 }T

    133. 

  133. T{ PAD 29 + 21 BUF 21 COMPARE -> 0 }T

    134. 

  134. T{ FID2 @ FILE-SIZE DROP FID2 @ FILE-POSITION DROP D= -> TRUE }T

    135. 

  135. T{ BUF 10 FID2 @ READ-FILE -> 0 0 }T

    136. 

  136. T{ FID2 @ CLOSE-FILE -> 0 }T

    137. 

  137. 

    138. 

  138. \ ------------------------------------------------------------------------------

    139. 

  139. TESTING RESIZE-FILE

    140. 

  140. 

    141. 

  141. T{ FN2 R/W BIN OPEN-FILE SWAP FID2 ! -> 0 }T

    142. 

  142. T{ 37. FID2 @ RESIZE-FILE -> 0 }T

    143. 

  143. T{ FID2 @ FILE-SIZE -> 37. 0 }T

    144. 

  144. T{ 0. FID2 @ REPOSITION-FILE -> 0 }T

    145. 

  145. T{ CBUF BUF 100 FID2 @ READ-FILE -> 37 0 }T

    146. 

  146. T{ PAD 37 BUF 37 COMPARE -> 0 }T

    147. 

  147. T{ PAD 38 BUF 38 COMPARE -> 1 }T

    148. 

  148. T{ 500. FID2 @ RESIZE-FILE -> 0 }T

    149. 

  149. T{ FID2 @ FILE-SIZE -> 500. 0 }T

    150. 

  150. T{ 0. FID2 @ REPOSITION-FILE -> 0 }T

    151. 

  151. T{ CBUF BUF 100 FID2 @ READ-FILE -> 100 0 }T

    152. 

  152. T{ PAD 37 BUF 37 COMPARE -> 0 }T

    153. 

  153. T{ FID2 @ CLOSE-FILE -> 0 }T

    154. 

  154. 

    155. 

  155. \ ------------------------------------------------------------------------------

    156. 

  156. TESTING DELETE-FILE

    157. 

  157. 

    158. 

  158. T{ FN2 DELETE-FILE -> 0 }T

    159. 

  159. T{ FN2 R/W BIN OPEN-FILE SWAP DROP 0= -> FALSE }T

    160. 

  160. T{ FN2 DELETE-FILE 0= -> FALSE }T

    161. 

  161. 

    162. 

  162. \ ------------------------------------------------------------------------------

    163. 

  163. TESTING multi-line ( comments

    164. 

  164. 

    165. 

  165. T{ ( 1 2 3

    166. 

  166. 4 5 6

    167. 

  167. 7 8 9 ) 11 22 33 -> 11 22 33 }T

    168. 

  168. 

    169. 

  169. \ ------------------------------------------------------------------------------

    170. 

  170. TESTING SOURCE-ID (can only test it does not return 0 or -1)

    171. 

  171. 

    172. 

  172. T{ SOURCE-ID DUP -1 = SWAP 0= OR -> FALSE }T

    173. 

  173. 

    174. 

  174. \ ------------------------------------------------------------------------------

    175. 

  175. TESTING RENAME-FILE FILE-STATUS FLUSH-FILE

    176. 

  176. 

    177. 

  177. : FN3 S" fatest3.txt" ;

    178. 

  178. : >END FID1 @ FILE-SIZE DROP FID1 @ REPOSITION-FILE ;

    179. 

  179. 

    180. 

  180. 

    181. 

  181. T{ FN3 DELETE-FILE DROP -> }T

    182. 

  182. T{ FN1 FN3 RENAME-FILE 0= -> TRUE }T

    183. 

  183. T{ FN1 FILE-STATUS SWAP DROP 0= -> FALSE }T

    184. 

  184. T{ FN3 FILE-STATUS SWAP DROP 0= -> TRUE }T  \ Return value is undefined

    185. 

  185. T{ FN3 R/W OPEN-FILE SWAP FID1 ! -> 0 }T

    186. 

  186. T{ >END -> 0 }T

    187. 

  187. T{ S" Final line" fid1 @ WRITE-LINE -> 0 }T

    188. 

  188. T{ FID1 @ FLUSH-FILE -> 0 }T		\ Can only test FLUSH-FILE doesn't fail

    189. 

  189. T{ FID1 @ CLOSE-FILE -> 0 }T

    190. 

  190. 

    191. 

  191. \ Tidy the test folder

    192. 

  192. T{ fn3 DELETE-FILE DROP -> }T

    193. 

  193. 

    194. 

  194. \ ------------------------------------------------------------------------------

    195. 

  195. TESTING REQUIRED REQUIRE INCLUDED

    196. 

  196. \ Tests taken from Forth 2012 RfD

    197. 

  197. 

    198. 

  198. T{ 0

    199. 

  199.   S" required-helper1.fth" REQUIRED

    200. 

  200.   REQUIRE required-helper1.fth

    201. 

  201.   INCLUDE required-helper1.fth

    202. 

  202.   -> 2 }T

    203. 

  203. 

    204. 

  204. T{ 0

    205. 

  205.   INCLUDE required-helper2.fth

    206. 

  206.   S" required-helper2.fth" REQUIRED

    207. 

  207.   REQUIRE required-helper2.fth

    208. 

  208.   S" required-helper2.fth" INCLUDED

    209. 

  209.   -> 2 }T

    210. 

  210.   

    211. 

  211. \ ------------------------------------------------------------------------------

    212. 

  212. TESTING S\" (Forth 2012 interpretation mode)

    213. 

  213. 

    214. 

  214. \ S\" in compilation mode already tested in Core Extension tests

    215. 

  215. T{ : SSQ10 S\" \a\b\e\f\l\m\q\r\t\v\x0F0\x1Fa\xaBx\z\"\\" ; -> }T

    216. 

  216. T{ S\" \a\b\e\f\l\m\q\r\t\v\x0F0\x1Fa\xaBx\z\"\\" SSQ10  COMPARE -> 0 }T

    217. 

  217. 

    218. 

  218. \ ------------------------------------------------------------------------------

    219. 

  219. TESTING two buffers available for S" and/or S\"

    220. 

  220. 

    221. 

  221. : SSQ11 S" abcd" ;   : SSQ12 S" 1234" ;

    222. 

  222. T{ S" abcd"  S" 1234" SSQ12  COMPARE ROT ROT SSQ11 COMPARE -> 0 0 }T

    223. 

  223. T{ S\" abcd" S\" 1234" SSQ12 COMPARE ROT ROT SSQ11 COMPARE -> 0 0 }T

    224. 

  224. T{ S" abcd"  S\" 1234" SSQ12 COMPARE ROT ROT SSQ11 COMPARE -> 0 0 }T

    225. 

  225. T{ S\" abcd" S" 1234" SSQ12  COMPARE ROT ROT SSQ11 COMPARE -> 0 0 }T

    226. 

  226. 

    227. 

  227. 

    228. 

  228. \ ------------------------------------------------------------------------------

    229. 

  229. 

    230. 

  230. FILE-ERRORS SET-ERROR-COUNT

    231. 

  231. 

    232. 

  232. CR .( End of File-Access word set tests) CR
    233.