/// <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);
}
/// <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);
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);
}
