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

Inheritance: CodeCopier

显示文件 Open project: visualmutator/visualmutator

Public Methods

Method	Description
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 .

Protected Methods

Method	Description
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.

Method Details

CodeAndContractCopier() public method

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.

public CodeAndContractCopier ( IMetadataHost host, ISourceLocationProvider sourceLocationProvider ) : System
host	IMetadataHost
sourceLocationProvider	ISourceLocationProvider
return	System

CodeAndContractCopier() public method

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.

public CodeAndContractCopier ( IMetadataHost host, ISourceLocationProvider sourceLocationProvider, IDefinition rootOfCone, List &newTypes ) : System
host	IMetadataHost
sourceLocationProvider	ISourceLocationProvider
rootOfCone	IDefinition
newTypes	List
return	System

DeepCopy() protected method

Visits the specified loop contract.

protected DeepCopy ( LoopContract loopContract ) : ILoopContract
loopContract	Microsoft.Cci.MutableContracts.LoopContract	The loop contract.
return	ILoopContract

DeepCopy() protected method

Visits the specified loop invariant.

protected DeepCopy ( LoopInvariant loopInvariant ) : ILoopInvariant
loopInvariant	Microsoft.Cci.MutableContracts.LoopInvariant	The loop invariant.
return	ILoopInvariant

DeepCopy() protected method

Visits the specified method contract.

protected DeepCopy ( MethodContract methodContract ) : IMethodContract
methodContract	Microsoft.Cci.MutableContracts.MethodContract	The method contract.
return	IMethodContract

DeepCopy() protected method

Visits the specified post condition.

protected DeepCopy ( Postcondition postCondition ) : IPostcondition
postCondition	Microsoft.Cci.MutableContracts.Postcondition	The post condition.
return	IPostcondition

DeepCopy() protected method

Visits the specified precondition.

protected DeepCopy ( Precondition precondition ) : IPrecondition
precondition	Precondition	The precondition.
return	IPrecondition

DeepCopy() protected method

Visits the specified thrown exception.

protected DeepCopy ( ThrownException thrownException ) : IThrownException
thrownException	Microsoft.Cci.MutableContracts.ThrownException	The thrown exception.
return	IThrownException

DeepCopy() protected method

Visits the specified type contract.

protected DeepCopy ( TypeContract typeContract ) : ITypeContract
typeContract	Microsoft.Cci.MutableContracts.TypeContract	The type contract.
return	ITypeContract

DeepCopy() protected method

Visits the specified type invariant.

protected DeepCopy ( TypeInvariant typeInvariant ) : ITypeInvariant
typeInvariant	Microsoft.Cci.MutableContracts.TypeInvariant	The type invariant.
return	ITypeInvariant

DeepCopy() protected method

Visits the specified addressable expressions.

protected DeepCopy ( List addressableExpressions ) : List
addressableExpressions	List	The addressable expressions.
return	List

DeepCopy() protected method

Visits the specified loop invariants.

protected DeepCopy ( List loopInvariants ) : List
loopInvariants	List	The loop invariants.
return	List

DeepCopy() protected method

Visits the specified post conditions.

protected DeepCopy ( List postConditions ) : List
postConditions	List	The post conditions.
return	List

DeepCopy() protected method

Visits the specified preconditions.

protected DeepCopy ( List preconditions ) : List
preconditions	List	The preconditions.
return	List

DeepCopy() protected method

Visits the specified thrown exceptions.

protected DeepCopy ( List thrownExceptions ) : List
thrownExceptions	List	The thrown exceptions.
return	List

DeepCopy() protected method

Visits the specified type invariants.

protected DeepCopy ( List typeInvariants ) : List
typeInvariants	List	The type invariants.
return	List

DeepCopy() public static method

Returns a deep mutable copy of the given method contract.

public static DeepCopy ( IMetadataHost host, IMethodContract methodContract ) : MethodContract
host	IMetadataHost	An object representing the application that is hosting this mutator. It is used to obtain access to some global /// objects and services such as the shared name table and the table for interning references. For the purposes of this call, the /// table for interning is what is needed.
methodContract	IMethodContract	The method contract to copy.
return	Microsoft.Cci.MutableContracts.MethodContract

DeepCopy() public static method

Returns a deep mutable copy of the given type contract.

public static DeepCopy ( IMetadataHost host, ITypeContract typeContract ) : TypeContract
host	IMetadataHost	An object representing the application that is hosting this mutator. It is used to obtain access to some global /// objects and services such as the shared name table and the table for interning references. For the purposes of this call, the /// table for interning is what is needed.
typeContract	ITypeContract	The type contract to copy.
return	Microsoft.Cci.MutableContracts.TypeContract

GetMutableCopy() public method

Get the mutable copy of a loop invariant.

public GetMutableCopy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant	ILoopInvariant
return	Microsoft.Cci.MutableContracts.LoopInvariant

GetMutableCopy() public method

Get the mutable copy of a postcondition.

public GetMutableCopy ( IPostcondition postcondition ) : Postcondition
postcondition	IPostcondition
return	Microsoft.Cci.MutableContracts.Postcondition

GetMutableCopy() public method

Get the mutable copy of a precondition.

public GetMutableCopy ( IPrecondition precondition ) : Precondition
precondition	IPrecondition
return	Precondition

GetMutableCopy() public method

Get the mutable copy of a thrown exception.

public GetMutableCopy ( IThrownException thrownException ) : ThrownException
thrownException	IThrownException
return	Microsoft.Cci.MutableContracts.ThrownException

GetMutableCopy() public method

Get the mutable copy of a type invariant.

public GetMutableCopy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant	ITypeInvariant
return	Microsoft.Cci.MutableContracts.TypeInvariant

Substitute() public method

Returns a deep copy of the .

public Substitute ( IMethodContract methodContract ) : IMethodContract
methodContract	IMethodContract
return	IMethodContract

Substitute() public method

Returns a deep copy of the .

public Substitute ( IPostcondition postcondition ) : IPostcondition
postcondition	IPostcondition
return	IPostcondition

Substitute() public method

Returns a deep copy of the .

public Substitute ( IPrecondition precondition ) : IPrecondition
precondition	IPrecondition
return	IPrecondition

Substitute() public method

Returns a deep copy of the .

public Substitute ( IThrownException thrownException ) : IThrownException
thrownException	IThrownException
return	IThrownException

Substitute() public method

Returns a deep copy of the .

public Substitute ( ITypeContract typeContract ) : ITypeContract
typeContract	ITypeContract
return	ITypeContract

Substitute() public method

Returns a deep copy of the .

public Substitute ( ITypeInvariant typeInvariant ) : ITypeInvariant
typeInvariant	ITypeInvariant
return	ITypeInvariant