001/*
002 * Licensed to the Apache Software Foundation (ASF) under one
003 * or more contributor license agreements.  See the NOTICE file
004 * distributed with this work for additional information
005 * regarding copyright ownership.  The ASF licenses this file
006 * to you under the Apache License, Version 2.0 (the
007 * "License"); you may not use this file except in compliance
008 * with the License.  You may obtain a copy of the License at
009 *
010 *   https://www.apache.org/licenses/LICENSE-2.0
011 *
012 * Unless required by applicable law or agreed to in writing,
013 * software distributed under the License is distributed on an
014 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
015 * KIND, either express or implied.  See the License for the
016 * specific language governing permissions and limitations
017 * under the License.
018 */
019package org.apache.bcel.verifier.structurals;
020
021import org.apache.bcel.Const;
022import org.apache.bcel.Constants;
023import org.apache.bcel.generic.ObjectType;
024import org.apache.bcel.generic.ReferenceType;
025
026/**
027 * This class represents an uninitialized object type; see The Java Virtual Machine Specification, Second Edition, page
028 * 147: 4.9.4 for more details.
029 */
030public class UninitializedObjectType extends ReferenceType implements Constants {
031
032    /** The "initialized" version. */
033    private final ObjectType initialized;
034
035    /**
036     * Creates a new instance.
037     *
038     * @param objectType uninitialized object type.
039     */
040    public UninitializedObjectType(final ObjectType objectType) {
041        super(Const.T_UNKNOWN, "<UNINITIALIZED OBJECT OF TYPE '" + objectType.getClassName() + "'>");
042        initialized = objectType;
043    }
044
045    /**
046     * Returns true on equality of this and o. Equality means the ObjectType instances of "initialized" equal one another in
047     * this and the o instance.
048     */
049    @Override
050    public boolean equals(final Object o) {
051        if (!(o instanceof UninitializedObjectType)) {
052            return false;
053        }
054        return initialized.equals(((UninitializedObjectType) o).initialized);
055    }
056
057    /**
058     * Returns the ObjectType of the same class as the one of the uninitialized object represented by this
059     * UninitializedObjectType instance.
060     *
061     * @return the ObjectType.
062     */
063    public ObjectType getInitialized() {
064        return initialized;
065    }
066
067    /**
068     * @return a hash code value for the object.
069     */
070    @Override
071    public int hashCode() {
072        return initialized.hashCode();
073    }
074}