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