public SourcePositionImpl(JavaFileObject sourcefile, int pos, Position.LineMap linemap) {
        this.sourcefile = sourcefile;
        this.pos = pos;
        this.linemap = linemap;
        assert sourcefile != null;
        assert linemap != null;
    }