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.types;
018
019 import org.jetbrains.jet.lang.types.checker.JetTypeChecker;
020
021 import java.util.Iterator;
022 import java.util.List;
023
024 public abstract class AbstractJetType implements JetType {
025 @Override
026 public final int hashCode() {
027 int result = getConstructor().hashCode();
028 result = 31 * result + getArguments().hashCode();
029 result = 31 * result + (isNullable() ? 1 : 0);
030 return result;
031 }
032
033 @Override
034 public final boolean equals(Object obj) {
035 if (this == obj) return true;
036 if (!(obj instanceof JetType)) return false;
037
038 JetType type = (JetType) obj;
039
040 return isNullable() == type.isNullable() && JetTypeChecker.INSTANCE.equalTypes(this, type);
041 }
042
043 @Override
044 public String toString() {
045 List<TypeProjection> arguments = getArguments();
046 return getConstructor() + (arguments.isEmpty() ? "" : "<" + argumentsToString(arguments) + ">") + (isNullable() ? "?" : "");
047 }
048
049 private static StringBuilder argumentsToString(List<TypeProjection> arguments) {
050 StringBuilder stringBuilder = new StringBuilder();
051 for (Iterator<TypeProjection> iterator = arguments.iterator(); iterator.hasNext();) {
052 TypeProjection argument = iterator.next();
053 stringBuilder.append(argument);
054 if (iterator.hasNext()) {
055 stringBuilder.append(", ");
056 }
057 }
058 return stringBuilder;
059 }
060 }