(int which)
| 623 | /// |
| 624 | /// String index |
| 625 | public final int getParenEnd(int which) { |
| 626 | if (which < parenCount) { |
| 627 | switch (which) { |
| 628 | case 0: |
| 629 | return end0; |
| 630 | |
| 631 | case 1: |
| 632 | return end1; |
| 633 | |
| 634 | case 2: |
| 635 | return end2; |
| 636 | |
| 637 | default: |
| 638 | if (endn == null) { |
| 639 | allocParens(); |
| 640 | } |
| 641 | return endn[which]; |
| 642 | } |
| 643 | } |
| 644 | return -1; |
| 645 | } |
| 646 | |
| 647 | /// Returns the length of a given paren level. |
| 648 | /// |