/******************************************************************************* * 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$ } }