C# Класс Nitra.Visualizer.Annotations.ContractAnnotationAttribute

Наследование: System.Attribute
Показать файл Открыть проект

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

Метод Описание
ContractAnnotationAttribute ( [ contract ) : System
ContractAnnotationAttribute ( [ contract, bool forceFullStates ) : System

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

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

public ContractAnnotationAttribute ( [ contract ) : System
contract [
Результат System

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

public ContractAnnotationAttribute ( [ contract, bool forceFullStates ) : System
contract [
forceFullStates bool
Результат System