| /******************************************************************************* |
| * Copyright (c) 2000, 2009 IBM Corporation and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * IBM Corporation - initial API and implementation |
| *******************************************************************************/ |
| package org.eclipse.jdt.internal.compiler.lookup; |
| |
| import org.eclipse.jdt.internal.compiler.lookup.TypeIds; |
| |
| public final class BaseTypeBinding extends TypeBinding { |
| |
| public static final int[] CONVERSIONS; |
| public static final int IDENTITY = 1; |
| public static final int WIDENING = 2; |
| public static final int NARROWING = 4; |
| public static final int MAX_CONVERSIONS = 16*16; // well-known x well-known |
| |
| static { |
| CONVERSIONS = initializeConversions(); |
| } |
| |
| public static final int[] initializeConversions(){ |
| // fromType destType --> conversion |
| // 0000 0000 0000 |
| |
| int[] table = new int[MAX_CONVERSIONS]; |
| |
| table[TypeIds.Boolean2Boolean] = IDENTITY; |
| |
| table[TypeIds.Byte2Byte] = IDENTITY; |
| table[TypeIds.Byte2Short] = WIDENING; |
| table[TypeIds.Byte2Char] = NARROWING; |
| table[TypeIds.Byte2Int] = WIDENING; |
| table[TypeIds.Byte2Long] = WIDENING; |
| table[TypeIds.Byte2Float] = WIDENING; |
| table[TypeIds.Byte2Double] = WIDENING; |
| |
| table[TypeIds.Short2Byte] = NARROWING; |
| table[TypeIds.Short2Short] = IDENTITY; |
| table[TypeIds.Short2Char] = NARROWING; |
| table[TypeIds.Short2Int] = WIDENING; |
| table[TypeIds.Short2Long] = WIDENING; |
| table[TypeIds.Short2Float] = WIDENING; |
| table[TypeIds.Short2Double] = WIDENING; |
| |
| table[TypeIds.Char2Byte] = NARROWING; |
| table[TypeIds.Char2Short] = NARROWING; |
| table[TypeIds.Char2Char] = IDENTITY; |
| table[TypeIds.Char2Int] = WIDENING; |
| table[TypeIds.Char2Long] = WIDENING; |
| table[TypeIds.Char2Float] = WIDENING; |
| table[TypeIds.Char2Double] = WIDENING; |
| |
| table[TypeIds.Int2Byte] = NARROWING; |
| table[TypeIds.Int2Short] = NARROWING; |
| table[TypeIds.Int2Char] = NARROWING; |
| table[TypeIds.Int2Int] = IDENTITY; |
| table[TypeIds.Int2Long] = WIDENING; |
| table[TypeIds.Int2Float] = WIDENING; |
| table[TypeIds.Int2Double] = WIDENING; |
| |
| table[TypeIds.Long2Byte] = NARROWING; |
| table[TypeIds.Long2Short] = NARROWING; |
| table[TypeIds.Long2Char] = NARROWING; |
| table[TypeIds.Long2Int] = NARROWING; |
| table[TypeIds.Long2Long] = IDENTITY; |
| table[TypeIds.Long2Float] = WIDENING; |
| table[TypeIds.Long2Double] = WIDENING; |
| |
| table[TypeIds.Float2Byte] = NARROWING; |
| table[TypeIds.Float2Short] = NARROWING; |
| table[TypeIds.Float2Char] = NARROWING; |
| table[TypeIds.Float2Int] = NARROWING; |
| table[TypeIds.Float2Long] = NARROWING; |
| table[TypeIds.Float2Float] = IDENTITY; |
| table[TypeIds.Float2Double] = WIDENING; |
| |
| table[TypeIds.Double2Byte] = NARROWING; |
| table[TypeIds.Double2Short] = NARROWING; |
| table[TypeIds.Double2Char] = NARROWING; |
| table[TypeIds.Double2Int] = NARROWING; |
| table[TypeIds.Double2Long] = NARROWING; |
| table[TypeIds.Double2Float] = NARROWING; |
| table[TypeIds.Double2Double]= IDENTITY; |
| |
| return table; |
| } |
| /** |
| * Predicate telling whether "left" can store a "right" using some narrowing conversion |
| *(is left smaller than right) |
| * @param left - the target type to convert to |
| * @param right - the actual type |
| * @return true if legal narrowing conversion |
| */ |
| public static final boolean isNarrowing(int left, int right) { |
| int right2left = right + (left<<4); |
| return right2left >= 0 |
| && right2left < MAX_CONVERSIONS |
| && (CONVERSIONS[right2left] & (IDENTITY|NARROWING)) != 0; |
| } |
| |
| /** |
| * Predicate telling whether "left" can store a "right" using some widening conversion |
| *(is left bigger than right) |
| * @param left - the target type to convert to |
| * @param right - the actual type |
| * @return true if legal widening conversion |
| */ |
| public static final boolean isWidening(int left, int right) { |
| int right2left = right + (left<<4); |
| return right2left >= 0 |
| && right2left < MAX_CONVERSIONS |
| && (CONVERSIONS[right2left] & (IDENTITY|WIDENING)) != 0; |
| } |
| |
| public char[] simpleName; |
| |
| private char[] constantPoolName; |
| |
| BaseTypeBinding(int id, char[] name, char[] constantPoolName) { |
| this.tagBits |= TagBits.IsBaseType; |
| this.id = id; |
| this.simpleName = name; |
| this.constantPoolName = constantPoolName; |
| } |
| |
| /** |
| * int -> I |
| */ |
| public char[] computeUniqueKey(boolean isLeaf) { |
| return constantPoolName(); |
| } |
| |
| /* Answer the receiver's constant pool name. |
| */ |
| public char[] constantPoolName() { |
| |
| return this.constantPoolName; |
| } |
| |
| public PackageBinding getPackage() { |
| |
| return null; |
| } |
| |
| /* Answer true if the receiver type can be assigned to the argument type (right) |
| */ |
| public final boolean isCompatibleWith(TypeBinding left) { |
| if (this == left) |
| return true; |
| int right2left = this.id + (left.id<<4); |
| if (right2left >= 0 |
| && right2left < MAX_CONVERSIONS |
| && (CONVERSIONS[right2left] & (IDENTITY|WIDENING)) != 0) |
| return true; |
| return this == TypeBinding.NULL && !left.isBaseType(); |
| } |
| |
| /** |
| * T_null is acting as an unchecked exception |
| * @see org.eclipse.jdt.internal.compiler.lookup.TypeBinding#isUncheckedException(boolean) |
| */ |
| public boolean isUncheckedException(boolean includeSupertype) { |
| return this == TypeBinding.NULL; |
| } |
| |
| /** |
| * @see org.eclipse.jdt.internal.compiler.lookup.Binding#kind() |
| */ |
| public int kind() { |
| return Binding.BASE_TYPE; |
| } |
| public char[] qualifiedSourceName() { |
| return this.simpleName; |
| } |
| |
| public char[] readableName() { |
| return this.simpleName; |
| } |
| |
| public char[] shortReadableName() { |
| return this.simpleName; |
| } |
| |
| public char[] sourceName() { |
| return this.simpleName; |
| } |
| |
| public String toString() { |
| return new String(this.constantPoolName) + " (id=" + this.id + ")"; //$NON-NLS-1$ //$NON-NLS-2$ |
| } |
| } |