in jflex/src/main/java/jflex/core/unicode/UnicodeProperties.java [141:377]
private void init(String version) throws UnsupportedUnicodeVersionException {
switch (version) {
case "1.1":
case "1.1.5":
bind(
jflex.core.unicode.data.Unicode_1_1.propertyValues,
jflex.core.unicode.data.Unicode_1_1.intervals,
jflex.core.unicode.data.Unicode_1_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_1_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_1_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_1_1.caselessMatchPartitionSize);
break;
case "2":
case "2.0":
case "2.0.14":
bind(
jflex.core.unicode.data.Unicode_2_0.propertyValues,
jflex.core.unicode.data.Unicode_2_0.intervals,
jflex.core.unicode.data.Unicode_2_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_2_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_2_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_2_0.caselessMatchPartitionSize);
break;
case "2.1":
case "2.1.9":
bind(
jflex.core.unicode.data.Unicode_2_1.propertyValues,
jflex.core.unicode.data.Unicode_2_1.intervals,
jflex.core.unicode.data.Unicode_2_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_2_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_2_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_2_1.caselessMatchPartitionSize);
break;
case "3":
case "3.0":
case "3.0.1":
bind(
jflex.core.unicode.data.Unicode_3_0.propertyValues,
jflex.core.unicode.data.Unicode_3_0.intervals,
jflex.core.unicode.data.Unicode_3_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_3_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_3_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_3_0.caselessMatchPartitionSize);
break;
case "3.1":
case "3.1.1":
bind(
jflex.core.unicode.data.Unicode_3_1.propertyValues,
jflex.core.unicode.data.Unicode_3_1.intervals,
jflex.core.unicode.data.Unicode_3_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_3_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_3_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_3_1.caselessMatchPartitionSize);
break;
case "3.2":
case "3.2.0":
bind(
jflex.core.unicode.data.Unicode_3_2.propertyValues,
jflex.core.unicode.data.Unicode_3_2.intervals,
jflex.core.unicode.data.Unicode_3_2.propertyValueAliases,
jflex.core.unicode.data.Unicode_3_2.maximumCodePoint,
jflex.core.unicode.data.Unicode_3_2.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_3_2.caselessMatchPartitionSize);
break;
case "4":
case "4.0":
case "4.0.1":
bind(
jflex.core.unicode.data.Unicode_4_0.propertyValues,
jflex.core.unicode.data.Unicode_4_0.intervals,
jflex.core.unicode.data.Unicode_4_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_4_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_4_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_4_0.caselessMatchPartitionSize);
break;
case "4.1":
case "4.1.0":
bind(
jflex.core.unicode.data.Unicode_4_1.propertyValues,
jflex.core.unicode.data.Unicode_4_1.intervals,
jflex.core.unicode.data.Unicode_4_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_4_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_4_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_4_1.caselessMatchPartitionSize);
break;
case "5":
case "5.0":
case "5.0.0":
bind(
jflex.core.unicode.data.Unicode_5_0.propertyValues,
jflex.core.unicode.data.Unicode_5_0.intervals,
jflex.core.unicode.data.Unicode_5_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_5_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_5_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_5_0.caselessMatchPartitionSize);
break;
case "5.1":
case "5.1.0":
bind(
jflex.core.unicode.data.Unicode_5_1.propertyValues,
jflex.core.unicode.data.Unicode_5_1.intervals,
jflex.core.unicode.data.Unicode_5_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_5_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_5_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_5_1.caselessMatchPartitionSize);
break;
case "5.2":
case "5.2.0":
bind(
jflex.core.unicode.data.Unicode_5_2.propertyValues,
jflex.core.unicode.data.Unicode_5_2.intervals,
jflex.core.unicode.data.Unicode_5_2.propertyValueAliases,
jflex.core.unicode.data.Unicode_5_2.maximumCodePoint,
jflex.core.unicode.data.Unicode_5_2.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_5_2.caselessMatchPartitionSize);
break;
case "6":
case "6.0":
case "6.0.0":
bind(
jflex.core.unicode.data.Unicode_6_0.propertyValues,
jflex.core.unicode.data.Unicode_6_0.intervals,
jflex.core.unicode.data.Unicode_6_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_6_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_6_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_6_0.caselessMatchPartitionSize);
break;
case "6.1":
case "6.1.0":
bind(
jflex.core.unicode.data.Unicode_6_1.propertyValues,
jflex.core.unicode.data.Unicode_6_1.intervals,
jflex.core.unicode.data.Unicode_6_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_6_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_6_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_6_1.caselessMatchPartitionSize);
break;
case "6.2":
case "6.2.0":
bind(
jflex.core.unicode.data.Unicode_6_2.propertyValues,
jflex.core.unicode.data.Unicode_6_2.intervals,
jflex.core.unicode.data.Unicode_6_2.propertyValueAliases,
jflex.core.unicode.data.Unicode_6_2.maximumCodePoint,
jflex.core.unicode.data.Unicode_6_2.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_6_2.caselessMatchPartitionSize);
break;
case "6.3":
case "6.3.0":
bind(
jflex.core.unicode.data.Unicode_6_3.propertyValues,
jflex.core.unicode.data.Unicode_6_3.intervals,
jflex.core.unicode.data.Unicode_6_3.propertyValueAliases,
jflex.core.unicode.data.Unicode_6_3.maximumCodePoint,
jflex.core.unicode.data.Unicode_6_3.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_6_3.caselessMatchPartitionSize);
break;
case "7":
case "7.0":
case "7.0.0":
bind(
jflex.core.unicode.data.Unicode_7_0.propertyValues,
jflex.core.unicode.data.Unicode_7_0.intervals,
jflex.core.unicode.data.Unicode_7_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_7_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_7_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_7_0.caselessMatchPartitionSize);
break;
case "8":
case "8.0":
case "8.0.0":
bind(
jflex.core.unicode.data.Unicode_8_0.propertyValues,
jflex.core.unicode.data.Unicode_8_0.intervals,
jflex.core.unicode.data.Unicode_8_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_8_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_8_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_8_0.caselessMatchPartitionSize);
break;
case "9":
case "9.0":
case "9.0.0":
bind(
jflex.core.unicode.data.Unicode_9_0.propertyValues,
jflex.core.unicode.data.Unicode_9_0.intervals,
jflex.core.unicode.data.Unicode_9_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_9_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_9_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_9_0.caselessMatchPartitionSize);
break;
case "10":
case "10.0":
case "10.0.0":
bind(
jflex.core.unicode.data.Unicode_10_0.propertyValues,
jflex.core.unicode.data.Unicode_10_0.intervals,
jflex.core.unicode.data.Unicode_10_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_10_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_10_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_10_0.caselessMatchPartitionSize);
break;
case "11":
case "11.0":
case "11.0.0":
bind(
jflex.core.unicode.data.Unicode_11_0.propertyValues,
jflex.core.unicode.data.Unicode_11_0.intervals,
jflex.core.unicode.data.Unicode_11_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_11_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_11_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_11_0.caselessMatchPartitionSize);
break;
case "12":
case "12.0":
case "12.0.0":
bind(
jflex.core.unicode.data.Unicode_12_0.propertyValues,
jflex.core.unicode.data.Unicode_12_0.intervals,
jflex.core.unicode.data.Unicode_12_0.propertyValueAliases,
jflex.core.unicode.data.Unicode_12_0.maximumCodePoint,
jflex.core.unicode.data.Unicode_12_0.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_12_0.caselessMatchPartitionSize);
break;
case "12.1":
case "12.1.0":
bind(
jflex.core.unicode.data.Unicode_12_1.propertyValues,
jflex.core.unicode.data.Unicode_12_1.intervals,
jflex.core.unicode.data.Unicode_12_1.propertyValueAliases,
jflex.core.unicode.data.Unicode_12_1.maximumCodePoint,
jflex.core.unicode.data.Unicode_12_1.caselessMatchPartitions,
jflex.core.unicode.data.Unicode_12_1.caselessMatchPartitionSize);
break;
default:
throw new UnsupportedUnicodeVersionException();
}
}