A stub of Code Contract's Contract class.
- Base Types
graph BT Type-->Base0["object"] Type["Contract"] class Type type-node
public static class Contract
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.
Specifies a precondition.