SPARK Documentation

This is auto-generated documentation.

Contents:

• Actions
• Functions

close $desc

Closes the file $desc.

copyFile $src $des

Copies the contents of file $src, creating or overwriting file $des.

flush $desc

Requests that $desc's buffer be written out to the operating systsm..

open $fname $mode $desc

Returns a file descriptor, opening or creating a file named $fname.

read $desc $num $text

Reads $num many bytes of the file $desc and returns the content.

readAll $desc $text

Reads all of the remaining of the file $desc and returns the content.

readLine $desc $text

Reads one line of the file $desc and returns the content.

seek $desc $pos $how

Sets $desc's current position to the signed integer byte offset $pos from a reference point.

truncate $desc $size

Truncates the file to be at most $size bytes

write $desc $str

Writes the bytes of string $str to the file.

writeLines $desc $lines

Writes each line in $lines $str to the file.

filename $desc

Returns the name of the file.

tell $desc

Returns $desc's current position.