C# (CSharp) TypeNode.IsCompleteTemplate示例

示例#1

文件： ScrubContractClass.cs 项目： zhuyue1314/CodeContracts

        public ScrubContractClass(ExtractorVisitor parent, Class contractClass, TypeNode originalType)
        {
            Contract.Requires(TypeNode.IsCompleteTemplate(contractClass));
            Contract.Requires(TypeNode.IsCompleteTemplate(originalType));

            this.parent        = parent;
            this.contractClass = contractClass;
            this.abstractClass = originalType;
        }