Lines Matching defs:depth
105 if (p.result != null && p.depth < BIG
117 if (p.result != null && p.depth < BIG) {
202 if (p.result != null && p.depth < lastMatchDepth
204 lastDepth = p.depth;
216 if (p.result != null && p.depth < lastMatchDepth) {
217 lastDepth = p.depth;
265 int depth;
272 depth = 0;
274 RegexpNode (char C, int depth) {
276 this.depth = depth;
281 p = new RegexpNode (C, depth+1);
288 p = new RegexpNode (C, depth+1);