object

blank_grammars(Format)

Blank grammars.

Author: Paulo Moura
Version: 0:3:0
Date: 2022-02-16
Compilation flags:
static, context_switching_calls
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

white_space//0

Consumes a single space or tab.

Compilation flags:
static
Mode and number of proofs:
white_space - zero_or_one

white_spaces//0

Consumes zero or more spaces and tabs.

Compilation flags:
static
Mode and number of proofs:
white_spaces - one

space//0

Consumes a single space.

Compilation flags:
static
Mode and number of proofs:
space - zero_or_one

spaces//0

Consumes zero or more spaces.

Compilation flags:
static
Mode and number of proofs:
spaces - one

tab//0

Consumes a single tab.

Compilation flags:
static
Mode and number of proofs:
tab - zero_or_one

tabs//0

Consumes zero or more tabs.

Compilation flags:
static
Mode and number of proofs:
tabs - one

new_line//0

Consumes a single new line.

Compilation flags:
static
Mode and number of proofs:
new_line - zero_or_one

new_lines//0

Consumes zero or more new lines.

Compilation flags:
static
Mode and number of proofs:
new_lines - one

blank//0

Consumes a single space, tab, vertical tab, line feed, or new line.

Compilation flags:
static
Mode and number of proofs:
blank - zero_or_one

blanks//0

Consumes zero or more spaces, tabs, vertical tabs, line feeds, or new lines.

Compilation flags:
static
Mode and number of proofs:
blanks - one

non_blank//1

Returns a single non-blank character or character code.

Compilation flags:
static
Mode and number of proofs:
non_blank(-atomic) - zero_or_one

non_blanks//1

Returns a (possibly empty) list of non-blank characters or character codes.

Compilation flags:
static
Mode and number of proofs:
non_blanks(-list(atomic)) - one

control//0

Consumes a single control character or character code. Support for the null control character depends on the Prolog backend.

Compilation flags:
static
Mode and number of proofs:
control - zero_or_one

controls//0

Consumes zero or more control characters or character codes. Support for the null control character depends on the Prolog backend.

Compilation flags:
static
Mode and number of proofs:
controls - one

Protected predicates

(none)

Private predicates

(none)

Operators

(none)