Description
Use to read a vector from a file. Command will fail if at the end of the file.
The following is a listing of the different cast types. Note that data can be lost when casting. 'Signed' means the value can be negative. 'Unsigned' means value will always be positive.
ERROR
The requested URL could not be retrieved
The following error was encountered while trying to retrieve the URL: https://scroll-exporter-extensions.de.exporter.k15t.app/*
Unable to forward this request at this time.
This request could not be forwarded to the origin server or to any parent caches.
Some possible problems are:
- An Internet connection needed to access this domains origin servers may be down.
- All configured parent caches may be currently unreachable.
- The administrator may not allow this cache to make direct connections to origin servers.
Your cache administrator is webmaster.
Generated Wed, 02 Apr 2025 09:24:43 GMT by ip-10-19-3-22 (squid)
| Cast | Description |
|---|---|
c | Reads a series of signed characters, or signed 8-bit (1 byte) values, and converts them to floats |
uc | Reads a series of unsigned characters, or unsigned 8-bit (1 byte) values, and converts them to floats |
s | Reads a series of signed short integers, or signed 16-bit (2 bytes) values, and converts them to floats |
us | Reads a series of unsigned short integers, or unsigned 16-bit (2 bytes) values, and converts them to floats |
i | Reads a series of signed integers, or signed 32-bit (4 bytes) values, and converts them to floats |
ui | Reads a series of unsigned integers, or unsigned 32-bit (4 bytes) values, and converts them to floats |
f | Reads a series of floating point values, a 32-bit (4 byte) values, and converts them to floats |
Functional area
Disk I/O
Command syntax
Syntax
readVec fileID[-delim string] [-cast string] |
ERROR
The requested URL could not be retrieved
The following error was encountered while trying to retrieve the URL: https://scroll-exporter-extensions.de.exporter.k15t.app/*
Unable to forward this request at this time.
This request could not be forwarded to the origin server or to any parent caches.
Some possible problems are:
- An Internet connection needed to access this domains origin servers may be down.
- All configured parent caches may be currently unreachable.
- The administrator may not allow this cache to make direct connections to origin servers.
Your cache administrator is webmaster.
Generated Wed, 02 Apr 2025 09:24:43 GMT by ip-10-19-3-38 (squid)
Arguments
| Name | Type | Required | Comments |
|---|---|---|---|
fileID | int | ID of file previously opened with fileOpen |
Flags
ERROR
The requested URL could not be retrieved
The following error was encountered while trying to retrieve the URL: https://scroll-exporter-extensions.de.exporter.k15t.app/*
Unable to forward this request at this time.
This request could not be forwarded to the origin server or to any parent caches.
Some possible problems are:
- An Internet connection needed to access this domains origin servers may be down.
- All configured parent caches may be currently unreachable.
- The administrator may not allow this cache to make direct connections to origin servers.
Your cache administrator is webmaster.
Generated Wed, 02 Apr 2025 09:24:43 GMT by ip-10-19-3-36 (squid)
| Name | Flag arguments | Argument type | Exclusive to | Comments |
|---|---|---|---|---|
delim | 1 | string | — | Delimiter to expect between vector channel values. Cannot be used with binary files. Usually"," or "\t", etc. |
cast | 1 | string | — | Data type to cast to. Possible types are listed above. Note that data can be lost when casting data. |
Return value
vector
Examples
vector $vec;
int $fileID;
int $fileID = `fileOpen "C:/FileTesting.txt" "r"`;
// Read the vector
// The -delims flag assumes you are reading from a text file
$vec = `readVec $fileID -delim ","`;
fileClose $fileID;
// Display the value
print $vec;
ERROR
The requested URL could not be retrieved
The following error was encountered while trying to retrieve the URL: https://scroll-exporter-extensions.de.exporter.k15t.app/*
Unable to forward this request at this time.
This request could not be forwarded to the origin server or to any parent caches.
Some possible problems are:
- An Internet connection needed to access this domains origin servers may be down.
- All configured parent caches may be currently unreachable.
- The administrator may not allow this cache to make direct connections to origin servers.
Your cache administrator is webmaster.
Generated Wed, 02 Apr 2025 09:24:43 GMT by ip-10-19-3-88 (squid)
