Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
chiudo <code>; formattazione |
chiudo <code> (WP:SINTASSI) |
||
Riga 86:
=== Informazioni aggiuntive ===
I vincoli OCL possono essere corredati di altre caratteristiche che non concorrono alla loro semantica ma contribuiscono alla loro [[leggibilità]]. I [[commento|commenti]] sono introdotti dai caratteri <code>--</code>, e si intendono proseguire fino alla fine della linea. I vincoli possono essere dotati di un nome, composto da una singola parola (senza spazi) posta dopo la parola chiave <code>inv</code>, <code>pre</code> ecc:
:<code>'''context''' Persona::sposa(p:Persona) <b>pre<b> monogamia:<br /></code>
| |||