Philipp Maier 9a6425b6f2 runtime: add new API functions to get the record len and file size ...

We have an API function to get the number of records, let's now also
add API functions to get the record length and the overall size of
the currently selected file.

Related: OS#5714
Change-Id: Ica7811c04161d8098b40c7219ed6b939df716cfd

2024-09-17 17:59:46 +00:00

25 KiB

Raw Blame History

View Raw