.. index:: ip_grammars(Format) .. _ip_grammars/1: .. rst-class:: right **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_calls`` | **Uses:** | :ref:`number_grammars(Format) ` | **Remarks:** | (none) | **Inherited public predicates:** | (none) .. contents:: :local: :backlinks: top Public predicates ----------------- .. index:: ipv4//1 .. _ip_grammars/1::ipv4//1: ``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:** | ``static`` | **Template:** | ``ipv4(Octets)`` | **Mode and number of proofs:** | ``ipv4(?list(integer))`` - ``zero_or_one`` ------------ .. index:: ipv6//1 .. _ip_grammars/1::ipv6//1: ``ipv6//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:** | ``static`` | **Template:** | ``ipv6(HexDigits)`` | **Mode and number of proofs:** | ``ipv6(?list(integer))`` - ``one`` ------------ Protected predicates -------------------- (no local declarations; see entity ancestors if any) Private predicates ------------------ (no local declarations; see entity ancestors if any) Operators --------- (none)