inv pasPlusDe10Objets('Il y a plus de 10 objets dans ce diagramme'): self.DiagramObjects -> size() <= 10
[comment getCode() opération/] [template public getCode(operationCallExp : pivot::OperationCallExp) post (trim())] [operationCallExp.ownedSource.getCode()/] [operationCallExp.referredOperation.name/][operationCallExp.ownedArguments -> getArguments()/] [/template]
[operationCallExp.referredOperation.name/]