Next: , Previous: , Up: Armouring   [Contents]


7.2 Armouring patterns

Here we discuss the exhaustive list of Armour patterns separated in armouring either a provides interface or a requires interface. They all come in 2 flavours, with or without error handling. The names were inspired by the error messages that the Dezyne verifier generates.