C# (CSharp) IContractElement.Dispatch示例

示例#1

文件： Visitors.cs 项目： Refresh06/visualmutator

 /// <summary>
 /// Traverses the contract element.
 /// </summary>
 public void Traverse(IContractElement contractElement)
 {
     Contract.Requires(contractElement != null);
       contractElement.Dispatch(this.dispatchingVisitor);
 }

示例#2

文件： Copier.cs 项目： riverar/devtools

 /// <summary>
 /// Makes a shallow copy of the given contract element.
 /// </summary>
 /// <param name="contractElement"></param>
 public virtual ContractElement Copy(IContractElement contractElement)
 {
     contractElement.Dispatch(this.dispatchingVisitor);
       return (ContractElement)this.dispatchingVisitor.result;
 }

示例#3

文件： Copier.cs 项目： riverar/devtools

 /// <summary>
 /// Makes a deep copy of the given contract element.
 /// </summary>
 /// <param name="contractElement"></param>
 public ContractElement Copy(IContractElement contractElement)
 {
     contractElement.Dispatch(this.Dispatcher);
       return (ContractElement)this.Dispatcher.result;
 }

示例#4

文件： Copier.cs 项目： Refresh06/visualmutator

    /// <summary>
    /// Makes a deep copy of the given contract element.
    /// </summary>
    /// <param name="contractElement"></param>
    public ContractElement Copy(IContractElement contractElement) {
      Contract.Requires(contractElement != null);
      Contract.Ensures(Contract.Result<ContractElement>() != null);

      contractElement.Dispatch(this.Dispatcher);
      return (ContractElement)this.Dispatcher.result;
    }

示例#5

文件： Copier.cs 项目： Refresh06/visualmutator

    /// <summary>
    /// Makes a shallow copy of the given contract element.
    /// </summary>
    /// <param name="contractElement"></param>
    public virtual ContractElement Copy(IContractElement contractElement) {
      Contract.Requires(contractElement != null);
      Contract.Ensures(Contract.Result<ContractElement>() != null);

      contractElement.Dispatch(this.dispatchingVisitor);
      return (ContractElement)this.dispatchingVisitor.result;
    }

示例#6

 /// <summary>
 ///     Traverses the contract element.
 /// </summary>
 public void Traverse(IContractElement contractElement)
 {
     Contract.Requires(contractElement != null);
     contractElement.Dispatch(dispatchingVisitor);
 }