[Newcompiler] How does the CaptureVar work

[Stéphane Ducasse]

please add comments somewhere about that :)

Stef

On 3 juil. 07, at 14:27, Marcus Denker wrote:

>
> On 03.07.2007, at 14:24, Mathieu Suen wrote:
>
>> Ok so from the point of view of the Decompiler we should make   
>> CaptureVar whenever we see a
>>
>> (thisEnv at: 1)  privStore: ...
>> (thisEnv at: 1)  privGet: ...
>>
>
> Yes.
>
>> 	Mth
>>
>>
>>
>> On Jul 3, 2007, at 2:15 PM, Marcus Denker wrote:
>>
>>> There are two types of variables: TempVar and CapturedVar.  
>>> TempVars are temporaries that are not referenced from blocks.
>>> Thus in a case like this:
>>>
>>> 	| a |
>>>
>>> 	[a].
>>>
>>> the a would be a captured var, as the block could live longer  
>>> then the activiation of the method, it needs to be independed of it.
>>> Instance variables are modeled as Captured Vars, too (receiverVar  
>>> is then "self").
>>
>>
>> 	
>>
>> 	
>> 		
>> _____________________________________________________________________ 
>> ______Yahoo! Mail réinvente le mail ! Découvrez le nouveau Yahoo!  
>> Mail et son interface révolutionnaire.
>> http://fr.mail.yahoo.com
>
> 	Marcus
> --
> Marcus Denker  --  denker at iam.unibe.ch
> http://www.iam.unibe.ch/~denker
>
>
>