Miguel Muñoz

icon indicating a website link https://neptunedreams.com icon indicating an email [email protected]

icon company neptunedreams.com icon location NE Los Angeles, near South Pasadena icon location Born in Detroit, I graduated from Harvey Mudd College with a B.S. in Physics, but quickly migrated to software development. I have worked with Java since 1996.

Results 1 issues of Miguel Muñoz

@ThrowsException annotation for methods that always throw an exception

5 comment

This is a feature request for a `@ThrowsException` method annotation, which indicates that the annotated method throws an exception. This would be analogous to [`@TerminatesExecution`](https://checkerframework.org/api/org/checkerframework/dataflow/qual/TerminatesExecution.html), in that it would improve...

enhancement
Dataflow
good first issue