public SourceLocationSpanningEntirePrimaryDocument(IPrimarySourceDocument primarySourceDocument) : base(primarySourceDocument, 0, 0) { Contract.Requires(primarySourceDocument != null); }