Files access in Scol » History » Version 1
iri, 09/25/2012 12:27 AM
| 1 | 1 | iri | h1. Files access in Scol |
|---|---|---|---|
| 2 | |||
| 3 | There is two standard APIs to access to a file. |
||
| 4 | Only files in a partition can be opened, read, written or deleted (under condition for this last operation). |
||
| 5 | |||
| 6 | h2. First API (classic) : |
||
| 7 | |||
| 8 | In this api, it needn't to open and close a file; there is no "file pointer". |
||
| 9 | The file can be loaded in the memory ; don't forget this if you want to work with a big file. If the file can be very big, you should use the second api. |
||
| 10 | |||
| 11 | |||
| 12 | h3. How to read the content ? |
||
| 13 | |||
| 14 | With the Scol functions *_getpack* and *_checkpack*. |
||
| 15 | |||
| 16 | @_getpack _checkpack <relative_pathname>@ |
||
| 17 | |||
| 18 | <pre> |
||
| 19 | /* |
||
| 20 | 1- we check the file (_checkpack) |
||
| 21 | 2- we get the content (_getpack) |
||
| 22 | 3- we display it, if the check is ok (otherwise, nil will be displayed) (_fooS) |
||
| 23 | */ |
||
| 24 | fun main ()= |
||
| 25 | _showconsole; |
||
| 26 | _fooS _getpack _checkpack "dir_1/dir_2/myfile.ext"; |
||
| 27 | 0;; |
||
| 28 | </pre> |
||
| 29 | |||
| 30 | h3. How to know if a file exists (and is accessible in reading) ? |
||
| 31 | |||
| 32 | With the Scol function *_checkpack* |
||
| 33 | |||
| 34 | @_checkpack <relative_pathname>@ |
||
| 35 | <pre> |
||
| 36 | |||
| 37 | fun main ()= |
||
| 38 | _showconsole; |
||
| 39 | let _checkpack "dir_1/dir_2/myfile.ext" -> result in |
||
| 40 | _fooS if (result == nil) then |
||
| 41 | "This file doesn't exist" |
||
| 42 | else |
||
| 43 | "This file already exists"; |
||
| 44 | 0;; |
||
| 45 | </pre> |
||
| 46 | |||
| 47 | h3. How to find a word in a file : |
||
| 48 | |||
| 49 | <pre> |
||
| 50 | // check if the file exists |
||
| 51 | fun checkFile (pathname)= |
||
| 52 | if (nil == _checkpack pathname) then // file not found or access is forbidden |
||
| 53 | 0 |
||
| 54 | else // file found |
||
| 55 | 1;; |
||
| 56 | |||
| 57 | // return the string content of the file |
||
| 58 | fun getContent (pathreference)= |
||
| 59 | let _getpack pathreference -> content in // content in a single string |
||
| 60 | strextr content;; // content is in a list, line by line and word by word (strextr) |
||
| 61 | |||
| 62 | // search a value from a key |
||
| 63 | fun findValue (listContent, key)= |
||
| 64 | hd switchstr listContent key;; // only the first word is useful in this case (hd) |
||
| 65 | |||
| 66 | fun mainGet ()= |
||
| 67 | let "locked/etc/version.txt" -> pathName in |
||
| 68 | let "version" -> key in |
||
| 69 | if checkFile pathName then |
||
| 70 | let _checkpack pathName -> refPathName in |
||
| 71 | let getContent refPathName -> listWords in |
||
| 72 | let findValue listWords key -> res in |
||
| 73 | if res == nil then |
||
| 74 | _fooS strcat key " not found" |
||
| 75 | else |
||
| 76 | _fooS strcatn key :: " is " :: res :: nil |
||
| 77 | else |
||
| 78 | _fooS "file not found or access is forbidden"; |
||
| 79 | 0;; |
||
| 80 | </pre> |
||
| 81 | |||
| 82 | h3. How to list the content of a directory ? |
||
| 83 | |||
| 84 | With the Scol functions *_listoffiles* and or *_listofsubdir* |
||
| 85 | |||
| 86 | <pre> |
||
| 87 | _listoffiles <relative_pathname> // return a list of files |
||
| 88 | _listofsubdir <relative_pathname> // return a list of sub-directories |
||
| 89 | </pre> |
||
| 90 | |||
| 91 | Here is an example to list all files included in the "locked" directory : |
||
| 92 | |||
| 93 | <pre> |
||
| 94 | fun listConcatenate (listA, listB)= // listA + listB |
||
| 95 | if listA == nil then |
||
| 96 | listB |
||
| 97 | else let listA -> [h nxt] in |
||
| 98 | h :: listConcatenate nxt listB;; |
||
| 99 | |||
| 100 | fun print (list)= // display the list of files, one by line |
||
| 101 | if list == nil then |
||
| 102 | 0 |
||
| 103 | else |
||
| 104 | ( |
||
| 105 | _fooS hd list; |
||
| 106 | print tl list |
||
| 107 | );; |
||
| 108 | |||
| 109 | fun listFilesInDirectory (dir)= // return the list of files from a given directory |
||
| 110 | _listoffiles dir;; |
||
| 111 | |||
| 112 | fun listDirInDirectory (dir)= // return the list of sub directories from a directory |
||
| 113 | _listofsubdir dir;; |
||
| 114 | |||
| 115 | fun listDirectories (listDir, out)= |
||
| 116 | if listDir == nil then |
||
| 117 | out |
||
| 118 | else |
||
| 119 | ( |
||
| 120 | set out = listConcatenate out listFilesInDirectory hd listDir; |
||
| 121 | set out = listConcatenate out listDirectories listDirInDirectory hd listDir out; |
||
| 122 | listDirectories tl listDir out |
||
| 123 | );; |
||
| 124 | |||
| 125 | fun mainDir ()= |
||
| 126 | let listFilesInDirectory "locked" -> rootFiles in |
||
| 127 | let listDirInDirectory "locked" -> rootSubFolder in |
||
| 128 | let listDirectories rootSubFolder rootFiles -> list in |
||
| 129 | print list; |
||
| 130 | 0;; |
||
| 131 | </pre> |
||
| 132 | |||
| 133 | h3. How to write in a file ? |
||
| 134 | |||
| 135 | With the Scol functions *_getmodifypack* and *_createpack*, *_appendpack* or *_storepack*. |
||
| 136 | |||
| 137 | * @_createpack <string_content> _getmodifypack <relative_pathname>@ : create a file (if the file already exist, it will be destroyed) and write the string content. |
||
| 138 | Don't set the content to nil. To have an empty content, set to "". |
||
| 139 | |||
| 140 | * @_appendpack <string_content> _getmodifypack <relative_pathname>@ : append the string content to the end of file. |
||
| 141 | |||
| 142 | * @_storepack <string_content> <relative_pathname>@ : the file will be sored in the first writable partition. |
||
| 143 | |||
| 144 | * @_getmodifypack <relative_pathname>@ : check if the given path is correct (if correct, this function returns not nil). |
||
| 145 | |||
| 146 | h3. How to get the size of a file ? |
||
| 147 | |||
| 148 | With the Scol functions *_fileSize* and *_checkpack*. |
||
| 149 | |||
| 150 | @_fileSize _checkpack <relative_pathname>@ |
||
| 151 | |||
| 152 | h3. How to separate the path name from the file name ? |
||
| 153 | |||
| 154 | <pre> |
||
| 155 | fun getPathFile (longfile, file)= |
||
| 156 | if (longfile==nil) || (strlen longfile)==0 || (nth_char longfile ((strlen longfile)-1)) == '/ |
||
| 157 | then |
||
| 158 | [longfile file] |
||
| 159 | else |
||
| 160 | getPathFile |
||
| 161 | substr longfile 0 (strlen longfile)-1 |
||
| 162 | strcat |
||
| 163 | substr longfile ((strlen longfile)-1) 1 |
||
| 164 | file;; |
||
| 165 | </pre> |
||
| 166 | |||
| 167 | This function has been wrote by Marc Barilley. |
||
| 168 | |||
| 169 | h2. Second API (Ansi-C) : |
||
| 170 | |||
| 171 | This is the same thing as in C. |
||
| 172 | |||
| 173 | *_FILEOpen* : open a file. Return a Scol reference |
||
| 174 | *_FILEClose* : close a file from its Scol reference |
||
| 175 | *_FILERead* : read the content from the cursor to a given length |
||
| 176 | *_FILESeek* : move the cursor |
||
| 177 | *_FILETell* : get the cursor position |
||
| 178 | *_FILESize* : get the size |
||
| 179 | |||
| 180 | <pre> |
||
| 181 | fun main ()= |
||
| 182 | _showconsole; |
||
| 183 | |||
| 184 | let _FILEOpen _channel _checkpack "dir_1/dir_2/myfile.ext" -> pf in |
||
| 185 | let _FILESize pf -> size in |
||
| 186 | ( |
||
| 187 | _FILESeek pf size/2 0; |
||
| 188 | _fooS _FILERead pf 255; |
||
| 189 | _FILEClose pf |
||
| 190 | ); |
||
| 191 | 0;; |
||
| 192 | </pre> |
||
| 193 | |||
| 194 | h2. Temporary files |
||
| 195 | |||
| 196 | The library Syspack introduces the temporary files support : http://www.scolring.org/files/doc_html/syspack_temfile.html |
||
| 197 | |||
| 198 | License : "CC-BY-SA-2.0":https://creativecommons.org/licenses/by-sa/2.0/ |
||
| 199 | Tutorial by iri |
||
| 200 | Updated by / |