tab/[1,2]

Synopsis

tab(+Integer)

tab(+Stream, +Integer)

Writes Integer spaces to the current output stream, or Stream.

Arguments

Stream stream_object

Integer expr

an integer expression.

Description

If Integer evaluates to a negative integer, tab/1 simply succeeds without doing anything.

If the current output device is the user's terminal, the spaces are not necessarily printed immediately; see ttyflush/0.

Exceptions

Stream errors (see ref-iou-sfh-est), plus:

instantiation_error

type_error

N is not an integer.

permission_error

There is an error in the bottom layer of write function of the stream.

See Also

ttyflush/0