메소드 | 설명 | |
---|---|---|
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 |
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 ) : |
Returns a deep mutable copy of the given method contract.
|
|
DeepCopy ( IMetadataHost host, ITypeContract typeContract ) : |
Returns a deep mutable copy of the given type contract.
|
|
GetMutableCopy ( ILoopInvariant loopInvariant ) : |
Get the mutable copy of a loop invariant.
|
|
GetMutableCopy ( IPostcondition postcondition ) : |
Get the mutable copy of a postcondition.
|
|
GetMutableCopy ( IPrecondition precondition ) : Precondition |
Get the mutable copy of a precondition.
|
|
GetMutableCopy ( IThrownException thrownException ) : |
Get the mutable copy of a thrown exception.
|
|
GetMutableCopy ( ITypeInvariant 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 ( |
Visits the specified loop contract.
|
|
DeepCopy ( |
Visits the specified loop invariant.
|
|
DeepCopy ( |
Visits the specified method contract.
|
|
DeepCopy ( |
Visits the specified post condition.
|
|
DeepCopy ( Precondition precondition ) : IPrecondition |
Visits the specified precondition.
|
|
DeepCopy ( |
Visits the specified thrown exception.
|
|
DeepCopy ( |
Visits the specified type contract.
|
|
DeepCopy ( |
Visits the specified type invariant.
|
|
DeepCopy ( List |
Visits the specified addressable expressions.
|
|
DeepCopy ( List |
Visits the specified loop invariants.
|
|
DeepCopy ( List |
Visits the specified post conditions.
|
|
DeepCopy ( List |
Visits the specified preconditions.
|
|
DeepCopy ( List |
Visits the specified thrown exceptions.
|
|
DeepCopy ( List |
Visits the specified type invariants.
|
public CodeAndContractCopier ( IMetadataHost host, ISourceLocationProvider sourceLocationProvider ) : System | ||
host | IMetadataHost | |
sourceLocationProvider | ISourceLocationProvider | |
리턴 | System |
public CodeAndContractCopier ( IMetadataHost host, ISourceLocationProvider sourceLocationProvider, IDefinition rootOfCone, List |
||
host | IMetadataHost | |
sourceLocationProvider | ISourceLocationProvider | |
rootOfCone | IDefinition | |
newTypes | List |
|
리턴 | System |
protected DeepCopy ( |
||
loopContract | The loop contract. | |
리턴 | ILoopContract |
protected DeepCopy ( |
||
loopInvariant | The loop invariant. | |
리턴 | ILoopInvariant |
protected DeepCopy ( |
||
methodContract | The method contract. | |
리턴 | IMethodContract |
protected DeepCopy ( |
||
postCondition | The post condition. | |
리턴 | IPostcondition |
protected DeepCopy ( Precondition precondition ) : IPrecondition | ||
precondition | Precondition | The precondition. |
리턴 | IPrecondition |
protected DeepCopy ( |
||
thrownException | The thrown exception. | |
리턴 | IThrownException |
protected DeepCopy ( |
||
typeContract | The type contract. | |
리턴 | ITypeContract |
protected DeepCopy ( |
||
typeInvariant | The type invariant. | |
리턴 | ITypeInvariant |
protected DeepCopy ( List |
||
addressableExpressions | List |
The addressable expressions. |
리턴 | List |
protected DeepCopy ( List |
||
loopInvariants | List |
The loop invariants. |
리턴 | List |
protected DeepCopy ( List |
||
postConditions | List |
The post conditions. |
리턴 | List |
protected DeepCopy ( List |
||
preconditions | List |
The preconditions. |
리턴 | List |
protected DeepCopy ( List |
||
thrownExceptions | List |
The thrown exceptions. |
리턴 | List |
protected DeepCopy ( List |
||
typeInvariants | List |
The type invariants. |
리턴 | List |
public static DeepCopy ( IMetadataHost host, IMethodContract 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. |
리턴 |
public static DeepCopy ( IMetadataHost host, ITypeContract 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. |
리턴 |
public GetMutableCopy ( ILoopInvariant loopInvariant ) : |
||
loopInvariant | ILoopInvariant | |
리턴 |
public GetMutableCopy ( IPostcondition postcondition ) : |
||
postcondition | IPostcondition | |
리턴 |
public GetMutableCopy ( IPrecondition precondition ) : Precondition | ||
precondition | IPrecondition | |
리턴 | Precondition |
public GetMutableCopy ( IThrownException thrownException ) : |
||
thrownException | IThrownException | |
리턴 |
public GetMutableCopy ( ITypeInvariant typeInvariant ) : |
||
typeInvariant | ITypeInvariant | |
리턴 |
public Substitute ( IMethodContract methodContract ) : IMethodContract | ||
methodContract | IMethodContract | |
리턴 | IMethodContract |
public Substitute ( IPostcondition postcondition ) : IPostcondition | ||
postcondition | IPostcondition | |
리턴 | IPostcondition |
public Substitute ( IPrecondition precondition ) : IPrecondition | ||
precondition | IPrecondition | |
리턴 | IPrecondition |
public Substitute ( IThrownException thrownException ) : IThrownException | ||
thrownException | IThrownException | |
리턴 | IThrownException |
public Substitute ( ITypeContract typeContract ) : ITypeContract | ||
typeContract | ITypeContract | |
리턴 | ITypeContract |
public Substitute ( ITypeInvariant typeInvariant ) : ITypeInvariant | ||
typeInvariant | ITypeInvariant | |
리턴 | ITypeInvariant |