/* |
|
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
|
* |
|
* This code is free software; you can redistribute it and/or modify it |
|
* under the terms of the GNU General Public License version 2 only, as |
|
* published by the Free Software Foundation. Oracle designates this |
|
* particular file as subject to the "Classpath" exception as provided |
|
* by Oracle in the LICENSE file that accompanied this code. |
|
* |
|
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
* version 2 for more details (a copy is included in the LICENSE file that |
|
* accompanied this code). |
|
* |
|
* You should have received a copy of the GNU General Public License version |
|
* 2 along with this work; if not, write to the Free Software Foundation, |
|
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
* |
|
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
* or visit www.oracle.com if you need additional information or have any |
|
* questions. |
|
*/ |
|
/* |
|
* This file is available under and governed by the GNU General Public |
|
* License version 2 only, as published by the Free Software Foundation. |
|
* However, the following notice accompanied the original version of this |
|
* file: |
|
* |
|
* ASM: a very small and fast Java bytecode manipulation framework |
|
* Copyright (c) 2000-2011 INRIA, France Telecom |
|
* All rights reserved. |
|
* |
|
* Redistribution and use in source and binary forms, with or without |
|
* modification, are permitted provided that the following conditions |
|
* are met: |
|
* 1. Redistributions of source code must retain the above copyright |
|
* notice, this list of conditions and the following disclaimer. |
|
* 2. Redistributions in binary form must reproduce the above copyright |
|
* notice, this list of conditions and the following disclaimer in the |
|
* documentation and/or other materials provided with the distribution. |
|
* 3. Neither the name of the copyright holders nor the names of its |
|
* contributors may be used to endorse or promote products derived from |
|
* this software without specific prior written permission. |
|
* |
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE |
|
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
|
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
|
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
|
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF |
|
* THE POSSIBILITY OF SUCH DAMAGE. |
|
*/ |
|
package jdk.internal.org.objectweb.asm.tree.analysis; |
|
import jdk.internal.org.objectweb.asm.Type; |
|
/** |
|
* A {@link Value} that is represented with its type in a seven types type system. This type system |
|
* distinguishes the UNINITIALZED, INT, FLOAT, LONG, DOUBLE, REFERENCE and RETURNADDRESS types. |
|
* |
|
* @author Eric Bruneton |
|
*/ |
|
public class BasicValue implements Value { |
|
/** An uninitialized value. */ |
|
public static final BasicValue UNINITIALIZED_VALUE = new BasicValue(null); |
|
/** A byte, boolean, char, short, or int value. */ |
|
public static final BasicValue INT_VALUE = new BasicValue(Type.INT_TYPE); |
|
/** A float value. */ |
|
public static final BasicValue FLOAT_VALUE = new BasicValue(Type.FLOAT_TYPE); |
|
/** A long value. */ |
|
public static final BasicValue LONG_VALUE = new BasicValue(Type.LONG_TYPE); |
|
/** A double value. */ |
|
public static final BasicValue DOUBLE_VALUE = new BasicValue(Type.DOUBLE_TYPE); |
|
/** An object or array reference value. */ |
|
public static final BasicValue REFERENCE_VALUE = |
|
new BasicValue(Type.getObjectType("java/lang/Object")); |
|
/** A return address value (produced by a jsr instruction). */ |
|
public static final BasicValue RETURNADDRESS_VALUE = new BasicValue(Type.VOID_TYPE); |
|
/** The {@link Type} of this value, or {@literal null} for uninitialized values. */ |
|
private final Type type; |
|
/** |
|
* Constructs a new {@link BasicValue} of the given type. |
|
* |
|
* @param type the value type. |
|
*/ |
|
public BasicValue(final Type type) { |
|
this.type = type; |
|
} |
|
/** |
|
* Returns the {@link Type} of this value. |
|
* |
|
* @return the {@link Type} of this value. |
|
*/ |
|
public Type getType() { |
|
return type; |
|
} |
|
@Override |
|
public int getSize() { |
|
return type == Type.LONG_TYPE || type == Type.DOUBLE_TYPE ? 2 : 1; |
|
} |
|
/** |
|
* Returns whether this value corresponds to an object or array reference. |
|
* |
|
* @return whether this value corresponds to an object or array reference. |
|
*/ |
|
public boolean isReference() { |
|
return type != null && (type.getSort() == Type.OBJECT || type.getSort() == Type.ARRAY); |
|
} |
|
@Override |
|
public boolean equals(final Object value) { |
|
if (value == this) { |
|
return true; |
|
} else if (value instanceof BasicValue) { |
|
if (type == null) { |
|
return ((BasicValue) value).type == null; |
|
} else { |
|
return type.equals(((BasicValue) value).type); |
|
} |
|
} else { |
|
return false; |
|
} |
|
} |
|
@Override |
|
public int hashCode() { |
|
return type == null ? 0 : type.hashCode(); |
|
} |
|
@Override |
|
public String toString() { |
|
if (this == UNINITIALIZED_VALUE) { |
|
return "."; |
|
} else if (this == RETURNADDRESS_VALUE) { |
|
return "A"; |
|
} else if (this == REFERENCE_VALUE) { |
|
return "R"; |
|
} else { |
|
return type.getDescriptor(); |
|
} |
|
} |
|
} |