From aed261c807191a0103a6a81474b72d4bf9e31666 Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Wed, 21 Dec 2016 15:39:07 +0100 Subject: [PATCH] =?UTF-8?q?JavaClassName=20aufr=C3=A4umen?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../dhbwstuttgart/typecheck/JavaClassName.java | 17 +++++------------ 1 file changed, 5 insertions(+), 12 deletions(-) diff --git a/src/de/dhbwstuttgart/typecheck/JavaClassName.java b/src/de/dhbwstuttgart/typecheck/JavaClassName.java index f650a9fc..7536d623 100644 --- a/src/de/dhbwstuttgart/typecheck/JavaClassName.java +++ b/src/de/dhbwstuttgart/typecheck/JavaClassName.java @@ -7,19 +7,13 @@ import java.util.List; * Stellt den Namen einer Java Klasse dar. * Dieser kann auch den Packagenamen mit beinhalten: de.dhbwstuttgart.typeinference.Menge * - * @author janulrich - * - * + * @author Andreas Stadelmeier */ public class JavaClassName { private String name; private PackageName packageName; - - /** - * TODO: JavaClassName sollten aus den Assumptions generiert werden. - * Diese wissen, welche Typen und Typnamen existieren und können direkt auf Korrektheit prüfen. - */ + JavaClassName(String name){ if(name == null)throw new NullPointerException(); @@ -38,15 +32,14 @@ public class JavaClassName { this.name = names[names.length-1]; } } - - //Auto-generated hashCode: + @Override public int hashCode() { final int prime = 31; int result = 1; result = prime * result + ((name == null) ? 0 : name.hashCode()); - //result = prime * result - // + ((packageName == null) ? 0 : packageName.hashCode()); //PackageName does not infect hashCode + result = prime * result + + ((packageName == null) ? 0 : packageName.hashCode()); //PackageName does not infect hashCode return result; }