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.1.03. Updated on: 11 February 2026.Dinfio is designed and written by Muhammad Faruq Nuruddinsyah. Copyright © 2014-2026. All rights reserved.