public SourcePosition getPosition() {
        // Imprecise implementation; just return position of enclosing
        // annotation.
        return (annotation == null) ? null : annotation.getPosition();
    }