C# Класс System.Contract

Показать файл Открыть проект Примеры использования класса

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

Метод	Описание
Abandon ( ) : void
Assert ( bool condition ) : void
Requires ( bool condition ) : void
RequiresInInclusiveRange ( int start, int length ) : void
RequiresInInclusiveRange ( int start, int end, int length ) : void

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

Метод	Описание
RequiresInRange ( int start, int length ) : void

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

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

public static Abandon ( ) : void
Результат	void

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

public static Assert ( bool condition ) : void
condition	bool
Результат	void

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

public static Requires ( bool condition ) : void
condition	bool
Результат	void

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

public static RequiresInInclusiveRange ( int start, int length ) : void
start	int
length	int
Результат	void

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

public static RequiresInInclusiveRange ( int start, int end, int length ) : void
start	int
end	int
length	int
Результат	void