Prism – Invariants, and pre/post conditions – update

Just found out that I can do this too

public invariants
  Overdraft >= 0 : ’OverdraftGreaterThanOrEqualToZero’;
  Balance + Overdraft >= 0 : ’BalancePlusOverDraftGreaterThanOrEqualToZero’;

Then in my handler routine I get that message!

if not IsValid then
  throw new Exception(ErrorMessage);

Excellent 🙂


Leave a Reply

Your email address will not be published. Required fields are marked *