| Precondition |
RBellog 0 |
Download Evidence |
| Book an appointment by schedule reference |
INFO - entry.resource.ofType(Slot).count() > 0 |
Details |
| Book an appointment by schedule reference |
INFO - entry.resource.ofType(Slot).where(status = 'free' and start <= @2027-03-31T10:05:00Z and end >= @2027-03-31T10:55:00Z).count() >= 1 |
Details |
| Book an appointment by schedule reference |
INFO - entry.resource.ofType(Slot).where(status != 'free' and start < @2027-03-31T10:55:00Z and end > @2027-03-31T10:05:00Z).count() = 0 |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) or ($this is Parameters) |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) implies id.exists() |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) implies status.toString().matches('^booked|pending$') |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Appointment) implies slot.exists() |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Parameters) implies parameter.where(name = 'return' and resource is Appointment).resource.id.exists() |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Parameters) implies parameter.where(name = 'return' and resource is Appointment).resource.status.toString().matches('^booked|pending$') |
Details |
| Book an appointment by schedule reference |
INFO - ($this is Parameters) implies parameter.where(name = 'return' and resource is Appointment).resource.slot.exists() |
Details |
| Book an appointment by schedule reference |
RBellog 0 |
Download Evidence |
| Book an appointment by schedule reference |
Evidence Report |
Download Evidence |
