return true;
}
- if (!this.sepIdents || found.index_of('.') < 0 ) {
+ if (!this.sepIdents || found.index_of(".") < 0 ) {
tokens.push(new Token(found, "NAME", "NAME", this.line));
return true;
}
- var n = found.split('.');
+ var n = found.split(".");
var p = false;
foreach (unowned string nm in n) {
if (p) {
- tokens.push(new Token('.', "PUNC", "DOT", this.line));
+ tokens.push(new Token(".", "PUNC", "DOT", this.line));
}
p=true;
tokens.push(new Token(nm, "NAME", "NAME", this.line));