/*******************************************************************************
 * Copyright (c) 2000, 2007 IBM Corporation 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
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 * Port to the D programming language:
 *     Frank Benoit <benoit@tionex.de>
 *******************************************************************************/
module dwtx.jface.text.Region;

import dwt.dwthelper.utils;


/**
 * The default implementation of the {@link dwtx.jface.text.IRegion} interface.
 */
public class Region : IRegion {

    /** The region offset */
    private int fOffset;
    /** The region length */
    private int fLength;

    /**
     * Create a new region.
     *
     * @param offset the offset of the region
     * @param length the length of the region
     */
    public Region(int offset, int length) {
        fOffset= offset;
        fLength= length;
    }

    /*
     * @see dwtx.jface.text.IRegion#getLength()
     */
    public int getLength() {
        return fLength;
    }

    /*
     * @see dwtx.jface.text.IRegion#getOffset()
     */
    public int getOffset() {
        return fOffset;
    }

    /*
     * @see java.lang.Object#equals(java.lang.Object)
     */
    public bool equals(Object o) {
        if (o instanceof IRegion) {
            IRegion r= (IRegion) o;
            return r.getOffset() is fOffset && r.getLength() is fLength;
        }
        return false;
    }

    /*
     * @see java.lang.Object#hashCode()
     */
    public int hashCode() {
        return (fOffset << 24) | (fLength << 16);
    }
    
    /*
     * @see java.lang.Object#toString()
     */
    public String toString() {
        return "[" + fOffset + '+' + fLength + ']'; //$NON-NLS-1$
    }
}