file::name
← Back to Class file
Store the file name
field name
import fileio f = file("data.txt", file_read) writeln(f.name) ' Output: data.txt f.close()
Documentation version: 1.0.16. Updated on: 14 July 2025.Dinfio is designed and written by Muhammad Faruq Nuruddinsyah. Copyright © 2014-2025. All rights reserved.