On Wed, 31 Aug 2022 13:26:32 GMT, Raffaello Giulietti <d...@openjdk.org> wrote:

>> Add support for named groups to java.util.regex.MatchResult
>
> Raffaello Giulietti has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   8065554: MatchResult should provide values of named-capturing groups

src/java.base/share/classes/java/util/regex/MatchResult.java line 319:

> 317:      *
> 318:      * @throws UnsupportedOperationException
> 319:      *          The default implementation of this method always throws

The `@throws` clause needs to state a general contract over all 
implementations, so it should say something like, "@throws UOE if the 
implementation does not support named groups". Then, the specification for the 
default implementation always throwing UOE should be moved to `@implSpec`.

-------------

PR: https://git.openjdk.org/jdk/pull/10000

Reply via email to