Contract Class

Summary

A stub of Code Contract's Contract class.
Namespace
Avalonia
Base Types
  • object
graph BT Type-->Base0["object"] Type["Contract"] class Type type-node

Syntax

public static class Contract

Remarks

It would be nice to use Code Contracts on Avalonia but last time I tried it slowed things to a crawl and often crashed. Instead use the same signature for checking preconditions in the hope that it might become usable at some point.

Methods

Name Value Summary
Requires<TException>(bool) void
Specifies a precondition.
static