|
Quick Lists
|
|
Bug ID:
|
4093121
|
|
Votes
|
0
|
|
Synopsis
|
Contradiction in statements for execution of an empty statement in chapter 14
|
|
Category
|
java:specification
|
|
Reported Against
|
1.1.3
|
|
Release Fixed
|
|
|
State
|
11-Closed,
Not a Defect,
bug
|
|
Priority:
|
4-Low
|
|
Related Bugs
|
4083890
,
4090844
|
|
Submit Date
|
14-NOV-1997
|
|
Description
|
The following statement in chapter 14.5 (p. 271):
"Execution of an empty statement always completes normally."
contradicts to the statement in chapter 14.19 (p.296):
"An empty statement can complete normally iff it is reachable."
|
|
Work Around
|
N/A
|
|
Evaluation
|
I don't see a contradiction. An unreachable statement never executes, so no contradiction arises. In any case, there are real issues with this aspect of the spec, and bugs filed on them. This bug is however frivolous.
xxxxx@xxxxx 1998-01-23
|
|
Comments
|
PLEASE NOTE: JDK6 is formerly known as Project Mustang
|
|
|
|
