DEFINITE ASSIGNMENT

The Boolean Operator

? :

16.1.11

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

.

N

V

 is definitely assigned after

a

 when true and

V

 is definitely assigned after

b

when true.

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.10   The Boolean Operator

!=

The rules for

a

!=

b

 are identical to the rules for

a

^

b

 ( 16.1.8).

16.1.11   The Boolean Operator

? :

Suppose that

b

 and

c

 are boolean valued expressions.

V

 is definitely assigned after

a

?

b

:

c

when true iff both of the following are

true:

N

V

 is definitely assigned before

b

 or

V

 is definitely assigned after

b

 when

true.

N

V

 is definitely assigned before

c

 or

V

 is definitely assigned after

c

 when true.

V

 is definitely assigned after

a

?

b

:

c

when false iff both of the following are

true:

N

V

 is definitely assigned before

b

 or

V

 is definitely assigned after

b

 when

false.

N

V

 is definitely assigned before

c

 or

V

 is definitely assigned after

c

 when

false.

V

 is definitely assigned before

a

 iff

V

 is definitely assigned before

a

?

b

:

c

.

V

 is definitely assigned before

b

iff

V

 is definitely assigned after

a

 when true.

V

 is definitely assigned before

c

iff

V

 is definitely assigned after

a

 when false.

389