src/lib/assert.slate

   1 conditions define: #AssertionFailed &parents: {DescriptiveError}.
   2 AssertionFailed description: 'Assertion Failed'.
   3
   4 c@(AssertionFailed traits) signalSaying: description
   5 [description ifNil: [c signal] ifNotNil: [resend]].
   6
   7 _ assert: m@(Method traits) &description [m do ifFalse: [AssertionFailed signalSaying: description]].
   8
   9 _ deny: m@(Method traits) &description [m do ifTrue: [AssertionFailed signalSaying: description]].
  10
  11 _ assert: _@False &description [AssertionFailed signalSaying: description].
  12
  13 _ assert: _@True [].
  14
  15 x assert: expr@(Syntax Node traits) &description [x assert: expr evaluate &description: description].
  16
  17 node@(Syntax Node traits) assert: expr@(Syntax Node traits)
  18 "A macro which (TODO: conditionally) expands into a run-time assertion."
  19 [
  20   Message sending: #assert: to: {node. expr}
  21 ].