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

Inheritance: CodeShallowCopier
Mostrar archivo Open project: visualmutator/visualmutator Class Usage Examples

Public Methods

Method 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 method

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

CodeAndContractShallowCopier() public method

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.
return System

Copy() public method

Makes a shallow copy of the given contract element.
public Copy ( IContractElement contractElement ) : ContractElement
contractElement IContractElement
return Microsoft.Cci.MutableContracts.ContractElement

Copy() public method

Makes a shallow copy of the given loop contract.
public Copy ( ILoopContract loopContract ) : LoopContract
loopContract ILoopContract
return Microsoft.Cci.MutableContracts.LoopContract

Copy() public method

Makes a shallow copy of the given loop invariant.
public Copy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant ILoopInvariant
return Microsoft.Cci.MutableContracts.LoopInvariant

Copy() public method

Makes a shallow copy of the given method contract.
public Copy ( IMethodContract methodContract ) : MethodContract
methodContract IMethodContract
return Microsoft.Cci.MutableContracts.MethodContract

Copy() public method

Makes a shallow copy of the given postCondition.
public Copy ( IPostcondition postCondition ) : Postcondition
postCondition IPostcondition
return Microsoft.Cci.MutableContracts.Postcondition

Copy() public method

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

Copy() public method

Makes a shallow copy of the given thrown exception.
public Copy ( IThrownException thrownException ) : ThrownException
thrownException IThrownException
return Microsoft.Cci.MutableContracts.ThrownException

Copy() public method

Makes a shallow copy of the given type contract.
public Copy ( ITypeContract typeContract ) : TypeContract
typeContract ITypeContract
return Microsoft.Cci.MutableContracts.TypeContract

Copy() public method

Makes a shallow copy of the given type invariant.
public Copy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant ITypeInvariant
return Microsoft.Cci.MutableContracts.TypeInvariant