object
ip_grammars(Format)
IP address grammars.
Availability:
logtalk_load(grammars(loader))Author: Paulo Moura
Version: 0:1:1
Date: 2022-10-08
Compilation flags:
static, context_switching_callsUses:
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
ipv4//1
Parses an IPv4 network address in the format XXX.XXX.XXX.XXX where each XXX is an octet (i.e., an integer between 0 and 255).
Compilation flags:
staticTemplate:
ipv4(Octets)Mode and number of proofs:
ipv4(?list(integer)) - zero_or_oneipv6//1
Parses an IPv6 network address in the format XXXX.XXXX.XXXX.XXXX.XXXX.XXXX.XXXX.XXXX where each X is a hexadecimal digit.
Compilation flags:
staticTemplate:
ipv6(HexDigits)Mode and number of proofs:
ipv6(?list(integer)) - oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)