The Eiffel protocol specifies each event on its own. For convenience reasons the protocol also provides a description on how to group them together in categories. Use the following categories to group events together for ease of talking about them or in reasoning. To make pictures with Eiffel events consistent throughout the documentation we have assigned each category a color picked from the Unicode's full list of geometric emojis.
| Category | Color |
|---|---|
| Activity | 🔵 |
| Artifact | 🔴 |
| Definition | 🟣 |
| Notification | 🟠 |
| Source | 🟢 |
| Test | 🟡 |
| Verdict | 🟤 |
The events and their categories.