format 224

classinstance 128008 class_ref 142600 // AutomatController
 color lightmediumblue  name ""   xyz 374 33 2000 life_line_z 2010
classinstance 128264 class_ref 128922 // Automat
  name ""   xyz 706 40 2000 life_line_z 2010
classinstance 130696 class_ref 129178 // Shelf
  name ""   xyz 966 38 2000 life_line_z 2010
classinstance 132104 class_ref 128538 // Client
  drawing_mode actor  name ""   xyz 27 24 2000 life_line_z 2000
classinstance 137224 class_ref 128410 // Order
  name ""   xyz 1217 40 2000 life_line_z 2010
fragment 149384 "alt"
  color verylightorange xyzwh 235 246 0 1042 436
  separator 2172
end
textcanvas 149512 "[shelf == null]"
  font bold  xyzwh 265 247 2000 81 16
textcanvas 149640 "[shlef != null]"
  font bold  xyzwh 237 341 2000 73 16
fragment 150024 "alt"
  color lightyellow xyzwh 259 405 2000 1005 241
  separator 3135
end
textcanvas 150280 "[isEmpty == true]"
  font bold  xyzwh 290 407 2005 99 15
textcanvas 150408 "[isEmpty == false]"
  font bold  xyzwh 261 487 2006 102 16
durationcanvas 144904 classinstance_ref 132104 // :Client
  xyzwh 38 131 2010 11 45
end
durationcanvas 146568 classinstance_ref 132104 // :Client
  xyzwh 38 307 2010 11 32
end
durationcanvas 147720 classinstance_ref 132104 // :Client
  xyzwh 38 450 2010 11 37
end
durationcanvas 147976 classinstance_ref 130696 // :Shelf
  xyzwh 985 352 2015 11 194
end
durationcanvas 148232 classinstance_ref 128264 // :Automat
  xyzwh 728 179 2015 11 436
  overlappingdurationcanvas 145672
    xyzwh 734 197 2020 11 31
  end
end
durationcanvas 148616 classinstance_ref 137224 // :Order
  xyzwh 1236 556 2015 11 39
end
durationcanvas 148872 classinstance_ref 128008 // :AutomatController
  xyzwh 419 136 2015 11 489
end
durationcanvas 149128 classinstance_ref 132104 // :Client
  xyzwh 38 599 2010 11 30
end
msg 145160 synchronous
  from durationcanvas_ref 144904
  to durationcanvas_ref 148872
  yz 136 2015 explicitmsg "EntersProductNumber"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 102 121
msg 145544 synchronous
  from durationcanvas_ref 148872
  to durationcanvas_ref 148232
  yz 180 2015 explicitmsg "AddProduct(shelfNumber: int)"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 507 166
reflexivemsg 145800 synchronous
  to durationcanvas_ref 145672
  yz 197 2025 explicitmsg "FindShelf(shelfNumber: int)"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 769 196
selfreflexivemsg 145928
  to durationcanvas_ref 145672
  yz 220 3005 explicitmsg "shelf: Shlef?"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 769 218
msg 146440 return
  from durationcanvas_ref 148232
  to durationcanvas_ref 148872
  yz 291 2015 explicitmsg "NotFound: AddProductStatus"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 517 279
msg 146696 return
  from durationcanvas_ref 148872
  to durationcanvas_ref 146568
  yz 312 2015 explicitmsg "ProductNotFoundErrorMessage"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 66 298
msg 147080 synchronous
  from durationcanvas_ref 148232
  to durationcanvas_ref 147976
  yz 359 2015 explicitmsg "isEmpty()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 839 345
msg 147208 return
  from durationcanvas_ref 147976
  to durationcanvas_ref 148232
  yz 381 2020 explicitmsg "isEmpty: bool"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 835 371
msg 147592 return
  from durationcanvas_ref 148232
  to durationcanvas_ref 148872
  yz 450 2020 explicitmsg "OutOfStock: AddProductStatus"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 506 436
msg 147848 return
  from durationcanvas_ref 148872
  to durationcanvas_ref 147720
  yz 461 2020 explicitmsg "ProductOutOfStockErrorMessage"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 61 449
msg 148104 synchronous
  from durationcanvas_ref 148232
  to durationcanvas_ref 147976
  yz 504 2020 explicitmsg "GetProduct()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 830 490
msg 148360 return
  from durationcanvas_ref 147976
  to durationcanvas_ref 148232
  yz 525 2020 explicitmsg "product: Product"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 826 515
msg 148744 synchronous
  from durationcanvas_ref 148232
  to durationcanvas_ref 148616
  yz 573 2020 explicitmsg "AddProduct(product: Product)"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 777 562
msg 149000 return
  from durationcanvas_ref 148232
  to durationcanvas_ref 148872
  yz 585 2020 explicitmsg "Success: AddProductStatus"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 517 574
msg 149256 return
  from durationcanvas_ref 148872
  to durationcanvas_ref 149128
  yz 604 2020 explicitmsg "ShowPaymentSelectView"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 65 593
end