HP d640 HP D640 High-Volume Printer - PostScript Emulation Manual, C5630-90002 - Page 47

File System Operators, Operator, Description, string, filename, access, params, template, scratch

Page 47 highlights

File System Operators Operator Description file closefile - Closes the file specified. string deletefile - Deletes the file specified. filename access file file Opens the file identified by filename, accessing it as specified by access. src|tgt param(s) name filter file Creates and returns a filtered file. template proc scratch filenameforall - Lists all files whose names match the specified template. Executes the procedure specified for all the files listed. file fileposition int Returns the current position in an existing open file. file read int true or false Reads the next character from the file specified unless an end-of-file indicator is encountered. file string readhexstring substring bool Reads characters (in the form of hexadecimal digits) from a file. file string readstring substring bool Reads characters from the file specified and stored them as successive elements of the string specified. file string readline substring bool Reads a line of characters (terminated by a newline character) from the file specified and stores them in successive elements of the string specified. file token token true or false Reads characters from the file specified until an entire object has been scanned and constructed. string run - Executes the contents of the file specified. file int write - Appends one character to the file specified. file string writehexstring - Writes all the characters specified by string to a file as hexadecimal digits. file string writestring - Writes the characters specified by string to the file specified. file obj int writeobject - Writes a binary object sequence to the file specified. string1 string2 renamefile - Changes the name of the file from string1 to string2. file int setfileposition - Repositions an existing, open file to a new position so the next read or write operation will commence at that position. Chapter 3: Technical Reference 43

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52

Chapter 3: Technical Reference
43
File System Operators
Operator
Description
file
closefile
Closes the file specified.
string
deletefile
Deletes the file specified.
filename
access
file
file
Opens the file identified by filename,
accessing it as specified by access.
src
|
tgt
param(s)
name
filter
file
Creates and returns a filtered file.
template
proc
scratch
filenameforall
Lists all files whose names match the
specified template. Executes the procedure
specified for all the files listed.
file
fileposition
int
Returns the current position in an existing
open file.
file
read
int
true
or
false
Reads the next character from the file
specified unless an end-of-file indicator is
encountered.
file
string
readhexstring
substring
bool
Reads characters (in the form of
hexadecimal digits) from a file.
file
string
readstring
substring
bool
Reads characters from the file specified and
stored them as successive elements of the
string specified.
file
string
readline
substring
bool
Reads a line of characters (terminated by a
newline character) from the file specified and
stores them in successive elements of the
string specified.
file
token
token
true
or
false
Reads characters from the file specified until
an entire object has been scanned and
constructed.
string
run
Executes the contents of the file specified.
file
int
write
Appends one character to the file specified.
file
string
writehexstring
Writes all the characters specified by string
to a file as hexadecimal digits.
file
string
writestring
Writes the characters specified by string to
the file specified.
file
obj
int
writeobject
Writes a binary object sequence to the file
specified.
string1
string2
renamefile
Changes the name of the file from string1 to
string2.
file
int
setfileposition
Repositions an existing, open file to a new
position so the next read or write operation
will commence at that position.