public static void addSourcePosition(MElement dest, SourcePosition pos) { MSourcePosition sp = dest.createSourcePosition(); sp.setColumn(pos.column()); sp.setLine(pos.line()); File f = pos.file(); if (f != null) sp.setSourceURI(f.toURI());
public static void addSourcePosition(MElement dest, Doc src) { SourcePosition pos = src.position(); if (pos != null) addSourcePosition(dest,pos);
  public static void addSourcePosition(MElement dest, SourcePosition pos) {    MSourcePosition sp = dest.createSourcePosition();    sp.setColumn(pos.column());    sp.setLine(pos.line());    File f = pos.file();    if (f != null) sp.setSourceURI(f.toURI());  }