Object Initialization

new operation at location k

creates an uninitialized

object of class foo

typed {uninit(foo,k)]

Stores and dups of reference OK,

other uses disallowed

An initializer for class foo on

the reference is invoked

Upon return, all instances of

{uninit(foo,k)} are changed to

{foo}

if at location k

some stack or local variable

has type {uninit{foo, k)}

a type inconsistency is reported

In init the reference is typed

needs-super

a call is made to init

of the superclass of foo

or to some other

init function in class foo

Upon return, all instances of

{needs-super} are changed to

{foo}

Previous slide

Next slide

Back to first slide

View graphic version