file line

A <file line> object produces strings from a text file.

Parent: string
Version Platforms
8.0.584.0 AIX, HP-UX, Mac, Red Hat, SUSE, Solaris, Windows
8.1.535.0 Debian, Ubuntu
9.5.13.130 Raspbian

Creation

line <integer> of <file> : file line
line containing <string> of <file> : file line
line of <file> : file line
line starting with <string> of <file> : file line
locked line <integer> of <file> : file line
locked line containing <string> of <file> : file line
locked line of <file> : file line
locked line starting with <string> of <file> : file line

Properties

line number of <file line> : integer
next line of <file line> : file line
previous line of <file line> : file line