11.3.221 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.

Exceptions

None.

See Also

ref-iou-sfh.