11.3.219 stream_position_data/3

Synopsis

stream_position_data(?Field, ?Position, ?Value)

Value is the value of the Field field of stream position object Position.

Arguments

Field
one of [byte_count,line_count,character_count,line_position]

Note that byte_count is meaningful only for binary streams and that the other values are meaningful only for text streams.

Position
term

Stream position object representing the current position of Stream.

Value
integer

Backtracking

Can be used to backtrack over the fields.

See Also

ref-iou-sfh.


Send feedback on this subject.