format 224

classinstance 128109 class_ref 165357 // Klient
  name ""   xyz 83 4 2000 life_line_z 2000
classinstance 128237 class_ref 128109 // Bankomat
  name ""   xyz 202 4 2000 life_line_z 2000
classinstance 128749 class_ref 129645 // Bank
  name ""   xyz 377 12 2000 life_line_z 2000
fragment 130669 "FailStreak > 3"
  xyzwh 77 223 2000 468 91
end
fragment 130797 "PINCorrectState = False"
  xyzwh 32 174 2000 547 226
end
classinstance 131437 class_ref 129517 // Operator_Kart_Platniczych
  name ""   xyz 459 4 2000 life_line_z 2000
durationcanvas 128365 classinstance_ref 128109 // :Klient
  xyzwh 98 93 2010 11 40
end
durationcanvas 128493 classinstance_ref 128237 // :Bankomat
  xyzwh 234 93 2010 11 73
end
durationcanvas 129261 classinstance_ref 128237 // :Bankomat
  xyzwh 234 190 2010 11 25
end
durationcanvas 130029 classinstance_ref 128237 // :Bankomat
  xyzwh 234 242 2010 11 30
end
durationcanvas 130157 classinstance_ref 128749 // :Bank
  xyzwh 396 238 2010 11 29
end
durationcanvas 130413 classinstance_ref 128237 // :Bankomat
  xyzwh 234 279 2010 11 27
end
durationcanvas 130925 classinstance_ref 128237 // :Bankomat
  xyzwh 234 338 2010 11 49
end
durationcanvas 131053 classinstance_ref 128109 // :Klient
  xyzwh 98 336 2010 11 49
end
durationcanvas 131565 classinstance_ref 131437 // :Operator_Kart_Platniczych
  xyzwh 539 104 2010 11 45
end
msg 128621 asynchronous
  from durationcanvas_ref 128365
  to durationcanvas_ref 128493
  yz 93 2015 msg operation_ref 128877 // "InsertPIN()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "PIN: number"
  label_xy 112 79
reflexivemsg 129389 asynchronous
  to durationcanvas_ref 129261
  yz 198 2015 msg operation_ref 129133 // "IncreaseFailStreak()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 259 194
msg 130285 synchronous
  from durationcanvas_ref 130029
  to durationcanvas_ref 130157
  yz 242 2015 msg operation_ref 129261 // "BlockCard()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "Card: Karta"
  label_xy 266 228
reflexivemsg 130541 synchronous
  to durationcanvas_ref 130413
  yz 279 2015 msg operation_ref 128749 // "ReturnCard()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 262 278
msg 131181 synchronous
  from durationcanvas_ref 130925
  to durationcanvas_ref 131053
  yz 339 2015 msg operation_ref 129389 // "AnotherTry()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 135 325
msg 131309 return
  from durationcanvas_ref 131053
  to durationcanvas_ref 130925
  yz 371 2015 explicitmsg "return AnotherTryState"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 111 357
msg 131693 synchronous
  from durationcanvas_ref 128493
  to durationcanvas_ref 131565
  yz 104 2020 msg operation_ref 130157 // "IsPinCorrect()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "PIN: number, Card: Karta"
  label_xy 307 94
msg 131821 return
  from durationcanvas_ref 131565
  to durationcanvas_ref 128493
  yz 138 2025 explicitmsg "return PINCorrectState"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 328 124
end