(details = true)
| 719 | } |
| 720 | |
| 721 | toString(details = true) { |
| 722 | let result = `function${this.name ? ` ${this.name}` : ''}` + |
| 723 | `() range=${this.start}-${this.end}`; |
| 724 | if (details) result += ` script=${this.script ? this.script.id : 'X'}`; |
| 725 | return result; |
| 726 | } |
| 727 | } |
| 728 | |
| 729 |