format 224

classinstance 128009 class_ref 128023 // Klient
  name ""   xyz 22 5 2000 life_line_z 2000
classinstance 128137 class_ref 128131 // Bankomat
  name ""   xyz 155 4 2000 life_line_z 2000
classinstance 128265 class_ref 141207 // SystemAutoryzacji
  name ""   xyz 244 4 2000 life_line_z 2000
classinstance 128393 class_ref 128003 // Karta
  name "karta"   xyz 568 4 2000 life_line_z 2000
classinstance 128521 class_ref 128771 // Bank
  name ""   xyz 662 4 2000 life_line_z 2000
durationcanvas 128649 classinstance_ref 128009 // :Klient
  xyzwh 41 53 2010 11 56
end
durationcanvas 128777 classinstance_ref 128137 // :Bankomat
  xyzwh 180 52 2010 11 383
  overlappingdurationcanvas 131337
    xyzwh 186 329 2020 11 53
  end
end
durationcanvas 129033 classinstance_ref 128265 // :SystemAutoryzacji
  xyzwh 291 75 2010 11 233
  overlappingdurationcanvas 129673
    xyzwh 297 169 2020 11 25
  end
end
durationcanvas 129289 classinstance_ref 128393 // karta:Karta
  xyzwh 595 100 2010 11 65
end
durationcanvas 131593 classinstance_ref 128521 // :Bank
  xyzwh 681 350 2010 11 49
end
durationcanvas 131849 classinstance_ref 128009 // :Klient
  xyzwh 41 395 2010 11 44
end
durationcanvas 132361 classinstance_ref 128393 // karta:Karta
  xyzwh 595 194 2010 11 100
  overlappingdurationcanvas 130953
    xyzwh 601 248 2020 11 31
  end
  overlappingdurationcanvas 132233
    xyzwh 601 201 2020 11 27
  end
end
msg 128905 synchronous
  from durationcanvas_ref 128649
  to durationcanvas_ref 128777
  yz 66 2015 explicitmsg "wprowadzPin(pin)"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 71 52
msg 129161 synchronous
  from durationcanvas_ref 128777
  to durationcanvas_ref 129033
  yz 101 2020 explicitmsg "autoryzuj(pin)"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 201 87
msg 129417 synchronous
  from durationcanvas_ref 129033
  to durationcanvas_ref 129289
  yz 116 2025 explicitmsg "sprawdzIloscMozliwychProb()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 379 104
msg 129545 return
  from durationcanvas_ref 129289
  to durationcanvas_ref 129033
  yz 144 2015 explicitmsg "iloscMozliwychProb"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 398 132
reflexivemsg 129801 synchronous
  to durationcanvas_ref 129673
  yz 169 2025 explicitmsg "sprawdzPin(pin, iloscMozliwychProb)"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 310 154
msg 130569 synchronous
  from durationcanvas_ref 129033
  to durationcanvas_ref 132233
  yz 210 2025 explicitmsg "[stanWeryfikacji = 'Good'] zwiekszIloscMozliwychProb()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 312 197
msg 131081 synchronous
  from durationcanvas_ref 129033
  to durationcanvas_ref 130953
  yz 252 2025 explicitmsg "[stanWeryfikacji = 'Bad' | 'Warning''] zmniejszIloscDostepnychProb()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 304 234
msg 131209 return
  from durationcanvas_ref 129033
  to durationcanvas_ref 128777
  yz 287 2015 explicitmsg "stanWeryfikacji"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 204 273
reflexivemsg 131465 synchronous
  to durationcanvas_ref 131337
  yz 329 2025 explicitmsg "[stanWeryfikacji = 'Warning'] zatrzymajKarte()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 197 315
msg 131721 asynchronous
  from durationcanvas_ref 131337
  to durationcanvas_ref 131593
  yz 361 2025 explicitmsg "wyslijKomunikatOZatrzymaniuKarty()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 350 347
msg 131977 return
  from durationcanvas_ref 128777
  to durationcanvas_ref 131849
  yz 395 2015 explicitmsg "komunikat"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 93 381
end