Object Constraint Language: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Collegamenti esterni: Bot, replaced: Categoria:Linguaggi formali → Categoria:Teoria dei linguaggi formali |
mNessun oggetto della modifica |
||
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 (informatica)|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>
| |||