src/core/condition-epilogue.slate

   1 obj@(Root traits) notABoolean
   2 [error: obj printString ; ' is not a Boolean.'].
   3
   4 obj@(Root traits) badTypeError
   5 [error: obj printString ; ' is not the right type (probably passed a primitive something other than a small integer).'].
   6
   7 conditions define: #SlotError &parents: {Error} &slots: {#object. #slotName}.
   8 "Errors related to slot manipulations."
   9
  10 conditions define: #SlotNotFound &parents: {SlotError}.
  11
  12 obj@(Root traits) slotNotFoundNamed: name
  13 [(SlotNotFound new `>> [object := obj. slotName := name. ]) signal].
  14
  15 snf@(SlotNotFound traits) describeOn: out
  16 [
  17   out ; 'The object ' ; snf object printString ;
  18    ' does not have a slot named ' ; snf slotName printString ; '.\n'
  19 ].
  20
  21 conditions define: #SlotTypeError &parents: {SlotError} &slots: {#type}.
  22 "Results from attempting to assign a value to a slot that is incompatible with
  23 a specified type for the slot."
  24
  25 obj@(Root traits) cannotAccept: value in: slotName
  26 [(SlotTypeError new `>> [object := obj. slotName := slotName. type := value. ]) signal].
  27
  28 conditions define: #RebindError &parents: {SlotError}.
  29
  30 cond@(RebindError traits) describeOn: out
  31 [
  32   out ; 'The object ' ; cond object printString ;
  33     ' has already bound a slot named ' ; cond slotName printString ; '.\n'
  34 ].
  35
  36 obj@(Root traits) rebindOf: name
  37 [(RebindError new `>> [object := obj. slotName := name. ]) signal].
  38
  39 conditions define: #ProtocolError &parents: {Error}.
  40 "A ProtocolError is an Error from not complying with an object's reuse protocol."
  41
  42 conditions define: #LexicalContextExpired &parents: {ProtocolError} &slots: {#method. #lexicalContext}.
  43
  44 method@(Method traits) mayNotReturnTo: lexicalContext
  45 [(LexicalContextExpired new `>> [method := method. lexicalContext := lexicalContext. ]) signal].
  46
  47 lce@(LexicalContextExpired traits) describeOn: out
  48 [
  49   out ; 'The method ' ; lce method printString ; ' attempted to access an expired lexical context.\n'
  50 ].
  51
  52 conditions define: #WrongInputs &parents: {ProtocolError} &slots: {#method. #arguments.}.
  53 "A WrongInputs is a ProtocolError signaled when the wrong number of arguments are applied to a Method."
  54
  55 args wrongInputsTo: method@(Method traits)
  56 [(WrongInputs new `>> [method := method. arguments := args. ]) signal].
  57
  58 wi@(WrongInputs traits) describeOn: out
  59 [
  60   out ; 'The arguments:\n' ; wi arguments printString ;
  61     '\ndo not apply to:\n' ; wi method printString ;
  62     '\nwhich has an arity of: ' ; wi method arity printString ; '\n'
  63 ].
  64
  65 conditions define: #Message &parents: {Cloneable} &slots: {#selector. #arguments. #optionals -> {}}.
  66 "A Message describes a message-send at runtime, and usually only exists for
  67 debugging packaging."
  68
  69 m@(Message traits) sending: selector to: args &optionals
  70 [
  71   optionals `defaultsTo: #{}.
  72   m cloneSettingSlots: #{#selector. #arguments. #optionals}
  73     to: {selector. args. optionals}
  74 ].
  75
  76 m@(Message traits) send
  77 "Try to send the message."
  78 [m selector sendTo: m arguments &optionals: m optionals].
  79
  80 m@(Message traits) dispatch
  81 "Aliases send, so it performs a method dispatch."
  82 [m send].
  83
  84 conditions define: #MethodNotFound &parents: {ProtocolError} &slots: {#message -> Message}.
  85
  86 "A MethodNotFound is a ProtocolError signaled when dispatch fails."
  87
  88 selector@(Symbol traits) notFoundOn: arguments &optionals
  89 "Query the arguments for an abnormal handler before signalling MethodNotFound."
  90 [| *rest |
  91   message ::= Message sending: selector to: arguments &optionals: optionals.
  92   arguments doWithIndex:
  93     [| :arg :index | (arg didNotUnderstand: message at: index) ifNotNilDo:
  94       [| :result | ^ result do]].
  95   (MethodNotFound new `>> [message := message. ]) signal
  96 ].
  97
  98 x@(Root traits) didNotUnderstand: message at: index
  99 "This should return a Method which is deemed suitable for responding to the
 100 message.
 101 By default, do nothing and answer Nil, signalling that it was not handled."
 102 [].
 103
 104 mnf@(MethodNotFound traits) describeOn: out
 105 [
 106   message ::= mnf message.
 107   out ; 'The method ' ; message selector printString
 108    ; ' was not found for the following arguments:\n' ; message arguments printString.
 109   message optionals isEmpty ifFalse:
 110     [out ; '\nwith optionals:\n' ; message optionals printString].
 111   out ; '\n'
 112 ].
 113
 114 conditions define: #MethodResentNotFound &parents: {MethodNotFound} &slots: {#method -> []}.
 115 "A MethodNotFound when a resend is performed."
 116
 117 selector@(Symbol traits) notFoundOn: arguments after: method &optionals
 118 [
 119   (MethodResentNotFound new `>>
 120     [message := Message sending: selector to: arguments &optionals: optionals.
 121      method := method. ]) signal
 122 ].
 123
 124 mnf@(MethodResentNotFound traits) describeOn: out
 125 [
 126   out ; 'The method ' ; mnf message selector printString
 127    ; ' was not found for the following arguments:\n' ; mnf message arguments printString
 128    ; '\nafter method:\n' ; mnf method printString.
 129   mnf message optionals isEmpty ifFalse:
 130     [out ; '\nwith optionals:\n' ; mnf message optionals printString].
 131   out ; '\n'
 132 ].
 133
 134 conditions define: #OverrideThis &parents: {ProtocolError}.
 135 "An OverrideThis is an Error signaled when a method was not properly overridden."
 136
 137 _@(OverrideThis traits) describeOn: out
 138 [
 139   out ; 'The method was not defined by a child object as required.\n'
 140 ].
 141
 142 _@lobby overrideThis
 143 [
 144   OverrideThis signal
 145 ].
 146
 147 _@lobby TODO
 148 [error: 'This method should be implemented but is not.'].
 149
 150 _@lobby TODO: message
 151 [error: 'This method should be implemented but is not.\nNote: ' ; message].
 152
 153 conditions define: #ShouldNotImplement &parents: {ProtocolError}.
 154 "An ShouldNotImplement is an Error signaled when a method that shouldn't be defined is defined."
 155
 156 _@(ShouldNotImplement traits) describeOn: out
 157 [
 158   out ; 'The method should not be implemented on a child object.\n'
 159 ].
 160
 161 _@lobby shouldNotImplement
 162 [
 163   ShouldNotImplement signal
 164 ].
 165
 166 conditions define: #ConversionNotFound &parents: {Error} &slots: {#source. #target.}.
 167 "A ConversionNotFound is an Error signaled when the use of as: is on arguments
 168 for which no reasonable conversion exists."
 169
 170 x@(Root traits) conversionNotFoundTo: y
 171 [(ConversionNotFound new `>> [source := x. target := y. ]) signal].
 172
 173 c@(ConversionNotFound traits) describeOn: out
 174 [
 175   out ; 'A suitable conversion method could not be found to convert between these two objects:\n'
 176    ; c source printString ; '\n' ; c target printString ; '\n'.
 177 ].
 178
 179 numerics define: #OperationError &parents: {Error}.
 180 "A numeric operation error. This offers the ability to continue with some
 181 value."
 182
 183 _@(OperationError traits) describeOn: out
 184 [
 185   out ; 'Numeric operation error.\n'
 186 ].
 187
 188 numerics define: #DivideByZero &parents: {numerics OperationError} &slots: {#dividend -> 0. "The number which division was taken on."}.
 189 "A division by zero error."
 190
 191 e@(DivideByZero traits) describeOn: out
 192 [
 193   out ; 'Divide by zero of ' ; e dividend printString ; '.\n'
 194 ].
 195
 196 e@(DivideByZero traits) of: x
 197 [e new `>> [dividend := x. ]].
 198
 199 Collection traits define: #Condition &parents: {Condition} &slots: {#collection.}.
 200
 201 cond@(Collection Condition traits) newFor: coll
 202 [cond new `>> [collection := coll. ]].
 203
 204 cond@(Collection Condition traits) describeOn: out
 205 [
 206   out ; 'Collection ' ; cond collection printString
 207    ; ' signaled: ' ; cond name ; '\n'.
 208 ].
 209
 210 Collection traits define: #ElementNotFound &parents: {Error. Collection Condition} &slots: {#element}.
 211
 212 enf@(Collection ElementNotFound traits) describeOn: out
 213 [
 214   out ; enf collection printString ; ' does not contain: '
 215    ; enf element printString ; '\n'.
 216 ].
 217
 218 element elementNotFoundOn: c@(Collection traits)
 219 [
 220   (c ElementNotFound newFor: c) `>> [element := element. signal]
 221 ].
 222
 223 Collection traits define: #IsEmpty &parents: {Error. Collection Condition}.
 224
 225 ie@(Collection IsEmpty traits) describeOn: out
 226 [
 227   out ; ie collection printString ; ' is empty.\n'
 228 ].
 229
 230 c@(Collection traits) emptyCheck
 231 [
 232   c isEmpty ifTrue: [(c IsEmpty newFor: c) signal]
 233 ].
 234
 235 Collection traits define: #IsFull &parents: {Error. Collection Condition}.
 236
 237 if@(Collection IsFull traits) describeOn: out
 238 [
 239   out ; if collection printString ; ' is full.\n'
 240 ].
 241
 242 if@(Collection IsFull traits) defaultHandler
 243 [
 244   if collection grow
 245 ].
 246
 247 c@(Collection traits) fullCheck
 248 [
 249   c isFull ifTrue: [(c IsFull newFor: c) signal]
 250 ].
 251
 252 Mapping traits define: #KeyNotFound &parents: {Error. Collection Condition} &slots: {#key.}.
 253 "A key which was not found in the specified collection."
 254
 255 knf@(Mapping KeyNotFound traits) describeOn: out
 256 [
 257   out ; knf key printString ; ' is not a key in '
 258    ; knf collection printString ; '\n'.
 259 ].
 260
 261 key keyNotFoundOn: m@(Mapping traits)
 262 [((m KeyNotFound newFor: m) `>> [key := key. ]) signal].