public void DefineSequencePoint(ILocation location, uint offset) {
IPrimarySourceLocation ploc = null;
foreach (IPrimarySourceLocation psloc in this.sourceLocationProvider.GetPrimarySourceLocationsFor(location)) {
ploc = psloc;
break;
}
if (ploc == null) return;
if (ploc.Document != this.currentDocument && this.currentDocument != null && ploc.Document != SourceDummy.PrimarySourceDocument)
this.DefineSequencePointsForCurrentDocument();
if (ploc.Document != SourceDummy.PrimarySourceDocument)
this.currentDocument = ploc.PrimarySourceDocument;
this.offsets.Add(offset);
this.startLines.Add((uint)ploc.StartLine);
this.startColumns.Add((uint)ploc.StartColumn);
this.endLines.Add((uint)ploc.EndLine);
this.endColumns.Add((uint)ploc.EndColumn);
}