001 /*
002 * Copyright 2010-2013 JetBrains s.r.o.
003 *
004 * Licensed under the Apache License, Version 2.0 (the "License");
005 * you may not use this file except in compliance with the License.
006 * You may obtain a copy of the License at
007 *
008 * http://www.apache.org/licenses/LICENSE-2.0
009 *
010 * Unless required by applicable law or agreed to in writing, software
011 * distributed under the License is distributed on an "AS IS" BASIS,
012 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013 * See the License for the specific language governing permissions and
014 * limitations under the License.
015 */
016
017 package org.jetbrains.jet.lang.resolve.constants;
018
019 import com.google.common.collect.Lists;
020 import org.jetbrains.annotations.NotNull;
021 import org.jetbrains.jet.lang.types.JetType;
022 import org.jetbrains.jet.lang.types.lang.KotlinBuiltIns;
023
024 import java.util.Collection;
025
026 public class IntegerValueTypeConstructor extends NumberValueTypeConstructor {
027 private final Collection<JetType> supertypes = Lists.newArrayList();
028
029 public static IntegerValueTypeConstructor create(long value) {
030 return new IntegerValueTypeConstructor(value);
031 }
032
033 private IntegerValueTypeConstructor(long value) {
034 // order of types matters
035 // 'getPrimitiveNumberType' returns first of supertypes that is a subtype of expected type
036 // for expected type 'Any' result type 'Int' should be returned
037 checkBoundsAndAddSuperType(value, (long) Integer.MIN_VALUE, (long) Integer.MAX_VALUE, KotlinBuiltIns.getInstance().getIntType());
038 checkBoundsAndAddSuperType(value, (long) Byte.MIN_VALUE, (long) Byte.MAX_VALUE, KotlinBuiltIns.getInstance().getByteType());
039 checkBoundsAndAddSuperType(value, (long) Short.MIN_VALUE, (long) Short.MAX_VALUE, KotlinBuiltIns.getInstance().getShortType());
040 supertypes.add(KotlinBuiltIns.getInstance().getLongType());
041 }
042
043 private void checkBoundsAndAddSuperType(long value, long minValue, long maxValue, JetType kotlinType) {
044 if (value >= minValue && value <= maxValue) {
045 supertypes.add(kotlinType);
046 }
047 }
048
049 @NotNull
050 @Override
051 public Collection<JetType> getSupertypes() {
052 return supertypes;
053 }
054
055 @Override
056 public boolean equals(Object o) {
057 if (this == o) return true;
058 if (o == null || getClass() != o.getClass()) return false;
059
060 IntegerValueTypeConstructor that = (IntegerValueTypeConstructor) o;
061
062 if (!supertypes.equals(that.supertypes)) return false;
063
064 return true;
065 }
066
067 @Override
068 public int hashCode() {
069 return supertypes.hashCode();
070 }
071 }