DEFINITE ASSIGNMENT
The Boolean Operator
|
16.1.7
V
is definitely assigned before
a
iff
V
is definitely assigned before
a
||
b
.
V
is definitely assigned before
b
iff
V
is definitely assigned after
a
when false.
16.1.5 The Boolean Operator
!
V
is definitely assigned after
!
a
when true iff
V
is definitely assigned after
a
when false.
V
is definitely assigned after
!
a
when false iff
V
is definitely assigned after
a
when true.
V
is definitely assigned before
a
iff
V
is definitely assigned before
!
a
.
16.1.6 The Boolean Operator
&
V
is definitely assigned after
a
&
b
when true iff
V
is definitely assigned after
a
when true or
V
is definitely assigned after
b
when true.
V
is definitely assigned after
a
&
b
when false iff at least one of the following
is true:
N
V
is definitely assigned after
b
. (Note that if
V
is definitely assigned after
a
,
it follows that
V
is definitely assigned after
b
.)
N
V
is definitely assigned after
a
when false and
V
is definitely assigned after
b
when false.
V
is definitely assigned before
a
iff
V
is definitely assigned before
a
&
b
.
V
is definitely assigned before
b
iff
V
is definitely assigned after
a
.
16.1.7 The Boolean Operator
|
V
is definitely assigned after
a
|
b
when true iff at least one of the following is
true:
N
V
is definitely assigned after
b
. (Note that if
V
is definitely assigned after
a
,
it follows that
V
is definitely assigned after
b
.)
N
V
is definitely assigned after
a
when true and
V
is definitely assigned after
b
when true.
387
footer
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