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 212 9 2000 life_line_z 2000
classinstance 128749 class_ref 129517 // Operator_Kart_Platniczych
  name ""   xyz 347 4 2005 life_line_z 2000
fragment 129517 "CardCorrectState = False"
  xyzwh 82 194 2015 367 80
end
durationcanvas 128365 classinstance_ref 128109 // :Klient
  xyzwh 94 88 2010 11 41
end
durationcanvas 128493 classinstance_ref 128237 // :Bankomat
  xyzwh 237 89 2010 11 77
end
durationcanvas 128877 classinstance_ref 128749 // :Operator_Kart_Platniczych
  xyzwh 414 97 2010 11 44
end
durationcanvas 129645 classinstance_ref 128237 // :Bankomat
  xyzwh 237 213 2010 11 40
end
msg 128621 asynchronous
  from durationcanvas_ref 128365
  to durationcanvas_ref 128493
  yz 89 2015 msg operation_ref 128493 // "InsertCard()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "Card: Karta"
  label_xy 120 75
msg 129005 synchronous
  from durationcanvas_ref 128493
  to durationcanvas_ref 128877
  yz 98 2015 msg operation_ref 128621 // "IsCardOk()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "Card: Karta"
  label_xy 266 84
msg 129389 return
  from durationcanvas_ref 128877
  to durationcanvas_ref 128493
  yz 130 2015 explicitmsg "return CardCorrectState"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 279 119
reflexivemsg 129773 synchronous
  to durationcanvas_ref 129645
  yz 213 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 269 212
end