.. index:: number_grammars(Format) .. _number_grammars/1:

.. rst-class:: right

object

number_grammars(Format)

Number grammars.

| Availability: | logtalk_load(grammars(loader))

| Author: Paulo Moura | Version: 0:2:2 | Date: 2024-03-14

| Compilation flags: | static, context_switching_calls

| Uses: | :ref:`list <list/0>`

| Remarks: | (none)

| Inherited public predicates: | (none)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: bit//1 .. _number_grammars/1::bit//1:

bit//1 ^^^^^^^^^^

Parses a single bit.

| Compilation flags: | static

| Template: | bit(Bit) | Mode and number of proofs: | bit(?integer) - zero_or_one

---

.. index:: bits//1 .. _number_grammars/1::bits//1:

bits//1 ^^^^^^^^^^^

Parses a sequence of one or more bits.

| Compilation flags: | static

| Template: | bits(Bits) | Mode and number of proofs: | bits(?list(integer)) - zero_or_one

---

.. index:: digit//1 .. _number_grammars/1::digit//1:

digit//1 ^^^^^^^^^^^^

Parses a single decimal digit.

| Compilation flags: | static

| Template: | digit(Digit) | Mode and number of proofs: | digit(?atomic) - zero_or_one

---

.. index:: digits//1 .. _number_grammars/1::digits//1:

digits//1 ^^^^^^^^^^^^^

Parses a sequence of zero of more digits.

| Compilation flags: | static

| Template: | digits(Digits) | Mode and number of proofs: | digits(?list(atomic)) - one

---

.. index:: hex_digit//1 .. _number_grammars/1::hex_digit//1:

hex_digit//1 ^^^^^^^^^^^^^^^^

Parses a single hexa-decimal digit.

| Compilation flags: | static

| Template: | hex_digit(HexDigit) | Mode and number of proofs: | hex_digit(?atomic) - zero_or_one

---

.. index:: hex_digits//1 .. _number_grammars/1::hex_digits//1:

hex_digits//1 ^^^^^^^^^^^^^^^^^

Parses a sequence of zero or more hexa-decimal digits.

| Compilation flags: | static

| Template: | hex_digits(HexDigits) | Mode and number of proofs: | hex_digits(?list(atomic)) - one

---

.. index:: natural//1 .. _number_grammars/1::natural//1:

natural//1 ^^^^^^^^^^^^^^

Parses a natural number (a non signed integer).

| Compilation flags: | static

| Template: | natural(Natural) | Mode and number of proofs: | natural(?non_negative_integer) - zero_or_one

---

.. index:: integer//1 .. _number_grammars/1::integer//1:

integer//1 ^^^^^^^^^^^^^^

Parses an integer.

| Compilation flags: | static

| Template: | integer(Integer) | Mode and number of proofs: | integer(?integer) - zero_or_one

---

.. index:: float//1 .. _number_grammars/1::float//1:

float//1 ^^^^^^^^^^^^

Parses a float.

| Compilation flags: | static

| Template: | float(Float) | Mode and number of proofs: | float(?float) - zero_or_one

---

.. index:: number//1 .. _number_grammars/1::number//1:

number//1 ^^^^^^^^^^^^^

Parses a number (an integer or a float).

| Compilation flags: | static

| Template: | number(Number) | Mode and number of proofs: | number(?number) - zero_or_one

---

.. index:: sign//1 .. _number_grammars/1::sign//1:

sign//1 ^^^^^^^^^^^

Parses a number sign (plus or minus).

| Compilation flags: | static

| Template: | sign(Sign) | Mode and number of proofs: | sign(?atomic) - zero_or_one

---

.. index:: dot//1 .. _number_grammars/1::dot//1:

dot//1 ^^^^^^^^^^

Parses a decimal dot.

| Compilation flags: | static

| Template: | dot(Dot) | Mode and number of proofs: | dot(?atomic) - zero_or_one

---

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)