Annotation that indicates that an option/argument denotes a port number and
its value should be restricted as such to a specific set of ports. If you
just want to restrict to a predefined port type you should use @Port
instead, or if you need just a single port range then use @PortRange.