format 224

classinstance 128130 class_ref 128538 // Client
  drawing_mode actor  name ""   xyz 3.7234 4.04 2000 life_line_z 2000
classinstance 128258 class_ref 128770 // TransactionController
  name ""   xyz 137.653 12.7234 2000 life_line_z 2000
classinstance 128770 class_ref 135298 // Terminal
  name ""   xyz 440.11 18.3931 2000 life_line_z 2000
classinstance 129282 class_ref 135554 // AuthorizationSystem
  name ""   xyz 587.396 16 2000 life_line_z 2000
fragment 130050 "authorize == true"
  xyzwh 3.86785 323.45 2005 680 108
end
fragment 130434 "authorize == false and attempts < 3"
  xyzwh 2.19819 431.175 2010 681 143
end
fragment 131458 "authorize =- false and attempts == 3"
  xyzwh 2 573 2015 682 140
end
durationcanvas 128386 classinstance_ref 128130 // :Client
  xyzwh 14 129 2010 11 40
end
durationcanvas 128514 classinstance_ref 128258 // :TransactionController
  xyzwh 190 136 2010 11 433
  overlappingdurationcanvas 129794
    xyzwh 196 373 2020 11 39
  end
  overlappingdurationcanvas 130178
    xyzwh 196 461 2020 11 25
  end
end
durationcanvas 128898 classinstance_ref 128770 // :Terminal
  xyzwh 461 138 2010 11 56
end
durationcanvas 129410 classinstance_ref 129282 // :AuthorizationSystem
  xyzwh 639 234 2010 11 88
end
durationcanvas 130818 classinstance_ref 129282 // :AuthorizationSystem
  xyzwh 639 511 2010 11 33
end
durationcanvas 131202 classinstance_ref 128258 // :TransactionController
  xyzwh 190 627 2010 11 40
end
msg 128642 synchronous
  from durationcanvas_ref 128386
  to durationcanvas_ref 128514
  yz 136 2015 explicitmsg "enterPIN"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 39 118
msg 129026 synchronous
  from durationcanvas_ref 128514
  to durationcanvas_ref 128898
  yz 144 2020 msg operation_ref 133890 // "getPIN()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "PIN:string"
  label_xy 246 128
msg 129154 return
  from durationcanvas_ref 128898
  to durationcanvas_ref 128514
  yz 176 2015 explicitmsg "PIN"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 271 162
msg 129538 synchronous
  from durationcanvas_ref 128514
  to durationcanvas_ref 129410
  yz 240 2015 msg operation_ref 134146 // "authorize()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "card:Card, PIN:string"
  label_xy 213 226
msg 129666 return
  from durationcanvas_ref 129410
  to durationcanvas_ref 128514
  yz 273 2015 explicitmsg "authorize"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 299 259
reflexivemsg 129922 synchronous
  to durationcanvas_ref 129794
  yz 373 2025 msg operation_ref 134274 // "displayPositiveMessage()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 234 372
reflexivemsg 130306 synchronous
  to durationcanvas_ref 130178
  yz 461 2025 msg operation_ref 134402 // "displayNegativeMessage()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 228 458
msg 130946 synchronous
  from durationcanvas_ref 128514
  to durationcanvas_ref 130818
  yz 511 2015 msg operation_ref 134146 // "authorize()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "card:Card, PIN:string"
  label_xy 323 497
msg 131074 return
  from durationcanvas_ref 130818
  to durationcanvas_ref 128514
  yz 533 2015 explicitmsg "authorize"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  label_xy 398 519
reflexivemsg 131330 synchronous
  to durationcanvas_ref 131202
  yz 627 2015 msg operation_ref 133122 // "cancelTransaction()"
  show_full_operations_definition default show_class_of_operation default drawing_language default show_context_mode default
  args "transaction:Transaction"
  label_xy 224 625
end