return this.whitespaceNames.get(str) != null;
}
public bool isSpaceC (char str) {
- return this.whitespaceNames.get("" + str) != null;
+ var s = (string)str;
+ return this.whitespaceNames.get(s) != null;
}
public bool isNewline (string str) {
return this.newlineNames.get(str) != null;