On Wed, 8 Feb 2023 11:19:32 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>> Any reference to an official specification of CharacterRangeInfo is >> appreciated. >> Thanks. > >> Any reference to an official specification of CharacterRangeInfo is >> appreciated. Thanks. > > There's this - which points back to javac code :-) > > https://github.com/jacoco/jacoco/wiki/CharacterRangeTable Unfortunately I don't have enough information to provide static helpers. ------------- PR: https://git.openjdk.org/jdk/pull/10982