view dwt/events/VerifyEvent.d @ 3:649b8e223d5a

fix extends
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 13:48:25 +0200
parents 380af2bdd8e5
children 1a8b3cb347e0
line wrap: on
line source

/*******************************************************************************
 * Copyright (c) 2000, 2006 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
 *******************************************************************************/
module dwt.events.VerifyEvent;

import dwt.dwthelper.utils;


import dwt.widgets.Event;

/**
 * Instances of this class are sent as a result of
 * widgets handling keyboard events
 *
 * @see VerifyListener
 */

public final class VerifyEvent : KeyEvent {
    
    /**
     * the range of text being modified.
     * Setting these fields has no effect.
     */
    public int start, end;
    
    /**
     * the new text that will be inserted.
     * Setting this field will change the text that is about to
     * be inserted or deleted.
     */
    public String text;

    static final long serialVersionUID = 3257003246269577014L;
    
/**
 * Constructs a new instance of this class based on the
 * information in the given untyped event.
 *
 * @param e the untyped event containing the information
 */
public VerifyEvent(Event e) {
    super(e);
    this.start = e.start;
    this.end = e.end;
    this.text = e.text;
}

/**
 * Returns a string containing a concise, human-readable
 * description of the receiver.
 *
 * @return a string representation of the event
 */
public String toString() {
    String string = super.toString ();
    return string.substring (0, string.length() - 1) // remove trailing '}'
        + " start=" + start
        + " end=" + end
        + " text=" + text
        + "}";
}
}