Re: Java vs. Objective-C for Cocoa

FROM : Thomas Davie
DATE : Sat Apr 23 23:58:21 2005

On Apr 23, 2005, at 10:53 PM, Jonathon Mah wrote:

> On 24 Apr 2005, at 07:11, Ondra Cada wrote:
>
>

>> You decide to re-name the latter "doThis:" (the one which is not 
>> called from main menu) to "doThat:".
>>
>> Of course the tool can easily find in the NIB that "doThis:" is 
>> sent(*). How on earth though would it know whether the actual 
>> receiver is an instance of the former class, or an instance of the 
>> latter one?
>>

>
> It asks you. You say yes or no and it does its stuff, saving you a 
> lot of time.


Also note that Turing did not prove that it is impossible to analyze 
the dynamic behavior of a program statically, he proved that there 
are certain cases where you can not and that you can't do it in 
general.  There are however hundreds of very useful static analysis 
tools out there that infer information about the program at runtime.

Bob