From 061851e68fbe7656f9ee8174c74de03f4bbbe59f Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 1 Jan 2025 10:26:50 +0000 Subject: Update JSON5 parser to use character instead of code point index --- src/main/java/org/shedlang/compiler/config/json/Json5Source.java | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'src/main/java') diff --git a/src/main/java/org/shedlang/compiler/config/json/Json5Source.java b/src/main/java/org/shedlang/compiler/config/json/Json5Source.java index 6b761a6a..409dc265 100644 --- a/src/main/java/org/shedlang/compiler/config/json/Json5Source.java +++ b/src/main/java/org/shedlang/compiler/config/json/Json5Source.java @@ -7,12 +7,9 @@ public class Json5Source { private Json5Source() {} public static Source fromSourceRange(Source fullSource, Json5SourceRange sourceRange) { - // TODO: decide whether we're using code points or code units, and make - // consistent (currently Shed sources use UTF-16 code units, JSON5 - // sources use code points) return fullSource.at( - sourceRange.startCodePointIndex(), - sourceRange.endCodePointIndex() + sourceRange.start().characterIndex(), + sourceRange.end().characterIndex() ); } } -- cgit v1.2.3