}
public string punc (string ch) {
- return this.puncNames[ch];
+ return this.puncNames.get(ch); // ?? does [xxx] work!?
}
public bool isNumber (string str) {
public bool isSpace (string str) {
return this.whitespaceNames.get(str) != null;
}
-
+ public bool isSpaceC (char str) {
+ 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();