Build an employee-onboarding app around your team's responsibilities.

Preview, confirm or cancel a schedule change

When
 crud Starter by=hr fields=name,employee,department create_fields=name,employee,start_date,department delete=none
 crud Task by=hr fields=starter,title,responsible create_fields=starter,title,responsible,due_date when=not row.done delete=none
 # Preview a start-date change without changing the starter or any task.
 scenario preview_schedule(starter:Starter,proposed_date:date) by=hr
  do
   create SchedulePreview {starter,previous_date=starter.start_date,proposed_date} as preview
   for task in Task as task where task.starter==starter limit=500
    if task.timing==relative and not task.done
     create DeadlinePreview {parent=preview,task,previous_date=task.due_date,proposed_date=add_days(proposed_date,task.offset_days),was_done=task.done,timing=task.timing,offset_days=task.offset_days,already_overdue=task.due_date<local_date(now,"Europe/Brussels"),becomes_past_due=add_days(proposed_date,task.offset_days)<local_date(now,"Europe/Brussels")} as line
    else
     create DeadlinePreview {parent=preview,task,previous_date=task.due_date,proposed_date=task.due_date,was_done=task.done,timing=task.timing,offset_days=task.offset_days,already_overdue=false,becomes_past_due=false} as fixed_line
 # Confirmation rejects a changed task set or stale preview before any final commit.
 scenario confirm_schedule(preview:SchedulePreview,confirm_past_due:bool) by=hr
  require preview.status==prepared and preview.prepared_by==actor
  require preview.starter.start_date==preview.previous_date
  require count(Task as task where task.starter==preview.starter)==count(DeadlinePreview as line where line.parent==preview)
  do
   for line in DeadlinePreview as line where line.parent==preview limit=500
    require line.task.starter==preview.starter and line.task.due_date==line.previous_date
    require line.task.done==line.was_done and line.task.timing==line.timing and line.task.offset_days==line.offset_days
    require confirm_past_due or (not line.already_overdue and not line.becomes_past_due)
    if line.timing==relative and not line.was_done
     require line.already_overdue==(line.previous_date<local_date(now,"Europe/Brussels")) and line.becomes_past_due==(line.proposed_date<local_date(now,"Europe/Brussels"))
     set line.task {due_date=line.proposed_date}
   set preview.starter {start_date=preview.proposed_date}
   set preview {status=confirmed}
 # Cancellation retains the previous start date and every task deadline.
 scenario cancel_schedule(preview:SchedulePreview) by=hr
  require preview.status==prepared and preview.prepared_by==actor
  do set preview {status=cancelled}
 # HR deliberately converts an unfinished task after reviewing its calculated date.
 scenario use_relative(task:Task,offset_days:int,expected_date:date,confirm_past_due:bool) by=hr
  require not task.done
  require expected_date==add_days(task.starter.start_date,offset_days)
  require confirm_past_due or (task.due_date>=local_date(now,"Europe/Brussels") and expected_date>=local_date(now,"Europe/Brussels"))
  do set task {timing=relative,offset_days,due_date=expected_date}
 scenario use_fixed(task:Task,due_date:date) by=hr
  require not task.done
  do set task {timing=fixed,due_date}
 # The teammate responsible for a task records its completion.
 scenario complete(task:Task,note:text?) by=members
  require task.responsible==actor and not task.done
  do set task {done=true,completed_at=now,completion_note=note}
 # HR can hand unfinished work to another teammate.
 scenario reassign(task:Task,responsible:user) by=hr
  require not task.done
  do set task {responsible}