/// <inheritdoc />
public override TResult Accept <TResult>(ITermVisitor <TResult> visitor)
{
Guard.NotNull(visitor, nameof(visitor));
return(visitor.Visit(this));
}
/// <inheritdoc />
public override TResult Accept <TResult>(ITermVisitor <TResult> visitor)
{
#region Contract
if (visitor == null)
{
throw new ArgumentNullException(nameof(visitor));
}
#endregion
return(visitor.VisitPlaceholder(this));
}
/// <inheritdoc />
public override void Accept(ITermVisitor visitor)
{
#region Contract
if (visitor == null)
{
throw new ArgumentNullException(nameof(visitor));
}
#endregion
visitor.VisitCons(this);
}
/// <inheritdoc />
public virtual void Accept(ITermVisitor visitor)
{
#region Contract
if (visitor == null)
{
throw new ArgumentNullException(nameof(visitor));
}
#endregion
visitor.VisitTerm(this);
}
/// <inheritdoc />
public virtual TResult Accept <TResult>(ITermVisitor <TResult> visitor)
{
#region Contract
if (visitor == null)
{
throw new ArgumentNullException(nameof(visitor));
}
#endregion
return(visitor.VisitTerm(this));
}
/// <summary>
/// Accepts a term visitor with a generic result
/// </summary>
/// <typeparam name="TResult">The type of the result from the visitor's function</typeparam>
/// <param name="visitor">The visitor to accept</param>
/// <returns>
/// The result from the visitor's visit function.
/// </returns>
public override TResult Accept <TResult>(ITermVisitor <TResult> visitor)
{
return(visitor.Visit(this));
}
/// <summary>
/// Accepts a term visitor
/// </summary>
/// <param name="visitor">The term visitor to accept</param>
public override void Accept(ITermVisitor visitor)
{
visitor.Visit(this);
}
/// <inheritdoc />
public override void Accept(ITermVisitor visitor)
{
// CONTRACT: Inherited from ITerm
visitor.VisitInt(this);
}
public ITerm visit(ITermVisitor v)
{
return(v.visit(this));
}
/// <inheritdoc />
public override void Accept(ITermVisitor visitor)
{
Guard.NotNull(visitor, nameof(visitor));
visitor.Visit(this);
}
public void Accept(ITermVisitor visitor)
{
visitor.Visit(this);
}
public abstract void Accept(ITermVisitor visitor);
/// <summary> /// Accepts a term visitor with a generic result /// </summary> /// <typeparam name="TResult">The type of the result from the visitor's function</typeparam> /// <param name="visitor">The visitor to accept</param> /// <returns>The result from the visitor's visit function.</returns> public abstract TResult Accept <TResult>(ITermVisitor <TResult> visitor);
/// <summary> /// Accepts a term visitor /// </summary> /// <param name="visitor">The term visitor to accept</param> public abstract void Accept(ITermVisitor visitor);
public override TResult Accept <TResult>(ITermVisitor <TResult> visitor)
{
Contract.Requires(visitor != null);
return(default(TResult));
}
public override void Accept(ITermVisitor visitor)
{
Contract.Requires(visitor != null);
}
public override void Accept(ITermVisitor visitor)
{
Contract.Requires<ArgumentNullException>(visitor != null);
}
