test_attrs.toml 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304
  1. [[case]] # set/get attribute
  2. code = '''
  3. lfs_format(&lfs, &cfg) => 0;
  4. lfs_mount(&lfs, &cfg) => 0;
  5. lfs_mkdir(&lfs, "hello") => 0;
  6. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
  7. lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
  8. lfs_file_close(&lfs, &file);
  9. lfs_unmount(&lfs) => 0;
  10. lfs_mount(&lfs, &cfg) => 0;
  11. memset(buffer, 0, sizeof(buffer));
  12. lfs_setattr(&lfs, "hello", 'A', "aaaa", 4) => 0;
  13. lfs_setattr(&lfs, "hello", 'B', "bbbbbb", 6) => 0;
  14. lfs_setattr(&lfs, "hello", 'C', "ccccc", 5) => 0;
  15. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  16. lfs_getattr(&lfs, "hello", 'B', buffer+4, 6) => 6;
  17. lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
  18. memcmp(buffer, "aaaa", 4) => 0;
  19. memcmp(buffer+4, "bbbbbb", 6) => 0;
  20. memcmp(buffer+10, "ccccc", 5) => 0;
  21. lfs_setattr(&lfs, "hello", 'B', "", 0) => 0;
  22. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  23. lfs_getattr(&lfs, "hello", 'B', buffer+4, 6) => 0;
  24. lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
  25. memcmp(buffer, "aaaa", 4) => 0;
  26. memcmp(buffer+4, "\0\0\0\0\0\0", 6) => 0;
  27. memcmp(buffer+10, "ccccc", 5) => 0;
  28. lfs_removeattr(&lfs, "hello", 'B') => 0;
  29. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  30. lfs_getattr(&lfs, "hello", 'B', buffer+4, 6) => LFS_ERR_NOATTR;
  31. lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
  32. memcmp(buffer, "aaaa", 4) => 0;
  33. memcmp(buffer+4, "\0\0\0\0\0\0", 6) => 0;
  34. memcmp(buffer+10, "ccccc", 5) => 0;
  35. lfs_setattr(&lfs, "hello", 'B', "dddddd", 6) => 0;
  36. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  37. lfs_getattr(&lfs, "hello", 'B', buffer+4, 6) => 6;
  38. lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
  39. memcmp(buffer, "aaaa", 4) => 0;
  40. memcmp(buffer+4, "dddddd", 6) => 0;
  41. memcmp(buffer+10, "ccccc", 5) => 0;
  42. lfs_setattr(&lfs, "hello", 'B', "eee", 3) => 0;
  43. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  44. lfs_getattr(&lfs, "hello", 'B', buffer+4, 6) => 3;
  45. lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
  46. memcmp(buffer, "aaaa", 4) => 0;
  47. memcmp(buffer+4, "eee\0\0\0", 6) => 0;
  48. memcmp(buffer+10, "ccccc", 5) => 0;
  49. lfs_setattr(&lfs, "hello", 'A', buffer, LFS_ATTR_MAX+1) => LFS_ERR_NOSPC;
  50. lfs_setattr(&lfs, "hello", 'B', "fffffffff", 9) => 0;
  51. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  52. lfs_getattr(&lfs, "hello", 'B', buffer+4, 6) => 9;
  53. lfs_getattr(&lfs, "hello", 'C', buffer+10, 5) => 5;
  54. lfs_unmount(&lfs) => 0;
  55. lfs_mount(&lfs, &cfg) => 0;
  56. memset(buffer, 0, sizeof(buffer));
  57. lfs_getattr(&lfs, "hello", 'A', buffer, 4) => 4;
  58. lfs_getattr(&lfs, "hello", 'B', buffer+4, 9) => 9;
  59. lfs_getattr(&lfs, "hello", 'C', buffer+13, 5) => 5;
  60. memcmp(buffer, "aaaa", 4) => 0;
  61. memcmp(buffer+4, "fffffffff", 9) => 0;
  62. memcmp(buffer+13, "ccccc", 5) => 0;
  63. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_RDONLY) => 0;
  64. lfs_file_read(&lfs, &file, buffer, sizeof(buffer)) => strlen("hello");
  65. memcmp(buffer, "hello", strlen("hello")) => 0;
  66. lfs_file_close(&lfs, &file);
  67. lfs_unmount(&lfs) => 0;
  68. '''
  69. [[case]] # set/get root attribute
  70. code = '''
  71. lfs_format(&lfs, &cfg) => 0;
  72. lfs_mount(&lfs, &cfg) => 0;
  73. lfs_mkdir(&lfs, "hello") => 0;
  74. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
  75. lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
  76. lfs_file_close(&lfs, &file);
  77. lfs_unmount(&lfs) => 0;
  78. lfs_mount(&lfs, &cfg) => 0;
  79. memset(buffer, 0, sizeof(buffer));
  80. lfs_setattr(&lfs, "/", 'A', "aaaa", 4) => 0;
  81. lfs_setattr(&lfs, "/", 'B', "bbbbbb", 6) => 0;
  82. lfs_setattr(&lfs, "/", 'C', "ccccc", 5) => 0;
  83. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  84. lfs_getattr(&lfs, "/", 'B', buffer+4, 6) => 6;
  85. lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
  86. memcmp(buffer, "aaaa", 4) => 0;
  87. memcmp(buffer+4, "bbbbbb", 6) => 0;
  88. memcmp(buffer+10, "ccccc", 5) => 0;
  89. lfs_setattr(&lfs, "/", 'B', "", 0) => 0;
  90. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  91. lfs_getattr(&lfs, "/", 'B', buffer+4, 6) => 0;
  92. lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
  93. memcmp(buffer, "aaaa", 4) => 0;
  94. memcmp(buffer+4, "\0\0\0\0\0\0", 6) => 0;
  95. memcmp(buffer+10, "ccccc", 5) => 0;
  96. lfs_removeattr(&lfs, "/", 'B') => 0;
  97. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  98. lfs_getattr(&lfs, "/", 'B', buffer+4, 6) => LFS_ERR_NOATTR;
  99. lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
  100. memcmp(buffer, "aaaa", 4) => 0;
  101. memcmp(buffer+4, "\0\0\0\0\0\0", 6) => 0;
  102. memcmp(buffer+10, "ccccc", 5) => 0;
  103. lfs_setattr(&lfs, "/", 'B', "dddddd", 6) => 0;
  104. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  105. lfs_getattr(&lfs, "/", 'B', buffer+4, 6) => 6;
  106. lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
  107. memcmp(buffer, "aaaa", 4) => 0;
  108. memcmp(buffer+4, "dddddd", 6) => 0;
  109. memcmp(buffer+10, "ccccc", 5) => 0;
  110. lfs_setattr(&lfs, "/", 'B', "eee", 3) => 0;
  111. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  112. lfs_getattr(&lfs, "/", 'B', buffer+4, 6) => 3;
  113. lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
  114. memcmp(buffer, "aaaa", 4) => 0;
  115. memcmp(buffer+4, "eee\0\0\0", 6) => 0;
  116. memcmp(buffer+10, "ccccc", 5) => 0;
  117. lfs_setattr(&lfs, "/", 'A', buffer, LFS_ATTR_MAX+1) => LFS_ERR_NOSPC;
  118. lfs_setattr(&lfs, "/", 'B', "fffffffff", 9) => 0;
  119. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  120. lfs_getattr(&lfs, "/", 'B', buffer+4, 6) => 9;
  121. lfs_getattr(&lfs, "/", 'C', buffer+10, 5) => 5;
  122. lfs_unmount(&lfs) => 0;
  123. lfs_mount(&lfs, &cfg) => 0;
  124. memset(buffer, 0, sizeof(buffer));
  125. lfs_getattr(&lfs, "/", 'A', buffer, 4) => 4;
  126. lfs_getattr(&lfs, "/", 'B', buffer+4, 9) => 9;
  127. lfs_getattr(&lfs, "/", 'C', buffer+13, 5) => 5;
  128. memcmp(buffer, "aaaa", 4) => 0;
  129. memcmp(buffer+4, "fffffffff", 9) => 0;
  130. memcmp(buffer+13, "ccccc", 5) => 0;
  131. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_RDONLY) => 0;
  132. lfs_file_read(&lfs, &file, buffer, sizeof(buffer)) => strlen("hello");
  133. memcmp(buffer, "hello", strlen("hello")) => 0;
  134. lfs_file_close(&lfs, &file);
  135. lfs_unmount(&lfs) => 0;
  136. '''
  137. [[case]] # set/get file attribute
  138. code = '''
  139. lfs_format(&lfs, &cfg) => 0;
  140. lfs_mount(&lfs, &cfg) => 0;
  141. lfs_mkdir(&lfs, "hello") => 0;
  142. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
  143. lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
  144. lfs_file_close(&lfs, &file);
  145. lfs_unmount(&lfs) => 0;
  146. lfs_mount(&lfs, &cfg) => 0;
  147. memset(buffer, 0, sizeof(buffer));
  148. struct lfs_attr attrs1[] = {
  149. {'A', buffer, 4},
  150. {'B', buffer+4, 6},
  151. {'C', buffer+10, 5},
  152. };
  153. struct lfs_file_config cfg1 = {.attrs=attrs1, .attr_count=3};
  154. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
  155. memcpy(buffer, "aaaa", 4);
  156. memcpy(buffer+4, "bbbbbb", 6);
  157. memcpy(buffer+10, "ccccc", 5);
  158. lfs_file_close(&lfs, &file) => 0;
  159. memset(buffer, 0, 15);
  160. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
  161. lfs_file_close(&lfs, &file) => 0;
  162. memcmp(buffer, "aaaa", 4) => 0;
  163. memcmp(buffer+4, "bbbbbb", 6) => 0;
  164. memcmp(buffer+10, "ccccc", 5) => 0;
  165. attrs1[1].size = 0;
  166. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
  167. lfs_file_close(&lfs, &file) => 0;
  168. memset(buffer, 0, 15);
  169. attrs1[1].size = 6;
  170. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
  171. lfs_file_close(&lfs, &file) => 0;
  172. memcmp(buffer, "aaaa", 4) => 0;
  173. memcmp(buffer+4, "\0\0\0\0\0\0", 6) => 0;
  174. memcmp(buffer+10, "ccccc", 5) => 0;
  175. attrs1[1].size = 6;
  176. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
  177. memcpy(buffer+4, "dddddd", 6);
  178. lfs_file_close(&lfs, &file) => 0;
  179. memset(buffer, 0, 15);
  180. attrs1[1].size = 6;
  181. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
  182. lfs_file_close(&lfs, &file) => 0;
  183. memcmp(buffer, "aaaa", 4) => 0;
  184. memcmp(buffer+4, "dddddd", 6) => 0;
  185. memcmp(buffer+10, "ccccc", 5) => 0;
  186. attrs1[1].size = 3;
  187. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
  188. memcpy(buffer+4, "eee", 3);
  189. lfs_file_close(&lfs, &file) => 0;
  190. memset(buffer, 0, 15);
  191. attrs1[1].size = 6;
  192. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
  193. lfs_file_close(&lfs, &file) => 0;
  194. memcmp(buffer, "aaaa", 4) => 0;
  195. memcmp(buffer+4, "eee\0\0\0", 6) => 0;
  196. memcmp(buffer+10, "ccccc", 5) => 0;
  197. attrs1[0].size = LFS_ATTR_MAX+1;
  198. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1)
  199. => LFS_ERR_NOSPC;
  200. struct lfs_attr attrs2[] = {
  201. {'A', buffer, 4},
  202. {'B', buffer+4, 9},
  203. {'C', buffer+13, 5},
  204. };
  205. struct lfs_file_config cfg2 = {.attrs=attrs2, .attr_count=3};
  206. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDWR, &cfg2) => 0;
  207. memcpy(buffer+4, "fffffffff", 9);
  208. lfs_file_close(&lfs, &file) => 0;
  209. attrs1[0].size = 4;
  210. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg1) => 0;
  211. lfs_file_close(&lfs, &file) => 0;
  212. lfs_unmount(&lfs) => 0;
  213. lfs_mount(&lfs, &cfg) => 0;
  214. memset(buffer, 0, sizeof(buffer));
  215. struct lfs_attr attrs3[] = {
  216. {'A', buffer, 4},
  217. {'B', buffer+4, 9},
  218. {'C', buffer+13, 5},
  219. };
  220. struct lfs_file_config cfg3 = {.attrs=attrs3, .attr_count=3};
  221. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_RDONLY, &cfg3) => 0;
  222. lfs_file_close(&lfs, &file) => 0;
  223. memcmp(buffer, "aaaa", 4) => 0;
  224. memcmp(buffer+4, "fffffffff", 9) => 0;
  225. memcmp(buffer+13, "ccccc", 5) => 0;
  226. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_RDONLY) => 0;
  227. lfs_file_read(&lfs, &file, buffer, sizeof(buffer)) => strlen("hello");
  228. memcmp(buffer, "hello", strlen("hello")) => 0;
  229. lfs_file_close(&lfs, &file);
  230. lfs_unmount(&lfs) => 0;
  231. '''
  232. [[case]] # deferred file attributes
  233. code = '''
  234. lfs_format(&lfs, &cfg) => 0;
  235. lfs_mount(&lfs, &cfg) => 0;
  236. lfs_mkdir(&lfs, "hello") => 0;
  237. lfs_file_open(&lfs, &file, "hello/hello", LFS_O_WRONLY | LFS_O_CREAT) => 0;
  238. lfs_file_write(&lfs, &file, "hello", strlen("hello")) => strlen("hello");
  239. lfs_file_close(&lfs, &file);
  240. lfs_unmount(&lfs) => 0;
  241. lfs_mount(&lfs, &cfg) => 0;
  242. lfs_setattr(&lfs, "hello/hello", 'B', "fffffffff", 9) => 0;
  243. lfs_setattr(&lfs, "hello/hello", 'C', "ccccc", 5) => 0;
  244. memset(buffer, 0, sizeof(buffer));
  245. struct lfs_attr attrs1[] = {
  246. {'B', "gggg", 4},
  247. {'C', "", 0},
  248. {'D', "hhhh", 4},
  249. };
  250. struct lfs_file_config cfg1 = {.attrs=attrs1, .attr_count=3};
  251. lfs_file_opencfg(&lfs, &file, "hello/hello", LFS_O_WRONLY, &cfg1) => 0;
  252. lfs_getattr(&lfs, "hello/hello", 'B', buffer, 9) => 9;
  253. lfs_getattr(&lfs, "hello/hello", 'C', buffer+9, 9) => 5;
  254. lfs_getattr(&lfs, "hello/hello", 'D', buffer+18, 9) => LFS_ERR_NOATTR;
  255. memcmp(buffer, "fffffffff", 9) => 0;
  256. memcmp(buffer+9, "ccccc\0\0\0\0", 9) => 0;
  257. memcmp(buffer+18, "\0\0\0\0\0\0\0\0\0", 9) => 0;
  258. lfs_file_sync(&lfs, &file) => 0;
  259. lfs_getattr(&lfs, "hello/hello", 'B', buffer, 9) => 4;
  260. lfs_getattr(&lfs, "hello/hello", 'C', buffer+9, 9) => 0;
  261. lfs_getattr(&lfs, "hello/hello", 'D', buffer+18, 9) => 4;
  262. memcmp(buffer, "gggg\0\0\0\0\0", 9) => 0;
  263. memcmp(buffer+9, "\0\0\0\0\0\0\0\0\0", 9) => 0;
  264. memcmp(buffer+18, "hhhh\0\0\0\0\0", 9) => 0;
  265. lfs_file_close(&lfs, &file) => 0;
  266. lfs_unmount(&lfs) => 0;
  267. '''