/// <summary>
/// Traverses the definition.
/// </summary>
/// <param name="definition"></param>
public void Traverse(IDefinition definition)
{
Contract.Requires(definition != null);
definition.Dispatch(this.dispatchingVisitor);
}
/// <summary>
/// Traverses the definition.
/// </summary>
/// <param name="definition"></param>
public void Traverse(IDefinition definition)
{
definition.Dispatch(this.dispatchingVisitor);
}