C# Class Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractDeepCopier

Inheritance: CodeDeepCopier
Afficher le fichier Open project: visualmutator/visualmutator Class Usage Examples

Private Properties

Свойство Type Description
CodeAndContractDeepCopier System
Copy IEnumerable>
Copy List
Copy List
Copy List
Copy List
Copy List
Copy List
Copy List
Copy List
Copy void

Méthodes publiques

Méthode Description
CodeAndContractDeepCopier ( IMetadataHost targetHost ) : System

CodeAndContractDeepCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System

Copy ( IContractElement contractElement ) : ContractElement

Makes a deep copy of the given contract element.

Copy ( ILoopContract loopContract ) : LoopContract

Makes a deep copy of the given loop contract.

Copy ( ILoopInvariant loopInvariant ) : LoopInvariant

Makes a deep copy of the given loop invariant.

Copy ( IMethodContract methodContract ) : MethodContract

Makes a deep copy of the given method contract.

Copy ( IPostcondition postCondition ) : Postcondition

Makes a deep copy of the given postCondition.

Copy ( IPrecondition precondition ) : Precondition

Makes a deep copy of the given precondition.

Copy ( IThrownException thrownException ) : ThrownException

Makes a deep copy of the given thrown exception.

Copy ( ITypeContract typeContract ) : TypeContract

Makes a deep copy of the given type contract.

Copy ( ITypeInvariant typeInvariant ) : TypeInvariant

Makes a deep copy of the given type invariant.

Private Methods

Méthode Description
CodeAndContractDeepCopier ( IMetadataHost targetHost, CodeAndContractShallowCopier shallowCopier ) : System
Copy ( IEnumerable triggers ) : IEnumerable>

Makes a deep copy of the given list of trigger expressions.

Copy ( List addressableExpressions ) : List

Makes a deep copy of the given list of addressable expressions.

Copy ( List fields ) : List

Makes a deep copy of the given list of fields.

Copy ( List loopInvariants ) : List

Makes a deep copy of the given list of loop invariants.

Copy ( List methods ) : List

Makes a deep copy of the given list of method definitions.

Copy ( List postConditions ) : List

Makes a deep copy of the given list of post conditions.

Copy ( List preconditions ) : List

Makes a deep copy of the given list of pre conditions.

Copy ( List thrownExceptions ) : List

Makes a deep copy of the given list of thrown exceptions.

Copy ( List typeInvariants ) : List

Makes a deep copy of the given list of addressable expressions.

Copy ( ContractElement contractElement ) : void

Called from the type specific copy method to copy the common part of all contract elments.

Method Details

CodeAndContractDeepCopier() public méthode

public CodeAndContractDeepCopier ( IMetadataHost targetHost ) : System
targetHost IMetadataHost An object representing the application that will host the copies made by this copier.
Résultat System

CodeAndContractDeepCopier() public méthode

public CodeAndContractDeepCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System
targetHost IMetadataHost An object representing the application that will host the copies made by this copier.
targetUnit IUnit The unit of metadata into which copies made by this copier will be inserted.
Résultat System

Copy() public méthode

Makes a deep copy of the given contract element.
public Copy ( IContractElement contractElement ) : ContractElement
contractElement IContractElement
Résultat Microsoft.Cci.MutableContracts.ContractElement

Copy() public méthode

Makes a deep copy of the given loop contract.
public Copy ( ILoopContract loopContract ) : LoopContract
loopContract ILoopContract
Résultat Microsoft.Cci.MutableContracts.LoopContract

Copy() public méthode

Makes a deep copy of the given loop invariant.
public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant ILoopInvariant
Résultat Microsoft.Cci.MutableContracts.LoopInvariant

Copy() public méthode

Makes a deep copy of the given method contract.
public Copy ( IMethodContract methodContract ) : MethodContract
methodContract IMethodContract
Résultat Microsoft.Cci.MutableContracts.MethodContract

Copy() public méthode

Makes a deep copy of the given postCondition.
public Copy ( IPostcondition postCondition ) : Postcondition
postCondition IPostcondition
Résultat Microsoft.Cci.MutableContracts.Postcondition

Copy() public méthode

Makes a deep copy of the given precondition.
public Copy ( IPrecondition precondition ) : Precondition
precondition IPrecondition
Résultat Precondition

Copy() public méthode

Makes a deep copy of the given thrown exception.
public Copy ( IThrownException thrownException ) : ThrownException
thrownException IThrownException
Résultat Microsoft.Cci.MutableContracts.ThrownException

Copy() public méthode

Makes a deep copy of the given type contract.
public Copy ( ITypeContract typeContract ) : TypeContract
typeContract ITypeContract
Résultat Microsoft.Cci.MutableContracts.TypeContract

Copy() public méthode

Makes a deep copy of the given type invariant.
public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant ITypeInvariant
Résultat Microsoft.Cci.MutableContracts.TypeInvariant