(fileInput: HTMLInputElement)
| 181 | } |
| 182 | |
| 183 | function getFileReader(fileInput: HTMLInputElement) { |
| 184 | var reader = new FileReader(); |
| 185 | reader.onload = () => { |
| 186 | const data = getData(reader); |
| 187 | LoadModel(data); |
| 188 | fileInput.value = ""; |
| 189 | }; |
| 190 | return reader; |
| 191 | } |
| 192 | |
| 193 | function getData(reader: FileReader) { |
| 194 | const startRead = ms(); |
no test coverage detected