• Главная
• Microsoft
• Cci
• MutableCodeModel
• Contracts
• CodeAndContractCopier

C# Класс Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractCopier

Показать файл Открыть проект

Открытые методы

Метод	Описание
CodeAndContractCopier ( IMetadataHost host, ISourceLocationProvider sourceLocationProvider ) : System	Provides copy of a method contract, method body, a statement, or an expression, in which the references to the nodes inside a cone is replaced. The cone is defined using the parent class.
CodeAndContractCopier ( IMetadataHost host, ISourceLocationProvider sourceLocationProvider, IDefinition rootOfCone, List &newTypes ) : System	Provides copy of a method contract, method body, a statement, or an expression, in which the references to the nodes inside a cone is replaced. The cone is defined using the parent class.
DeepCopy ( IMetadataHost host, IMethodContract methodContract ) : MethodContract	Returns a deep mutable copy of the given method contract.
DeepCopy ( IMetadataHost host, ITypeContract typeContract ) : TypeContract	Returns a deep mutable copy of the given type contract.
GetMutableCopy ( ILoopInvariant loopInvariant ) : LoopInvariant	Get the mutable copy of a loop invariant.
GetMutableCopy ( IPostcondition postcondition ) : Postcondition	Get the mutable copy of a postcondition.
GetMutableCopy ( IPrecondition precondition ) : Precondition	Get the mutable copy of a precondition.
GetMutableCopy ( IThrownException thrownException ) : ThrownException	Get the mutable copy of a thrown exception.
GetMutableCopy ( ITypeInvariant typeInvariant ) : TypeInvariant	Get the mutable copy of a type invariant.
Substitute ( IMethodContract methodContract ) : IMethodContract	Returns a deep copy of the .
Substitute ( IPostcondition postcondition ) : IPostcondition	Returns a deep copy of the .
Substitute ( IPrecondition precondition ) : IPrecondition	Returns a deep copy of the .
Substitute ( IThrownException thrownException ) : IThrownException	Returns a deep copy of the .
Substitute ( ITypeContract typeContract ) : ITypeContract	Returns a deep copy of the .
Substitute ( ITypeInvariant typeInvariant ) : ITypeInvariant	Returns a deep copy of the .

Защищенные методы

Метод	Описание
DeepCopy ( LoopContract loopContract ) : ILoopContract	Visits the specified loop contract.
DeepCopy ( LoopInvariant loopInvariant ) : ILoopInvariant	Visits the specified loop invariant.
DeepCopy ( MethodContract methodContract ) : IMethodContract	Visits the specified method contract.
DeepCopy ( Postcondition postCondition ) : IPostcondition	Visits the specified post condition.
DeepCopy ( Precondition precondition ) : IPrecondition	Visits the specified precondition.
DeepCopy ( ThrownException thrownException ) : IThrownException	Visits the specified thrown exception.
DeepCopy ( TypeContract typeContract ) : ITypeContract	Visits the specified type contract.
DeepCopy ( TypeInvariant typeInvariant ) : ITypeInvariant	Visits the specified type invariant.
DeepCopy ( List addressableExpressions ) : List	Visits the specified addressable expressions.
DeepCopy ( List loopInvariants ) : List	Visits the specified loop invariants.
DeepCopy ( List postConditions ) : List	Visits the specified post conditions.
DeepCopy ( List preconditions ) : List	Visits the specified preconditions.
DeepCopy ( List thrownExceptions ) : List	Visits the specified thrown exceptions.
DeepCopy ( List typeInvariants ) : List	Visits the specified type invariants.

Описание методов