Does Java recognize infinite loops?

by

I’ll just quote the Java Language Specification, as it’s rather clear on this:

This section is devoted to a precise explanation of the word “reachable.” The idea is that there must be some possible execution path from the beginning of the constructor, method, instance initializer or static initializer that contains the statement to the statement itself. The analysis takes into account the structure of statements. Except for the special treatment of while, do, and for statements whose condition expression has the constant value true, the values of expressions are not taken into account in the flow analysis.

…

A while statement can complete normally iff at least one of the following is true:

  • The while statement is reachable and the condition expression is not a constant expression with value true.
  • There is a reachable break statement that exits the while statement.

…

Every other statement S in a nonempty block that is not a switch block is reachable iff the statement preceding S can complete normally.

And then apply the above definitions to this:

If a method is declared to have a return type, then every return statement (§14.17) in its body must have an Expression. A compile-time error occurs if the body of the method can complete normally (§14.1).

In other words, a method with a return type must return only by using a return statement that provides a value return; it is not allowed to “drop off the end of its body.”

Note that it is possible for a method to have a declared return type and yet contain no return statements. Here is one example:

class DizzyDean {
  int pitch() { throw new RuntimeException("90 mph?!"); }
}

More Related Contents:

  1. Repeat the “if” statement if it has to go to the “else” statement
  2. How to get out of while loop in java with Scanner method “hasNext” as condition?
  3. Scanner input validation in while loop
  4. get Index of last Element in list without using lastIndexOf() or any other Java/String- Methods [closed]
  5. How to print print the first and last numbers from the list do while loop
  6. How to refacor a code use only loops and simple arrays?
  7. ArrayList, Loop and requisite if can not work that i want – Java 11
  8. Java – What would cause a while-loop to execute, even when false?
  9. Decrement on While loops
  10. Iterate through a HashMap [duplicate]
  11. How do I break out of nested loops in Java?
  12. Calling remove in foreach loop in Java [duplicate]
  13. Ways to iterate over a list in Java
  14. Declaring variables inside or outside of a loop
  15. Timer & TimerTask versus Thread + sleep in Java
  16. Creating a triangle with for loops
  17. How to efficiently remove all null elements from a ArrayList or String Array?
  18. how to write an array to a file Java
  19. How to iterate over a PriorityQueue?
  20. How do I exit a while loop in Java?
  21. Printing *s as triangles in Java?
  22. Post increment operator not incrementing in for loop [duplicate]
  23. Java: for(;;) vs. while(true)
  24. Java – Does returning a value break a loop?
  25. Algorithm to generate a hexagonal grid with coordinate system
  26. Java InputMismatchException
  27. Using for loop inside of a JSP
  28. Java Delay/Wait
  29. Java: For-Each loop and references [duplicate]
  30. Remove object from ArrayList with some Object property

Leave a Comment