1
Asserzioni e vincoli
Sto costruendo un modello per creare un file di configurazione e il servizio che utilizza questo file pone vincoli sulla lunghezza dell'identificatore. Se un identificatore è più lungo di, diciamo, 6 caratteri, il servizio otterrà parzialmente l'applicazione della configurazione, fallirà e lascerà il nodo in uno stato incoerente. Come posso …