format 224

classinstance 128493 class_ref 129645 // Bank
  name ""   xyz 858.3 49.8 2000 life_line_z 2000
classinstance 131053 class_ref 136685 // Weryfikacja_Uzytkownika
  name ""   xyz 267.3 22.8 2000 life_line_z 2000
classinstance 131181 class_ref 128109 // Bankomat
  name ""   xyz 139.1 24.9 2000 life_line_z 2000
classinstance 131309 class_ref 129517 // Operator_Kart_Platniczych
  name ""   xyz 544.5 23.7 2000 life_line_z 2000
classinstance 134637 class_ref 165357 // Klient
  name ""   xyz 4 18 2000 life_line_z 2000
fragment 136557 "PINCorrectState = False"
  xyzwh 24.5 327 2015 510 184
end
durationcanvas 131821 classinstance_ref 131309 // :Operator_Kart_Platniczych
  xyzwh 624 122 2010 11 117
end
durationcanvas 131949 classinstance_ref 131181 // :Bankomat
  xyzwh 171 79 2010 11 418
end
durationcanvas 132205 classinstance_ref 131053 // :Weryfikacja_Uzytkownika
  xyzwh 344 104 2010 11 198
end
durationcanvas 136173 classinstance_ref 134637 // :Klient
  xyzwh 19 82 2010 11 40
end
durationcanvas 136301 classinstance_ref 131181 // :Bankomat
  xyzwh 171 76 2010 11 425
  overlappingdurationcanvas 136685
    xyzwh 177 383 2020 11 73
  end
end
msg 132845 synchronous
  from durationcanvas_ref 132205
  to durationcanvas_ref 131821
  yz 124 2015 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 369 113
msg 132973 synchronous
  from durationcanvas_ref 131949
  to durationcanvas_ref 132205
  yz 109 2015 explicitmsg "VerifyUser()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "PIN : number"
  label_xy 189 96
msg 134125 return
  from durationcanvas_ref 131821
  to durationcanvas_ref 132205
  yz 212 2015 explicitmsg "return PINCorrectState"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 448 196
msg 134509 return
  from durationcanvas_ref 132205
  to durationcanvas_ref 131949
  yz 283 2015 explicitmsg "return status"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 211 267
msg 136429 synchronous
  from durationcanvas_ref 136173
  to durationcanvas_ref 136301
  yz 82 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 27 64
reflexivemsg 136813 synchronous
  to durationcanvas_ref 136685
  yz 383 2025 msg operation_ref 128749 // "ReturnCard()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 184 365
end