The following TivSampleExceptionsCheckingAccount instance method illustrates how the TivExCheckingAccountOverdrawn exception is signaled:
withdraw: anAmount self balance >= anAmount ifTrue: [self balance: self balance - anAmount] ifFalse: [self class TivExCheckingAccountOverdrawn signalWithArguments: (OrderedCollection with: self with:(Association key:'balance' value: self balance) with:(Association key:'amount' value: self amount))].