Lines Matching refs:str

355 function AMremoveCharsAndBlanks(str,n) {  argument
358 if (str.charAt(n)=="\\" && str.charAt(n+1)!="\\" && str.charAt(n+1)!=" ")
359 st = str.slice(n+1);
360 else st = str.slice(n);
365 function AMposition(arr, str, n) { argument
374 if (arr[m]<str) n = m; else h = m;
378 for (var i=n; i<arr.length && arr[i]<str; i++);
382 function AMgetSymbol(str) { argument
392 for (var i=1; i<=str.length && more; i++) {
393 st = str.slice(0,i); //initial substring of length i
396 if (k<AMnames.length && str.slice(0,AMnames[k].length)==AMnames[k]){
401 more = k<AMnames.length && str.slice(0,AMnames[k].length)>=AMnames[k];
411 st = str.slice(0,1);
413 while ("0"<=st && st<="9" && k<=str.length) {
414 st = str.slice(k,k+1);
418 st = str.slice(k,k+1);
422 while ("0"<=st && st<="9" && k<=str.length) {
423 st = str.slice(k,k+1);
429 st = str.slice(0,k-1);
433 st = str.slice(0,1); //take 1 character
466 function AMparseSexpr(str) { //parses str and returns [node,tailstr] argument
469 str = AMremoveCharsAndBlanks(str,0);
470 symbol = AMgetSymbol(str); //either a token or a bracket or empty
472 return [null,str];
475 str = symbol.output+AMremoveCharsAndBlanks(str,symbol.input.length);
476 symbol = AMgetSymbol(str);
481 str = AMremoveCharsAndBlanks(str,symbol.input.length);
483 document.createTextNode(symbol.output)),str];
486 str = AMremoveCharsAndBlanks(str,symbol.input.length);
487 result = AMparseExpr(str,true);
498 if (symbol!=AMquote) str = AMremoveCharsAndBlanks(str,symbol.input.length);
499 if (str.charAt(0)=="{") i=str.indexOf("}");
500 else if (str.charAt(0)=="(") i=str.indexOf(")");
501 else if (str.charAt(0)=="[") i=str.indexOf("]");
502 else if (symbol==AMquote) i=str.slice(1).indexOf("\"")+1;
504 if (i==-1) i = str.length;
505 st = str.slice(1,i);
518 str = AMremoveCharsAndBlanks(str,i+1);
519 return [AMcreateMmlNode("mrow",newFrag),str];
521 str = AMremoveCharsAndBlanks(str,symbol.input.length);
522 result = AMparseSexpr(str);
524 document.createTextNode(symbol.output)),str];
526 st = str.charAt(0);
529 document.createTextNode(symbol.output)),str];
567 str = AMremoveCharsAndBlanks(str,symbol.input.length);
568 result = AMparseSexpr(str);
570 document.createTextNode(symbol.input)),str];
574 document.createTextNode(symbol.input)),str];
582 str = AMremoveCharsAndBlanks(str,symbol.input.length);
583 return [AMcreateMmlNode("mo",document.createTextNode(symbol.output)),str];
585 str = AMremoveCharsAndBlanks(str,symbol.input.length);
594 return [AMcreateMmlNode("mrow",newFrag),str];
598 str = AMremoveCharsAndBlanks(str,symbol.input.length);
599 result = AMparseExpr(str,false);
613 return [node,str];
617 str = AMremoveCharsAndBlanks(str,symbol.input.length);
619 document.createTextNode(symbol.output)),str];
623 function AMparseIexpr(str) { argument
625 str = AMremoveCharsAndBlanks(str,0);
626 sym1 = AMgetSymbol(str);
627 result = AMparseSexpr(str);
629 str = result[1];
630 symbol = AMgetSymbol(str);
632 str = AMremoveCharsAndBlanks(str,symbol.input.length);
634 result = AMparseSexpr(str);
638 str = result[1];
641 sym2 = AMgetSymbol(str);
644 str = AMremoveCharsAndBlanks(str,sym2.input.length);
645 var res2 = AMparseSexpr(str);
647 str = res2[1];
661 return [node,str];
664 function AMparseExpr(str,rightbracket) { argument
668 str = AMremoveCharsAndBlanks(str,0);
669 result = AMparseIexpr(str);
671 str = result[1];
672 symbol = AMgetSymbol(str);
674 str = AMremoveCharsAndBlanks(str,symbol.input.length);
675 result = AMparseIexpr(str);
679 str = result[1];
684 symbol = AMgetSymbol(str);
748 str = AMremoveCharsAndBlanks(str,symbol.input.length);
754 return [newFrag,str];
757 function AMparseMath(str) { argument
763 node.appendChild(AMparseExpr(str.replace(/^\s+/g,""),false)[0]);
766 node.setAttribute("title",str.replace(/\s+/g," "));//does not show in Gecko
797 var mtch, str, arr, frg, i;
803 str = n.nodeValue;
804 if (!(str == null)) {
805 str = str.replace(/\r\n\r\n/g,"\n\n");
807 str = str.replace(/\x20\x20\./g," "+AMdelimiter1+".");
808 str = str.replace(/\x20\x20,/g," "+AMdelimiter1+",");
809 str = str.replace(/\x20\x20/g," "+AMdelimiter1+" ");
811 str = str.replace(/\x20+/g," ");
812 str = str.replace(/\s*\r\n/g," ");
814 str = str.replace(new RegExp(AMescape2, "g"),
816 str = str.replace(new RegExp(AMescape1, "g"),
818 str = str.replace(new RegExp(AMdelimiter2regexp, "g"),AMdelimiter1);
819 arr = str.split(AMdelimiter1);