%! %! More...

Detailed Description

%! %!

%!

Class Documentation

◆ current_line_number/1

class current_line_number/1

current_line_number(- LineNumber)

Unify LineNumber with the line number for the current output stream

◆ current_line_number/2

class current_line_number/2

current_line_number(+ Stream,- LineNumber)

Unify LineNumber with the line number for Stream

◆ stream_position/2

class stream_position/2

stream_position(+ Stream,- StreamPosition)

Unify StreamPosition with the packaged information of position on current stream Stream Use stream_position_data/3 to retrieve information on character or line count

◆ stream_position/3

class stream_position/3

stream_position(+ Stream,- StreamPosition, +_NewPosition_)

Unify StreamPosition with the packaged information of position on current stream Stream an then moves to position NewPosition

◆ at_end_of_line/1

class at_end_of_line/1

at_end_of_line( +Stream )

Tests whether the next character in the stream is a line break character

◆ current_char_conversion/2

class current_char_conversion/2

current_char_conversion(? IN,? OUT)

defined in the ISO standard

If IN is unbound give all current character translations Otherwise, give the translation for IN, if one exists

◆ current_stream/3

class current_stream/3

current_stream( F, M, S)

Defines the relation: The stream S is opened on the file F in mode M It might be used to obtain all open streams (by backtracking) or to access the stream for a file F in mode M, or to find properties for a stream S Notice that some streams might not be associated to a file: in this case YAP tries to return the file number If that is not available, YAP unifies F with S

◆ stream_position_data/3

class stream_position_data/3

stream_position_data(+ Field,+ StreamPosition,- Info)

Extract values from stream position objects

'$stream_position' is of the format '$stream_position'(Byte, Char, Line, LinePos) Given the packaged stream position term StreamPosition, unify Info with Field line_count, byte_count, or char_count