stringD method
Implementation
String stringD(String at) {
if (compression && at.length > 3) {
int? index = strDD.indexOf(at);
if (index == -1) {
strDD.add(at);
index = strDD.length - 1;
}
return "_S[$index]";
}
return "'$at'";
}