/** Returns the current line number within this Source. */ public int getLine() { Source parent = getParent(); if (parent == null) return 0; return parent.getLine(); }