355 // array declarations: |
355 // array declarations: |
356 // e.g. int[][] a = new int[2][]; |
356 // e.g. int[][] a = new int[2][]; |
357 check("encl.start <= start", encl, self, encl.start <= self.start); |
357 check("encl.start <= start", encl, self, encl.start <= self.start); |
358 check("start <= pos", encl, self, self.start <= self.pos); |
358 check("start <= pos", encl, self, self.start <= self.pos); |
359 if (!(self.tag == JCTree.TYPEARRAY |
359 if (!(self.tag == JCTree.TYPEARRAY |
360 && (encl.tag == JCTree.VARDEF || encl.tag == JCTree.TYPEARRAY))) { |
360 && (encl.tag == JCTree.VARDEF || |
|
361 encl.tag == JCTree.METHODDEF || |
|
362 encl.tag == JCTree.TYPEARRAY))) { |
361 check("encl.pos <= start || end <= encl.pos", |
363 check("encl.pos <= start || end <= encl.pos", |
362 encl, self, encl.pos <= self.start || self.end <= encl.pos); |
364 encl, self, encl.pos <= self.start || self.end <= encl.pos); |
363 } |
365 } |
364 check("pos <= end", encl, self, self.pos <= self.end); |
366 check("pos <= end", encl, self, self.pos <= self.end); |
365 if (!(self.tag == JCTree.TYPEARRAY && encl.tag == JCTree.TYPEARRAY)) { |
367 if (!(self.tag == JCTree.TYPEARRAY && encl.tag == JCTree.TYPEARRAY)) { |