ViewPortChangeEvent.java

/*******************************************************************************
 * Copyright (c) 2012-2017 Codenvy, S.A.
 * 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:
 *   Codenvy, S.A. - initial API and implementation
 *******************************************************************************/
package org.eclipse.che.ide.api.editor.events;

import com.google.gwt.event.shared.GwtEvent;

/**
 * Event for change of viewport (visible section) changes.
 *
 * @author "Mickaël Leduque"
 */
public class ViewPortChangeEvent extends GwtEvent<ViewPortChangeHandler> {
    /** The type instance for this event. */
    public static final Type<ViewPortChangeHandler> TYPE = new Type<>();

    private final int viewPortStart;
    private final int viewPortEnd;

    public ViewPortChangeEvent(int from, int to) {
        this.viewPortStart = from;
        this.viewPortEnd = to;
    }

    @Override
    public Type<ViewPortChangeHandler> getAssociatedType() {
        return TYPE;
    }

    @Override
    protected void dispatch(final ViewPortChangeHandler handler) {
        handler.onViewPortChange(this);
    }

    public int getViewPortStart() {
        return viewPortStart;
    }

    public int getViewPortEnd() {
        return viewPortEnd;
    }
}