Module Make

Utility predicates and classes that doesn’t depend on any signature.

Holds if term will always match a hostname, that is, all disjunctions contain a hostname pattern that isn’t inside a quantifier.

Holds if every child of alt contains a hostname pattern.

Holds if the first i children of alt contains a hostname pattern.

Holds if seq contains two consecutive dots .. or escaped dots.

Holds if the given regular expression term contains top-level domain preceded by a dot, such as .com.

Holds if the given sequence seq contains top-level domain preceded by a dot, such as .com, excluding cases where this is at the very beginning of the regexp.

Holds if regexp is a regular expression that is likely to match a hostname, but the pattern is incomplete and may match more hosts than intended.

Holds if the given constant is unlikely to occur in the origin part of a URL.

Holds if term is a dot constant of form \. or [.].

Holds if term is a wildcard . or an actual . character.

Holds if term occurs inside a quantifier or alternative (and thus can not be expected to correspond to a unique match), or as part of a lookaround assertion (which are rarely used for capture groups).

Holds if term is one of the transitive left children of a regexp.

Holds if group is likely to be used as a capture group.

Holds if term is one of the transitive right children of a regexp.

Holds if term will only ever be matched against the beginning of the input.