#17 Vincoli OCL su FunctionDefinition e FunctionInitialization

[Scandurra]

Ho risolto nell'OCL checker (parser) il problema dell'uso di un Mapterm per definire/inizializzare una funzione. Adesso funziona.

Occorre, però, riportare a livello di descrizione dei vincoli OCL nel metamodello la segente osservazione. Per FunctionDefinition i vincoli B10 ed E21 sono mutui esclusivi! Stessa cosa per FunctionInitialization per I10 e E20.

P.