C# Класс Microsoft.Cci.MutableContracts.IteratorContracts.HermansAlwaysRight

Наследование: Microsoft.Cci.MutableCodeModel.CodeRewriter

Открытые методы

Метод	Описание
ExtractContracts ( IContractAwareHost contractAwareHost, PdbReader pdbReader, ContractExtractor extractor, ISourceMethodBody methodBody ) : MethodContract
Rewrite ( List statements ) : List	There might be more than one block in the iterator's MoveNext method. So let the base rewriter navigate down into the list of statements unless this is the one containing the contracts. This method assumes that a single contract does not span multiple blocks, but is fully contained within a single list of statements.

Приватные методы

Метод	Описание
FindNextContractStatement ( List statements, int i ) : int
HermansAlwaysRight ( IContractAwareHost contractAwareHost, ContractExtractor extractor, ISourceMethodBody sourceMethodBody, bool methodIsInReferenceAssembly, OldAndResultExtractor oldAndResultExtractor, PdbReader pdbReader ) : System

Описание методов

ExtractContracts() публичный статический Метод

public static ExtractContracts ( IContractAwareHost contractAwareHost, PdbReader pdbReader, ContractExtractor extractor, ISourceMethodBody methodBody ) : MethodContract
contractAwareHost	IContractAwareHost
pdbReader	PdbReader
extractor	ContractExtractor
methodBody	ISourceMethodBody
Результат	MethodContract

Rewrite() публичный Метод

There might be more than one block in the iterator's MoveNext method. So let the base rewriter navigate down into the list of statements unless this is the one containing the contracts. This method assumes that a single contract does *not* span multiple blocks, but is fully contained within a single list of statements.

public Rewrite ( List statements ) : List
statements	List
Результат	List