(String port)
| 976 | } |
| 977 | |
| 978 | @CanIgnoreReturnValue |
| 979 | Builder setRawPort(String port) { |
| 980 | if (port != null && !port.isEmpty()) { |
| 981 | try { |
| 982 | Integer.parseInt(port); // Result unused. |
| 983 | } catch (NumberFormatException e) { |
| 984 | throw new IllegalArgumentException("Invalid port", e); |
| 985 | } |
| 986 | } |
| 987 | this.port = port; |
| 988 | return this; |
| 989 | } |
| 990 | |
| 991 | /** |
| 992 | * Specifies the userinfo, host and port URI components all at once using a single string. |
no test coverage detected