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