Re: allInstances at pre



Re: allInstances at pre

From: Pierre Yves Schobbens ^lt;pys@info.fundp.ac.be>
Date: Wed 11 May 2005 - 10:43:50 BST
Message-Id: <9c8b14800a302240abe391ff63d797e4@info.fundp.ac.be>
On 05-mai-05, at 22:26, Andreas Awenius wrote:
> 			     User.allInstances() =  User@pre.allInstances() -> 
> including(u1))
>
I think this is syntactically correct, but not what is wanted.
"User@pre" will designate the classifier User as it was just before 
AddUser, namely exactly the same.
Thus you could equivalently write:
User.allInstances() =  User.allInstances() -> including(u1))
Received on Wed May 11 10:44:35 2005