/// <inheritdoc /> protected override void WriteRealTerm(IRealTerm term, TextWriter writer) { // CONTRACT: Inherited from TermTextWriter writer.Write(term.Value.ToString(CultureInfo.InvariantCulture)); this.WriteAnnotations(term.Annotations, writer); }
/// <inheritdoc /> protected override void WriteRealTerm(IRealTerm term, TextWriter writer) { #region Contract if (term == null) { throw new ArgumentNullException(nameof(term)); } if (writer == null) { throw new ArgumentNullException(nameof(writer)); } #endregion writer.Write(term.Value.ToString(CultureInfo.InvariantCulture)); this.WriteAnnotations(term.Annotations, writer); }
/// <summary> /// Writes a floating-point number 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 WriteRealTerm(IRealTerm term, TextWriter writer);
protected override void WriteRealTerm(IRealTerm term, TextWriter writer) { Contract.Requires(term != null); Contract.Requires(writer != null); }
public void VisitReal(IRealTerm term) { Contract.Requires<ArgumentNullException>(term != null); }