()
| 4136 | } |
| 4137 | |
| 4138 | final private boolean jj_3R_154() { |
| 4139 | Token xsp; |
| 4140 | xsp = jj_scanpos; |
| 4141 | if (jj_3R_160()) { |
| 4142 | jj_scanpos = xsp; |
| 4143 | if (jj_3R_161()) return true; |
| 4144 | } |
| 4145 | return false; |
| 4146 | } |
| 4147 | |
| 4148 | final private boolean jj_3R_71() { |
| 4149 | if (jj_scan_token(DOUBLE)) return true; |