Related articles |
---|
Adding const to java lashari@hotmail.com (Ghulam Lashari) (2002-10-24) |
deepfinal modifier for Java lashari@hotmail.com (Ghulam Lashari) (2002-11-13) |
Re: deepfinal modifier for Java joachim_d@gmx.de (Joachim Durchholz) (2002-11-15) |
Re: deepfinal modifier for Java eeide@cs.utah.edu (Eric Eide) (2002-11-20) |
From: | "Joachim Durchholz" <joachim_d@gmx.de> |
Newsgroups: | comp.compilers |
Date: | 15 Nov 2002 00:37:18 -0500 |
Organization: | Compilers Central |
References: | 02-10-101 02-11-073 |
Keywords: | Java |
Posted-Date: | 15 Nov 2002 00:37:18 EST |
Ghulam Lashari wrote:
>
> In fact, I had implemented a "deepfinal" modifier for Java.
>
> Is there any usefulness of this thing in Program analysis (static
> analysis), Invariant detection etc?
It would be useful if it worked.
The problem is if some deepfinal object is referring to another object
which is accessible via a non-deepfinal reference.
In other words: to make use of "deepfinal", the compiler will have to do
data-flow analysis - and if the compiler is smart enough to do that, I
suspect that it is also smart enough to deduce whether an object is
deepfinal or not.
Regards,
Joachim
Return to the
comp.compilers page.
Search the
comp.compilers archives again.