this.puncNames.set(x[0],x[1]);
}
- ws = {
+ string[] wsp = {
"LEFT_PAREN:RIGHT_PAREN",
"RIGHT_PAREN:LEFT_PAREN",
"LEFT_CURLY:RIGHT_CURLY",
"LEFT_BRACE:RIGHT_BRACE",
"RIGHT_BRACE:LEFT_BRACE"
};
- for(var i =0; i< ws.length;i++ ) {
- var x = ws[i].split(":");
+ for(var i =0; i< wsp.length;i++ ) {
+ var x = wsp[i].split(":");
this.matchingNames.set(x[0],x[1]);
}