Re: OCL concrete to abstract syntax question



Date view Thread view Subject view Author view Attachment view

From: Stefan Haustein (haustein@kimo.cs.uni-dortmund.de)
Date: Wed 14 Jan 2004 - 22:22:49 GMT


> Indeed, looking into IteratorExp, it seems that collect is indeed defined in 
> terms of that... But when looking at the definition, it seems operations like 
> "including" are still used without being defined themselves as an IteratorExp 
> or something alike...


Well you only asked for "collect" :)

"including" is a regular library function defined in section 6.5, thus should be 
covered by a simple OperationPropertyCallExp (Section 3.3.2) (?).

Best regards,
Stefan



-- 
Dipl.-Inform. Stefan Haustein
Univ. Dortmund, FB 4, LS 8   tel: +49 231 755 2499
Baroper Str. 301             fax: +49 231 755 5105
D-44221 Dortmund (Germany)   www-ai.cs.uni-dortmund.de

Date view Thread view Subject view Author view Attachment view