document/src/main/java/com/yahoo/document/DocumentTypeId.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

// Copyright Yahoo. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
package com.yahoo.document;

/**
 * The id of a document type.
 *
 * @author Einar M R Rosenvinge
 */
public class DocumentTypeId {

    private final int id;

    public DocumentTypeId(int id) {
        this.id = id;
    }

    public int getId() {
        return id;
    }

    @Override
    public boolean equals(Object o) {
        if (!(o instanceof DocumentTypeId)) return false;
        DocumentTypeId other = (DocumentTypeId) o;
        return other.id == this.id;
    }

    @Override
    public int hashCode() {
        return id;
    }

    @Override
    public String toString() {
        return "" + id;
    }

}