public int depth() { if (contextFrame == null) { return -1; } else { return contextFrame.depth(); } }