Cover Data Structures and Algorithms with Object-Oriented Design Patterns in Java
next up previous contents index

The Last Axiom

In this section we state the last axiom needed for the detailed model of the Java Virtual Machine. This axiom addresses the time required to create a new object instance:

Axiom  The time required to create a new object instance using the new operator is a constant, tex2html_wrap_inline57526. This time does not include any time taken to initialize the object.

By applying Axioms gif, gif, gif and gif, we can determine that the running time of the statement

Integer ref = new Integer (0);
is tex2html_wrap_inline57528, where tex2html_wrap_inline57530 is the running time of the Integer constructor.


next up previous contents index

Bruno Copyright © 1998 by Bruno R. Preiss, P.Eng. All rights reserved.