From 3ae2ed27054ed3da697909cdbef5853b60a56a17 Mon Sep 17 00:00:00 2001 From: Robin Leroy Date: Sat, 3 Feb 2024 18:53:25 +0100 Subject: [PATCH] still not that... --- .../unicode/props/IndexUnicodeProperties.java | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java b/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java index 2b07bfb48..282e899f4 100644 --- a/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java +++ b/unicodetools/src/main/java/org/unicode/props/IndexUnicodeProperties.java @@ -751,15 +751,25 @@ public List _getNameAliases(List result) { @Override protected List _getAvailableValues(List result) { + final long start = System.currentTimeMillis(); if (stringToNamedEnum != null) { result.addAll(enumValueNames); return result; + } else { + _getUnicodeMap().getAvailableValues(result); + } + final long stop = System.currentTimeMillis(); + final long Δt_in_ms = stop - start; + if (Δt_in_ms > 500) { + System.out.println("Long _getAvailableValues for " + prop + " " + ucdVersion + ": " + Δt_in_ms + " ms"); + new Throwable().printStackTrace(); } - return _getUnicodeMap().getAvailableValues(result); + return result; } @Override protected List _getValueAliases(String valueAlias, List result) { + final long start = System.currentTimeMillis(); if (stringToNamedEnum != null) { PropertyNames valueName = stringToNamedEnum.get(valueAlias); if (valueName != null) { @@ -771,6 +781,12 @@ protected List _getValueAliases(String valueAlias, List result) { result.add(valueAlias); } } + final long stop = System.currentTimeMillis(); + final long Δt_in_ms = stop - start; + if (Δt_in_ms > 500) { + System.out.println("Long _getValueAliases for " + prop + " " + ucdVersion + " " + valueAlias + ": " + Δt_in_ms + " ms"); + new Throwable().printStackTrace(); + } return result; } // @Override