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

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

Méthodes publiques

Méthode Description
CodeAndContractShallowCopier ( IMetadataHost targetHost ) : System

CodeAndContractShallowCopier ( IMetadataHost targetHost, IUnit targetUnit ) : System

Copy ( IContractElement contractElement ) : ContractElement

Makes a shallow copy of the given contract element.
Copy ( ILoopContract loopContract ) : LoopContract

Makes a shallow copy of the given loop contract.
Copy ( ILoopInvariant loopInvariant ) : LoopInvariant

Makes a shallow copy of the given loop invariant.
Copy ( IMethodContract methodContract ) : MethodContract

Makes a shallow copy of the given method contract.
Copy ( IPostcondition postCondition ) : Postcondition

Makes a shallow copy of the given postCondition.
Copy ( IPrecondition precondition ) : Precondition

Makes a shallow copy of the given precondition.
Copy ( IThrownException thrownException ) : ThrownException

Makes a shallow copy of the given thrown exception.
Copy ( ITypeContract typeContract ) : TypeContract

Makes a shallow copy of the given type contract.
Copy ( ITypeInvariant typeInvariant ) : TypeInvariant

Makes a shallow copy of the given type invariant.

Method Details

CodeAndContractShallowCopier() public méthode

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

CodeAndContractShallowCopier() public méthode

public CodeAndContractShallowCopier ( 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 shallow 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 shallow 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 shallow 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 shallow 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 shallow copy of the given postCondition.
public Copy ( IPostcondition postCondition ) : Postcondition
postCondition IPostcondition
Résultat Microsoft.Cci.MutableContracts.Postcondition

Copy() public méthode

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

Copy() public méthode

Makes a shallow 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 shallow 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 shallow copy of the given type invariant.
public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant ITypeInvariant
Résultat Microsoft.Cci.MutableContracts.TypeInvariant