From 22f43a96e2fdef8c3eeca6c4dc65e497f2ef9869 Mon Sep 17 00:00:00 2001 From: Snjezana Peco Date: Wed, 30 Jan 2013 18:43:38 +0100 Subject: [PATCH] Bug 399523 --- .../jpt/jpa/core/internal/GenericJpaPlatform.java | 27 ++++++++++++++++++++ 1 files changed, 27 insertions(+), 0 deletions(-) diff --git a/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/internal/GenericJpaPlatform.java b/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/internal/GenericJpaPlatform.java index 118f79e..8f1de65 100644 --- a/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/internal/GenericJpaPlatform.java +++ b/jpa/plugins/org.eclipse.jpt.jpa.core/src/org/eclipse/jpt/jpa/core/internal/GenericJpaPlatform.java @@ -251,4 +251,31 @@ public class GenericJpaPlatform public JPQLGrammar getJpqlGrammar() { return jpqlGrammar; } + + + @Override + public int hashCode() { + final int prime = 31; + int result = 1; + result = prime * result + ((id == null) ? 0 : id.hashCode()); + return result; + } + + + @Override + public boolean equals(Object obj) { + if (this == obj) + return true; + if (obj == null) + return false; + if (getClass() != obj.getClass()) + return false; + GenericJpaPlatform other = (GenericJpaPlatform) obj; + if (id == null) { + if (other.id != null) + return false; + } else if (!id.equals(other.id)) + return false; + return true; + } } \ No newline at end of file -- 1.7.9.msysgit.0