public SourceInfo(SourceInfo o) { if (o == null) { source = null; beginSrcLine = 0; endSrcLine = 0; } else { source = o.source; beginSrcLine = o.beginSrcLine; endSrcLine = o.endSrcLine; } }
public SourceInfo(SourceInfo o) { if (o == null) { source = null; beginSrcLine = 0; endSrcLine = 0; } else { source = o.source; beginSrcLine = o.beginSrcLine; endSrcLine = o.endSrcLine; } }