Java Reference
In-Depth Information
•
At Marker
110
,allusesof
V
in a node
X
are assumed to be
upwards
exposed
, meaning that they are not reached by any definition of
V
in
node
X
. fanode
X
has internal definitions and uses of
V
,then
X
could always be split into multiple nodes such that all uses are upwards
exposed in each node.
•
All definitions are
killing
, which means that the associated name is com-
pletely and certainly defined at the definition site. Exercise 56 considers
the issue of arrays, which are typically not completely defined by an
assignment. For example, an assignment to
A
[
i
] changes only part of
the name
A
. Exercise 57 considers the issue of method calls, which may
not certainly define a name. For example, the name
v
may be assigned
conditionally within a called method.