In my Java code, I occasionally run into situations where I have to catch a checked exception from a library function that I’m pretty sure can’t occur in my use case.
Also, when coding, I sometimes notice that I’m relying on certain inputs from other modules (my own) to have or not have particular features. For example, I might expect a string to be in a certain format etc. In these situations, I would often put in a verification step, although I control the code that send the input myself.
At the moment, I’m working on a quite complex product that I want to be very reliable. Among other things, I want it to collect information from caught exceptions and automatically file bug reports. For the above two scenarios, I therefore defined an (unchecked) “ProbableBugException”, that tells me I made a mistake in the code delivering the input data.
Is that a) stupid, b) paranoid or c) good practice? This is going to be subjective, I’ll put up three wiki answers so we can vote away without rep warping.
ETA:
Thanks to Svend for pointing out that Java has assertions, I didn’t realize that. Assertions are actuall pretty much what my question was about, but I only knew them from C and have never used them there.
I’m thinking that using an assert is what you really want there ("probably bug").