230             line: 6,  property in parser.parser.symbols_
477                         text: lexer.match,
479                         line: lexer.yylineno,
566                     text: "",
568                     line: this.yylineno
651                     text: "",
653                     line: this.yylineno
1017     function actorEnsureDistance(a, b, d) {  argument
1023         b.x = Math.max(d - b.width / 2, b.x);
1027         a.paddingRight = Math.max(d, a.paddingRight);
1030         a.distances[b] = Math.max(d, a.distances[b] ? a.distances[b] : 0);
1133   textBBox: function(text, font) {},  argument
1250   drawTextBox: function(box, text, margin, padding, font, align) {  argument
1268     return this.drawText(x, y, text, font, align);
1409     textBBox: function(text, font) {  argument
1411       var t = this.createText(text, font);
1435     createText: function(text, font) {  argument
1436       text = _.invoke(text.split('\n'), 'trim');
1437       var t = this.paper_.text(0, 0, text);
1439       if (text.length > 1) {
1451       var line = this.paper_.line(x1, y1, x2, y2).attr(LINE);
1453         line.attr('strokeDasharray', this.lineTypes_[linetype]);
1456         line.attr('markerEnd', this.arrowMarkers_[arrowhead]);
1458       return this.pushToStack(line);
1473     drawText: function(x, y, text, font, align) {  argument
1474       var t = this.createText(text, font);
1539       var line = this.paper_.path(handLine(x1, y1, x2, y2)).attr(LINE);
1541         line.attr('strokeDasharray', this.lineTypes_[linetype]);
1544         line.attr('markerEnd', this.arrowMarkers_[arrowhead]);
1546       return this.pushToStack(line);
1583   Raphael.fn.line = function(x1, y1, x2, y2) {  function
1642     cleanText: function(text) {  argument
1643       text = _.invoke(text.split('\n'), 'trim');
1644       return text.join('\n');
1650     textBBox: function(text, font) {  argument
1651       text = this.cleanText(text);
1655         p = this.paper_.print(0, 0, text, font.obj_, font['font-size']);
1657         p = this.paper_.text(0, 0, text);
1668       var line = this.paper_.line(x1, y1, x2, y2).attr(LINE);
1670         line.attr('arrow-end', this.arrowTypes_[arrowhead] + '-wide-long');
1673         line.attr('stroke-dasharray', this.lineTypes_[linetype]);
1675       return line;
1689     drawText: function(x, y, text, font, align) {  argument
1690       text = this.cleanText(text);
1695       var bb = this.textBBox(text, font);
1705         t = paper.print(x - bb.x, y - bb.y, text, font.obj_, font['font-size']);
1707         t = paper.text(x - bb.x - bb.width / 2, y - bb.y, text);
1735           var line = this.paper_.path(handLine(x1, y1, x2, y2)).attr(LINE);
1737             line.attr('arrow-end', this.arrowTypes_[arrowhead] + '-wide-long');
1740             line.attr('stroke-dasharray', this.lineTypes_[linetype]);
1742           return line;
2714         var diagram = Diagram.parse($this.text());