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_callsUses:
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
bit//1
Parses a single bit.
Compilation flags:
staticTemplate:
bit(Bit)Mode and number of proofs:
bit(?integer) - zero_or_onebits//1
Parses a sequence of one of more bits.
Compilation flags:
staticTemplate:
bits(Bits)Mode and number of proofs:
bits(?list(integer)) - zero_or_onedigit//1
Parses a single decimal digit.
Compilation flags:
staticTemplate:
digit(Digit)Mode and number of proofs:
digit(?atomic) - zero_or_onedigits//1
Parses a sequence of zero of more digits.
Compilation flags:
staticTemplate:
digits(Digits)Mode and number of proofs:
digits(?list(atomic)) - onehex_digit//1
Parses a single hexa-decimal digit.
Compilation flags:
staticTemplate:
hex_digit(HexDigit)Mode and number of proofs:
hex_digit(?atomic) - zero_or_onehex_digits//1
Parses a sequence of zero or more hexa-decimal digits.
Compilation flags:
staticTemplate:
hex_digits(HexDigits)Mode and number of proofs:
hex_digits(?list(atomic)) - onenatural//1
Parses a natural number (a non signed integer).
Compilation flags:
staticTemplate:
natural(Natural)Mode and number of proofs:
natural(?non_negative_integer) - zero_or_oneinteger//1
Parses an integer.
Compilation flags:
staticTemplate:
integer(Integer)Mode and number of proofs:
integer(?integer) - zero_or_onefloat//1
Parses a float.
Compilation flags:
staticTemplate:
float(Float)Mode and number of proofs:
float(?float) - zero_or_onenumber//1
Parses a number (an integer or a float).
Compilation flags:
staticTemplate:
number(Number)Mode and number of proofs:
number(?number) - zero_or_onesign//1
Parses a number sign (plus or minus).
Compilation flags:
staticTemplate:
sign(Sign)Mode and number of proofs:
sign(?atomic) - zero_or_onedot//1
Parses a decimal dot.
Compilation flags:
staticTemplate:
dot(Dot)Mode and number of proofs:
dot(?atomic) - zero_or_oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)