View Javadoc
1   /*
2    * Licensed to the Apache Software Foundation (ASF) under one or more
3    * contributor license agreements.  See the NOTICE file distributed with
4    * this work for additional information regarding copyright ownership.
5    * The ASF licenses this file to You under the Apache License, Version 2.0
6    * (the "License"); you may not use this file except in compliance with
7    * the License.  You may obtain a copy of the License at
8    *
9    *      http://www.apache.org/licenses/LICENSE-2.0
10   *
11   *  Unless required by applicable law or agreed to in writing, software
12   *  distributed under the License is distributed on an "AS IS" BASIS,
13   *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14   *  See the License for the specific language governing permissions and
15   *  limitations under the License.
16   *
17   */
18  package org.apache.bcel.verifier.structurals;
19  
20  
21  import org.apache.bcel.Const;
22  import org.apache.bcel.Constants;
23  import org.apache.bcel.generic.ObjectType;
24  import org.apache.bcel.generic.ReferenceType;
25  
26  /**
27   * This class represents an uninitialized object type; see The Java
28   * Virtual Machine Specification, Second Edition, page 147: 4.9.4 for
29   * more details.
30   *
31   * @version $Id: UninitializedObjectType.html 1018313 2017-09-18 09:03:04Z britter $
32   */
33  public class UninitializedObjectType extends ReferenceType implements Constants {
34  
35      /** The "initialized" version. */
36      private final ObjectType initialized;
37  
38      /** Creates a new instance. */
39      public UninitializedObjectType(final ObjectType t) {
40          super(Const.T_UNKNOWN, "<UNINITIALIZED OBJECT OF TYPE '"+t.getClassName()+"'>");
41          initialized = t;
42      }
43  
44      /**
45       * Returns the ObjectType of the same class as the one of the uninitialized object
46       * represented by this UninitializedObjectType instance.
47       */
48      public ObjectType getInitialized() {
49          return initialized;
50      }
51  
52      /** @return a hash code value for the object.
53       */
54      @Override
55      public int hashCode() { return initialized.hashCode(); }
56  
57      /**
58       * Returns true on equality of this and o.
59       * Equality means the ObjectType instances of "initialized"
60       * equal one another in this and the o instance.
61       *
62       */
63      @Override
64      public boolean equals(final Object o) {
65          if (! (o instanceof UninitializedObjectType)) {
66              return false;
67          }
68          return initialized.equals(((UninitializedObjectType)o).initialized);
69      }
70  }