I think the point everyone is trying to make is that it's important to care about statically ruling certain invariants are met: that's not an inherently bad thing.
But with Android it's impossible to know if this invariant can be statically determined: since you never know which ROM you're running under. My intuition is that on vanilla Android you will never see a null intent passed to a framework method, I think I've seen the result of a static analysis which has said this before. But when you're running "in the wild" you never know the contents of the dynamically linked code. So what everyone is saying is that in practice it seems to be that this "never" happens, but on flakey ROMs, you never know what can happen. (And you *can't* statically determine this for all of them, anyway...) Avoiding crashes is a numbers game.. Kris On Sun, Jul 14, 2013 at 6:22 PM, Palmer Eldritch <[email protected]> wrote: > Glad you agree with each other > > Have you thought that this could be a way of delving a bit deeper into the > framework ? That, well, it's not the end result only but the search that > matters ? > > And that maybe this way one writes code faster at the end cause one knows > his/her way better ? > > No > > Receiving an object one hasn't the slightest idea about is apparently the > android way - may be null or not - who cares as long as we can add an if > > Even in one of the most fundamental callbacks > > Maybe have a look at my links after all ? > > > On Tuesday, July 9, 2013 3:46:41 PM UTC+3, Palmer Eldritch wrote: >> >> In other words : >> >> @Override >> public void onReceive(Context context, Intent intent) { >> final String action = intent.getAction(); // can intent==null here >> ? >> } >> >> I need to solve this once and for all so please no ifs and buts. I would >> check for null but I suspect that it is not needed and therefore it is >> clumsy and inelegant to check. I had searched in the docs but have not found >> anything > > -- > -- > You received this message because you are subscribed to the Google > Groups "Android Developers" group. > To post to this group, send email to [email protected] > To unsubscribe from this group, send email to > [email protected] > For more options, visit this group at > http://groups.google.com/group/android-developers?hl=en > --- > You received this message because you are subscribed to the Google Groups > "Android Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > > -- -- You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en --- You received this message because you are subscribed to the Google Groups "Android Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
