Lines Matching defs:Context2
51 private Context2 currentContext; // Current point on the double-linked stack
99 currentContext = new Context2(null);
125 Context2 parentContext=currentContext;
128 currentContext = new Context2(parentContext);
153 Context2 parentContext=currentContext.getParent();
441 final class Context2 {
469 private Context2 parent = null;
470 private Context2 child = null;
475 Context2 (Context2 parent)
493 Context2 getChild()
502 Context2 getParent()
510 * when a Context2 is reused by push-after-pop.
514 void setParent (Context2 parent)
721 * the Context2 will share data structures with its parent.
725 * <p> JJK: **** Alternative: each Context2 might declare
