Re: asking about OCL



Re: asking about OCL

From: Anneke Kleppe <a.kleppe_at_klasse.nl>
Date: Tue, 16 May 2006 13:42:03 +0200
Message-ID: <4469BA8B.1040606@klasse.nl>
It is inconsistent with the rest of OCL, because all static operations 
or attributes need to be referred to using the double colon notation, as in
A::myStaticAttr. Note, by the way, that static operations or attributes 
cannot be referred to using self::myStaticAttr, because static features
are regarded to be properties of the class, not of the instance.

Anneke

D H. Akehurst wrote:

>What is wrong with (other than the fact it may not be standard syntax):
>
>A.allInstances()
>
>After all, allInstances is really an operation on the type 'A'.
>
>
>
>  
>
>>-----Original Message-----
>>From: puml-list-request@cs.york.ac.uk 
>>[mailto:puml-list-request@cs.york.ac.uk] On Behalf Of Prof. 
>>Dr. Peter H. Schmitt
>>Sent: 16 May 2006 11:40
>>To: brucker@spamfence.net
>>Cc: puml-list@cs.york.ac.uk
>>Subject: Re: asking about OCL
>>
>>
>>    
>>
>>>Personally, I like the A::self.allInstances notion, even if the 
>>>standard is somewhat unclear. Nevertheless, being interested in the 
>>>OCL semantics I use whatever concrete syntax is accepted by 
>>>      
>>>
>>the tools 
>>    
>>
>>>:-).
>>>
>>>      
>>>
>>I personally like A::allInstances()  since allInstances does 
>>not operate on instances. It, seems that is the only version 
>>that is not supported.
>>
>>Peter
>>
>>    
>>
>>>Achim
>>>
>>>
>>>
>>>To remove yourself from this list please mail 
>>>puml-list-request@cs.york.ac.uk with a message containing 
>>>      
>>>
>>the word "unsubscribe".
>>    
>>
>>--
>>Prof.Dr.P.H.Schmitt
>>Fakultät für Informatik
>>Universität Karlsruhe
>>
>>
>>
>>To remove yourself from this list please mail 
>>puml-list-request@cs.york.ac.uk
>>with a message containing the word "unsubscribe".
>>
>>
>>    
>>
>
>
>
>To remove yourself from this list please mail puml-list-request@cs.york.ac.uk
>with a message containing the word "unsubscribe".
>
>
>
>
>  
>
Received on Tue 16 May 2006 - 12:42:05 BST