The Iso Byte Char module

Author(s): The CLIP Group, Daniel Cabeza, Documentation written by Edison Mera, based on ISO Prolog standard. Minor mods by M. Hermenegildo..

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.9#217 (2003/12/21, 15:33:54 CET)

This module provides some basic predicates according to the ISO specification of byte and char manipulation.

• Usage and interface (iso_byte_char)
• Documentation on exports (iso_byte_char)

Usage and interface (iso_byte_char)

Documentation on exports (iso_byte_char)

PREDICATE: char_code/2:

char_code(Char, Code)

Succeeds iff the character code of the one char atom Char is Code.

PREDICATE: atom_chars/2:

atom_chars(Atom, Chars)

Succeeds iff Chars is a list whose elements are the one-char atoms whose names are the successive characters of the name of atom Atom

PREDICATE: number_chars/2:

number_chars(Number, Chars)

Success iff Chars is a list whose elements are the one-char atoms corresponding to a character sequence of Number which could be output

PREDICATE: get_byte/1:

Usage: get_byte(?int) * ISO *

• Description: Same as get_byte/2, but use the current input.

PREDICATE: get_byte/2:

get_byte(Stream, Byte)

Is true iff Byte unifies with the next byte to be input from the target Stream.

PREDICATE: peek_byte/1:

Usage: peek_byte(?int) * ISO *

• Description: Same as peek_byte/2, but use the current input.

PREDICATE: peek_byte/2:

peek_byte(Stream, Byte)

Is true iff Byte unifies with the next byte to be input from the target Stream.

PREDICATE: put_byte/1:

Usage: put_byte(+int) * ISO *

• Description: Same as put_byte/2, but use the current input.

PREDICATE: put_byte/2:

put_byte(Stream, Byte)

Is true. Procedurally, putbyte/2 is executed as follows:

a) Outputs the byte Byte to the target stream.

b) Changes the stream position of the target stream to take account of the byte which has been output.

c) The goal succeeds.

PREDICATE: get_char/1:

Usage: get_char(?atm) * ISO *

• Description: Same as get_char/2, but use the current input.

PREDICATE: get_char/2:

get_char(Stream, Char)

Is true iif Char unifies with the next character to be input from the target Stream.

PREDICATE: peek_char/1:

Usage: peek_char(?atm) * ISO *

• Description: Similar to peek_code/1, but using char instead of code.

PREDICATE: peek_char/2:

Usage: peek_char(@stream, ?atm) * ISO *

• Description: Similar to peek_code/2, but using char instead of code.

PREDICATE: put_char/1:

Usage: put_char(+atm) * ISO *

• Description: Similar to put_code/1, but using char instead of code.

PREDICATE: put_char/2:

Usage: put_char(@stream, +atm) * ISO *

• Description: Similar to put_code/2, but using char instead of code.

Go to the first, previous, next, last section, table of contents.