(int which)
| 592 | /// |
| 593 | /// String index |
| 594 | public final int getParenStart(int which) { |
| 595 | if (which < parenCount) { |
| 596 | switch (which) { |
| 597 | case 0: |
| 598 | return start0; |
| 599 | |
| 600 | case 1: |
| 601 | return start1; |
| 602 | |
| 603 | case 2: |
| 604 | return start2; |
| 605 | |
| 606 | default: |
| 607 | if (startn == null) { |
| 608 | allocParens(); |
| 609 | } |
| 610 | return startn[which]; |
| 611 | } |
| 612 | } |
| 613 | return -1; |
| 614 | } |
| 615 | |
| 616 | /// Returns the end index of a given paren level. |
| 617 | /// |