error("Invalid floating point number");
return value;
},
- getString: function(ch) {
+ getString: function() {
var n = 0;
var numParen = 1;
var done = false;
- var str = ch;
+ var str = "";
var stream = this.stream;
do {
switch (ch = stream.getChar()) {
case '+': case '-': case '.':
return this.getNumber(ch);
case '(':
- return this.getString(ch);
+ return this.getString();
case '/':
return this.getName(ch);
// array punctuation