/// <inheritdoc /> protected override void WritePlaceholderTerm(IPlaceholderTerm term, TextWriter writer) { #region Contract if (term == null) { throw new ArgumentNullException(nameof(term)); } if (writer == null) { throw new ArgumentNullException(nameof(writer)); } #endregion writer.Write('<'); this.Write(term.Template, writer); writer.Write('>'); this.WriteAnnotations(term.Annotations, writer); }
/// <summary> /// Writes a placeholder term to the specified writer. /// </summary> /// <param name="term">The term to write.</param> /// <param name="writer">The text writer to write to.</param> protected abstract void WritePlaceholderTerm(IPlaceholderTerm term, TextWriter writer);
protected override void WritePlaceholderTerm(IPlaceholderTerm term, TextWriter writer) { Contract.Requires(term != null); Contract.Requires(writer != null); }
public void VisitPlaceholder(IPlaceholderTerm term) { Contract.Requires<ArgumentNullException>(term != null); }
/// <inheritdoc /> protected override void WritePlaceholderTerm(IPlaceholderTerm term, TextWriter writer) { // CONTRACT: Inherited from TermTextWriter writer.Write('<'); this.Write(term.Template, writer); writer.Write('>'); this.WriteAnnotations(term.Annotations, writer); }