/*
 * Copyright (c) 2015 Pantheon Technologies s.r.o. and others.  All rights reserved.
 *
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License v1.0 which accompanies this distribution,
 * and is available at http://www.eclipse.org/legal/epl-v10.html
 */
package org.opendaylight.yangtools.yang.model.ri.type;

import org.eclipse.jdt.annotation.NonNull;
import org.opendaylight.yangtools.yang.common.Uint64;
import org.opendaylight.yangtools.yang.model.api.type.TypeDefinitions;
import org.opendaylight.yangtools.yang.model.api.type.Uint64TypeDefinition;

final class BaseUint64Type extends AbstractRangeRestrictedBaseType<Uint64TypeDefinition, Uint64>
        implements Uint64TypeDefinition {
    static final @NonNull BaseUint64Type INSTANCE = new BaseUint64Type();

    private BaseUint64Type() {
        super(TypeDefinitions.UINT64, Uint64.ZERO, Uint64.MAX_VALUE);
    }

    @Override
    public int hashCode() {
        return Uint64TypeDefinition.hashCode(this);
    }

    @Override
    public boolean equals(final Object obj) {
        return Uint64TypeDefinition.equals(this, obj);
    }

    @Override
    public String toString() {
        return Uint64TypeDefinition.toString(this);
    }
}