535     private int initializationCount;

   535     private int initializationCount;

   536 

   536 

   537     /**

   537     /**

   538      * The types that are initialized in the basic block. A constructor

   538      * The types that are initialized in the basic block. A constructor

   539      * invocation on an UNINITIALIZED or UNINITIALIZED_THIS type must replace

   539      * invocation on an UNINITIALIZED or UNINITIALIZED_THIS type must replace

   541      * operand stack. This cannot be done during the first phase of the

   541      * operand stack. This cannot be done during the first phase of the

   542      * algorithm since, during this phase, the local variables and the operand

   542      * algorithm since, during this phase, the local variables and the operand

   543      * stack are not completely computed. It is therefore necessary to store the

   543      * stack are not completely computed. It is therefore necessary to store the

   544      * types on which constructors are invoked in the basic block, in order to

   544      * types on which constructors are invoked in the basic block, in order to

   545      * do this replacement during the second phase of the algorithm, where the

   545      * do this replacement during the second phase of the algorithm, where the