DEFINITE ASSIGNMENT
for
 Statements
16.2.10
16.2.9
do
 Statements
V
 is definitely assigned after
do S while (
e
);
 iff
V
 is definitely assigned after
e
 when false and
V
 is definitely assigned before every
break
 statement that
may exit the
do
 statement.
V
 is definitely assigned before
S
 iff
V
 is definitely assigned before the
do
statement.
V
 is definitely assigned before
e
 iff
V
 is definitely assigned after
S
 and
V
 is
definitely assigned before every
continue
 statement that may exit the body
of the
do
 statement.
16.2.10
for
 Statements
V
 is definitely assigned after a
for
 statement iff both of the following are true:
N
Either a condition expression is not present or
V
 is definitely assigned after
the condition expression when false.
N
V
 is definitely assigned before every
break
 statement that may exit the
for
statement.
V
 is definitely assigned before the initialization part of the
for
 statement iff
V
is definitely assigned before the
for
 statement.
V
 is definitely assigned before the condition part of the
for
 statement iff
V
 is
definitely assigned after the initialization part of the
for
 statement.
V
 is definitely assigned before the contained statement iff either of the follow 
ing is true:
N
A condition expression is present and
V
 is definitely assigned after the con 
dition expression when true.
N
No condition expression is present and
V
 is definitely assigned after the ini 
tialization part of the
for
 statement.
V
 is definitely assigned before the incrementation part of the
for
 statement iff
V
 is definitely assigned after the contained statement and
V
 is definitely
assigned before every
continue
 statement that may exit the body of the
for
statement.
16.2.10.1
Initialization Part
If the initialization part of the
for
 statement is a local variable declaration
statement, the rules of  16.2.3 apply.
395






footer




 

 

 

 

 Home | About Us | Network | Services | Support | FAQ | Control Panel | Order Online | Sitemap | Contact

java hosting

 

Our partners: PHP: Hypertext Preprocessor Best Web Hosting Java Web Hosting Inexpensive Web Hosting  Jsp Web Hosting

Cheapest Web Hosting Jsp Hosting Cheap Hosting

Visionwebhosting.net Business web hosting division of Web Design Plus. All rights reserved