view flys-backend/src/main/java/de/intevation/seddb/model/HpeilpunktId.java @ 4255:670e98f5a441

Fixed leak while merging facets. The ThemeList that is used by OutputHelper to sort the Facets for an Output now uses a list to store the ManagedFacets. The correct order is made up by sorting the List using Collections.sort() function of the Java JDK. Therfore, the ManagedFacet class implements the Comparable interface. The return value of its compareTo(other) method depends on the value of the 'position' field.
author Ingo Weinzierl <weinzierl.ingo@googlemail.com>
date Thu, 25 Oct 2012 14:01:46 +0200
parents 2ae732e2c65c
children 18619c1e7c2a
line wrap: on
line source
package de.intevation.seddb.model;
// Generated 14.06.2012 11:30:57 by Hibernate Tools 3.4.0.CR1


import javax.persistence.Column;
import javax.persistence.Embeddable;

/**
 * HpeilpunktId generated by hbm2java
 */
@Embeddable
public class HpeilpunktId  implements java.io.Serializable {


     private long hpeilungid;
     private int punktnr;

    public HpeilpunktId() {
    }

    public HpeilpunktId(long hpeilungid, int punktnr) {
       this.hpeilungid = hpeilungid;
       this.punktnr = punktnr;
    }



    @Column(name="HPEILUNGID", nullable=false, precision=11, scale=0)
    public long getHpeilungid() {
        return this.hpeilungid;
    }

    public void setHpeilungid(long hpeilungid) {
        this.hpeilungid = hpeilungid;
    }


    @Column(name="PUNKTNR", nullable=false, precision=5, scale=0)
    public int getPunktnr() {
        return this.punktnr;
    }

    public void setPunktnr(int punktnr) {
        this.punktnr = punktnr;
    }


   public boolean equals(Object other) {
         if ( (this == other ) ) return true;
         if ( (other == null ) ) return false;
         if ( !(other instanceof HpeilpunktId) ) return false;
         HpeilpunktId castOther = ( HpeilpunktId ) other;

         return (this.getHpeilungid()==castOther.getHpeilungid())
 && (this.getPunktnr()==castOther.getPunktnr());
   }

   public int hashCode() {
         int result = 17;

         result = 37 * result + (int) this.getHpeilungid();
         result = 37 * result + this.getPunktnr();
         return result;
   }
}

http://dive4elements.wald.intevation.org