Class Invariants

Jump to bottom

talgoldv edited this page Nov 27, 2022 · 1 revision

Scheduled notifications

Message is not empty
Notification is sent later than right now.

Guest

Has a name.

Therapist

Has a name
Has a username

Patient

Has a name
Has a username

Summary

Not empty.

Achievements

Has a name
Has an image.

Automatic Thoughts

Thought is not empty.

Automatic Thoughts Response

Thought is not empty.
Response is not empty.

Active Fill

Event is not empty.

Body Part Selection

Body part is not empty.

Clone this wiki locally