C# 클래스 Microsoft.Cci.MutableCodeModel.Contracts.CodeAndContractCopier

상속: CodeCopier
파일 보기 프로젝트 열기: visualmutator/visualmutator

공개 메소드들

메소드 설명
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.

메소드 상세

CodeAndContractCopier() 공개 메소드

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
리턴 System

CodeAndContractCopier() 공개 메소드

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
리턴 System

DeepCopy() 보호된 메소드

Visits the specified loop contract.
protected DeepCopy ( LoopContract loopContract ) : ILoopContract
loopContract Microsoft.Cci.MutableContracts.LoopContract The loop contract.
리턴 ILoopContract

DeepCopy() 보호된 메소드

Visits the specified loop invariant.
protected DeepCopy ( LoopInvariant loopInvariant ) : ILoopInvariant
loopInvariant Microsoft.Cci.MutableContracts.LoopInvariant The loop invariant.
리턴 ILoopInvariant

DeepCopy() 보호된 메소드

Visits the specified method contract.
protected DeepCopy ( MethodContract methodContract ) : IMethodContract
methodContract Microsoft.Cci.MutableContracts.MethodContract The method contract.
리턴 IMethodContract

DeepCopy() 보호된 메소드

Visits the specified post condition.
protected DeepCopy ( Postcondition postCondition ) : IPostcondition
postCondition Microsoft.Cci.MutableContracts.Postcondition The post condition.
리턴 IPostcondition

DeepCopy() 보호된 메소드

Visits the specified precondition.
protected DeepCopy ( Precondition precondition ) : IPrecondition
precondition Precondition The precondition.
리턴 IPrecondition

DeepCopy() 보호된 메소드

Visits the specified thrown exception.
protected DeepCopy ( ThrownException thrownException ) : IThrownException
thrownException Microsoft.Cci.MutableContracts.ThrownException The thrown exception.
리턴 IThrownException

DeepCopy() 보호된 메소드

Visits the specified type contract.
protected DeepCopy ( TypeContract typeContract ) : ITypeContract
typeContract Microsoft.Cci.MutableContracts.TypeContract The type contract.
리턴 ITypeContract

DeepCopy() 보호된 메소드

Visits the specified type invariant.
protected DeepCopy ( TypeInvariant typeInvariant ) : ITypeInvariant
typeInvariant Microsoft.Cci.MutableContracts.TypeInvariant The type invariant.
리턴 ITypeInvariant

DeepCopy() 보호된 메소드

Visits the specified addressable expressions.
protected DeepCopy ( List addressableExpressions ) : List
addressableExpressions List The addressable expressions.
리턴 List

DeepCopy() 보호된 메소드

Visits the specified loop invariants.
protected DeepCopy ( List loopInvariants ) : List
loopInvariants List The loop invariants.
리턴 List

DeepCopy() 보호된 메소드

Visits the specified post conditions.
protected DeepCopy ( List postConditions ) : List
postConditions List The post conditions.
리턴 List

DeepCopy() 보호된 메소드

Visits the specified preconditions.
protected DeepCopy ( List preconditions ) : List
preconditions List The preconditions.
리턴 List

DeepCopy() 보호된 메소드

Visits the specified thrown exceptions.
protected DeepCopy ( List thrownExceptions ) : List
thrownExceptions List The thrown exceptions.
리턴 List

DeepCopy() 보호된 메소드

Visits the specified type invariants.
protected DeepCopy ( List typeInvariants ) : List
typeInvariants List The type invariants.
리턴 List

DeepCopy() 공개 정적인 메소드

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.
리턴 Microsoft.Cci.MutableContracts.MethodContract

DeepCopy() 공개 정적인 메소드

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.
리턴 Microsoft.Cci.MutableContracts.TypeContract

GetMutableCopy() 공개 메소드

Get the mutable copy of a loop invariant.
public GetMutableCopy ( ILoopInvariant loopInvariant ) : LoopInvariant
loopInvariant ILoopInvariant
리턴 Microsoft.Cci.MutableContracts.LoopInvariant

GetMutableCopy() 공개 메소드

Get the mutable copy of a postcondition.
public GetMutableCopy ( IPostcondition postcondition ) : Postcondition
postcondition IPostcondition
리턴 Microsoft.Cci.MutableContracts.Postcondition

GetMutableCopy() 공개 메소드

Get the mutable copy of a precondition.
public GetMutableCopy ( IPrecondition precondition ) : Precondition
precondition IPrecondition
리턴 Precondition

GetMutableCopy() 공개 메소드

Get the mutable copy of a thrown exception.
public GetMutableCopy ( IThrownException thrownException ) : ThrownException
thrownException IThrownException
리턴 Microsoft.Cci.MutableContracts.ThrownException

GetMutableCopy() 공개 메소드

Get the mutable copy of a type invariant.
public GetMutableCopy ( ITypeInvariant typeInvariant ) : TypeInvariant
typeInvariant ITypeInvariant
리턴 Microsoft.Cci.MutableContracts.TypeInvariant

Substitute() 공개 메소드

Returns a deep copy of the .
public Substitute ( IMethodContract methodContract ) : IMethodContract
methodContract IMethodContract
리턴 IMethodContract

Substitute() 공개 메소드

Returns a deep copy of the .
public Substitute ( IPostcondition postcondition ) : IPostcondition
postcondition IPostcondition
리턴 IPostcondition

Substitute() 공개 메소드

Returns a deep copy of the .
public Substitute ( IPrecondition precondition ) : IPrecondition
precondition IPrecondition
리턴 IPrecondition

Substitute() 공개 메소드

Returns a deep copy of the .
public Substitute ( IThrownException thrownException ) : IThrownException
thrownException IThrownException
리턴 IThrownException

Substitute() 공개 메소드

Returns a deep copy of the .
public Substitute ( ITypeContract typeContract ) : ITypeContract
typeContract ITypeContract
리턴 ITypeContract

Substitute() 공개 메소드

Returns a deep copy of the .
public Substitute ( ITypeInvariant typeInvariant ) : ITypeInvariant
typeInvariant ITypeInvariant
리턴 ITypeInvariant