blob: 22f5034ab44c3683cb5e5251ce6bb84e5caa544a [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2012 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
*******************************************************************************/
package org.eclipse.swt.widgets;
import java.text.DateFormatSymbols;
import java.util.Calendar;
import org.eclipse.swt.*;
import org.eclipse.swt.events.*;
import org.eclipse.swt.graphics.*;
import org.eclipse.swt.accessibility.*;
import org.eclipse.swt.internal.gtk.*;
/**
* Instances of this class are selectable user interface
* objects that allow the user to enter and modify date
* or time values.
* <p>
* Note that although this class is a subclass of <code>Composite</code>,
* it does not make sense to add children to it, or set a layout on it.
* </p>
* <dl>
* <dt><b>Styles:</b></dt>
* <dd>DATE, TIME, CALENDAR, SHORT, MEDIUM, LONG, DROP_DOWN</dd>
* <dt><b>Events:</b></dt>
* <dd>DefaultSelection, Selection</dd>
* </dl>
* <p>
* Note: Only one of the styles DATE, TIME, or CALENDAR may be specified,
* and only one of the styles SHORT, MEDIUM, or LONG may be specified.
* The DROP_DOWN style is a <em>HINT</em>, and it is only valid with the DATE style.
* </p><p>
* IMPORTANT: This class is <em>not</em> intended to be subclassed.
* </p>
*
* @see <a href="http://www.eclipse.org/swt/snippets/#datetime">DateTime snippets</a>
* @see <a href="http://www.eclipse.org/swt/examples.php">SWT Example: ControlExample</a>
* @see <a href="http://www.eclipse.org/swt/">Sample code and further information</a>
*
* @since 3.3
* @noextend This class is not intended to be subclassed by clients.
*/
public class DateTime extends Composite {
int day, month, year, hours, minutes, seconds;
/* Emulated DATE and TIME fields */
Calendar calendar;
DateFormatSymbols formatSymbols;
Button down, up;
Text text;
String format;
Point[] fieldIndices;
int[] fieldNames;
int fieldCount, currentField = 0, characterCount = 0;
boolean ignoreVerify = false;
/* DROP_DOWN calendar fields for DATE */
Color fg, bg;
boolean hasFocus, monthChanged, calendarDisplayed;
int savedYear, savedMonth, savedDay;
Shell popupShell;
DateTime popupCalendar;
Listener popupListener, popupFilter, clickListener;
static final String DEFAULT_SHORT_DATE_FORMAT = "MM/YYYY";
static final String DEFAULT_MEDIUM_DATE_FORMAT = "MM/DD/YYYY";
static final String DEFAULT_LONG_DATE_FORMAT = "MM/DD/YYYY";
static final String DEFAULT_SHORT_TIME_FORMAT = "HH:MM AM";
static final String DEFAULT_MEDIUM_TIME_FORMAT = "HH:MM:SS AM";
static final String DEFAULT_LONG_TIME_FORMAT = "HH:MM:SS AM";
static final int MIN_YEAR = 1752; // Gregorian switchover in North America: September 19, 1752
static final int MAX_YEAR = 9999;
/**
* Constructs a new instance of this class given its parent
* and a style value describing its behavior and appearance.
* <p>
* The style value is either one of the style constants defined in
* class <code>SWT</code> which is applicable to instances of this
* class, or must be built by <em>bitwise OR</em>'ing together
* (that is, using the <code>int</code> "|" operator) two or more
* of those <code>SWT</code> style constants. The class description
* lists the style constants that are applicable to the class.
* Style bits are also inherited from superclasses.
* </p>
*
* @param parent a composite control which will be the parent of the new instance (cannot be null)
* @param style the style of control to construct
*
* @exception IllegalArgumentException <ul>
* <li>ERROR_NULL_ARGUMENT - if the parent is null</li>
* </ul>
* @exception SWTException <ul>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li>
* <li>ERROR_INVALID_SUBCLASS - if this class is not an allowed subclass</li>
* </ul>
*
* @see SWT#DATE
* @see SWT#TIME
* @see SWT#CALENDAR
* @see SWT#SHORT
* @see SWT#MEDIUM
* @see SWT#LONG
* @see SWT#DROP_DOWN
* @see Widget#checkSubclass
* @see Widget#getStyle
*/
public DateTime (Composite parent, int style) {
super (parent, checkStyle (style));
if ((this.style & SWT.CALENDAR) == 0) {
/* SWT.DATE and SWT.TIME */
createText((this.style & SWT.DROP_DOWN) != 0);
}
initAccessible ();
}
void createText(boolean dropDown) {
calendar = Calendar.getInstance();
formatSymbols = new DateFormatSymbols();
text = new Text(this, SWT.SINGLE);
/* disable the native drag and drop for the date/time text field */
OS.gtk_drag_dest_unset(text.handle);
if ((style & SWT.DATE) != 0) {
setFormat((style & SWT.SHORT) != 0 ? DEFAULT_SHORT_DATE_FORMAT : (style & SWT.LONG) != 0 ? DEFAULT_LONG_DATE_FORMAT : DEFAULT_MEDIUM_DATE_FORMAT);
} else { /* SWT.TIME */
setFormat((style & SWT.SHORT) != 0 ? DEFAULT_SHORT_TIME_FORMAT : (style & SWT.LONG) != 0 ? DEFAULT_LONG_TIME_FORMAT : DEFAULT_MEDIUM_TIME_FORMAT);
}
text.setText(getFormattedString(style));
addListener(SWT.Resize, new Listener() {
public void handleEvent(Event event) {
onResize(event);
}
});
Listener listener = new Listener() {
public void handleEvent(Event event) {
switch(event.type) {
case SWT.KeyDown: onTextKeyDown(event); break;
case SWT.FocusIn: onTextFocusIn(event); break;
case SWT.FocusOut: onTextFocusOut(event); break;
case SWT.MouseDown: // Fall through
case SWT.MouseUp: onTextMouseClick(event); break;
case SWT.MenuDetect: notifyListeners(SWT.MenuDetect, event); break;
case SWT.Verify: onTextVerify(event); break;
}
}
};
int [] listeners = new int [] {SWT.KeyDown, SWT.FocusIn, SWT.FocusOut, SWT.MouseDown, SWT.MouseUp, SWT.MenuDetect, SWT.Verify};
for (int i = 0; i < listeners.length; i++) {
text.addListener(listeners [i], listener);
}
if ((style & SWT.DATE) != 0 && dropDown) {
createDropDownButton();
createPopupShell(-1, -1, -1);
} else {
up = new Button(this, SWT.ARROW | SWT.UP);
gtk_widget_set_can_focus (up.handle, false);
//up.setToolTipText(SWT.getMessage ("SWT_Up")); //$NON-NLS-1$
down = new Button(this, SWT.ARROW | SWT.DOWN);
gtk_widget_set_can_focus (down.handle, false);
//down.setToolTipText(SWT.getMessage ("SWT_Down")); //$NON-NLS-1$
up.addListener(SWT.Selection, new Listener() {
public void handleEvent(Event event) {
incrementField(+1);
text.setFocus();
}
});
down.addListener(SWT.Selection, new Listener() {
public void handleEvent(Event event) {
incrementField(-1);
text.setFocus();
}
});
}
}
void createDropDownButton() {
down = new Button(this, SWT.ARROW | SWT.DOWN);
gtk_widget_set_can_focus (down.handle, false);
down.addListener(SWT.Selection, new Listener() {
public void handleEvent(Event event) {
boolean dropped = isDropped();
popupCalendar.calendarDisplayed = !dropped;
setFocus();
dropDownCalendar (!dropped);
}
});
popupListener = new Listener () {
public void handleEvent (Event event) {
if (event.widget == popupShell) {
popupShellEvent (event);
return;
}
if (event.widget == popupCalendar) {
popupCalendarEvent (event);
return;
}
if (event.widget == DateTime.this) {
onDispose (event);
return;
}
if (event.widget == getShell ()) {
getDisplay().asyncExec(new Runnable() {
public void run() {
if (isDisposed()) return;
handleFocus (SWT.FocusOut);
}
});
}
}
};
popupFilter = new Listener() {
public void handleEvent(Event event) {
Shell shell = ((Control)event.widget).getShell ();
if (shell == DateTime.this.getShell ()) {
handleFocus (SWT.FocusOut);
}
}
};
}
void createPopupShell(int year, int month, int day) {
popupShell = new Shell (getShell(), SWT.NO_TRIM | SWT.ON_TOP);
popupCalendar = new DateTime (popupShell, SWT.CALENDAR);
if (font != null) popupCalendar.setFont (font);
if (fg != null) popupCalendar.setForeground (fg);
if (bg != null) popupCalendar.setBackground (bg);
clickListener = new Listener() {
public void handleEvent(Event event) {
if (event.widget instanceof Control) {
Control c = (Control)event.widget;
if (c != down && c.getShell() != popupShell)
dropDownCalendar(false);
}
}
};
int [] listeners = {SWT.Close, SWT.MouseUp, SWT.Paint};
for (int i=0; i < listeners.length; i++) {
popupShell.addListener (listeners [i], popupListener);
}
listeners = new int [] {SWT.MouseDown, SWT.MouseUp, SWT.Selection, SWT.Traverse, SWT.KeyDown, SWT.KeyUp, SWT.FocusIn, SWT.FocusOut, SWT.Dispose};
for (int i=0; i < listeners.length; i++) {
popupCalendar.addListener (listeners [i], popupListener);
}
addListener(SWT.Dispose, popupListener);
if (year != -1) popupCalendar.setDate(year, month, day);
}
static int checkStyle (int style) {
/*
* Even though it is legal to create this widget
* with scroll bars, they serve no useful purpose
* because they do not automatically scroll the
* widget's client area. The fix is to clear
* the SWT style.
*/
style &= ~(SWT.H_SCROLL | SWT.V_SCROLL);
style = checkBits (style, SWT.DATE, SWT.TIME, SWT.CALENDAR, 0, 0, 0);
if ((style & SWT.DATE) == 0) style &=~ SWT.DROP_DOWN;
return checkBits (style, SWT.MEDIUM, SWT.SHORT, SWT.LONG, 0, 0, 0);
}
/**
* Adds the listener to the collection of listeners who will
* be notified when the control is selected by the user, by sending
* it one of the messages defined in the <code>SelectionListener</code>
* interface.
* <p>
* <code>widgetSelected</code> is called when the user changes the control's value.
* <code>widgetDefaultSelected</code> is typically called when ENTER is pressed.
* </p>
*
* @param listener the listener which should be notified
*
* @exception IllegalArgumentException <ul>
* <li>ERROR_NULL_ARGUMENT - if the listener is null</li>
* </ul>
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @see SelectionListener
* @see #removeSelectionListener
* @see SelectionEvent
*/
public void addSelectionListener (SelectionListener listener) {
checkWidget ();
if (listener == null) error (SWT.ERROR_NULL_ARGUMENT);
TypedListener typedListener = new TypedListener (listener);
addListener (SWT.Selection, typedListener);
addListener (SWT.DefaultSelection, typedListener);
}
protected void checkSubclass () {
if (!isValidSubclass ()) error (SWT.ERROR_INVALID_SUBCLASS);
}
public Point computeSize (int wHint, int hHint, boolean changed) {
checkWidget ();
int width = 0, height = 0;
if (wHint == SWT.DEFAULT || hHint == SWT.DEFAULT) {
if ((style & SWT.CALENDAR) != 0) {
Point size = computeNativeSize(handle, wHint, hHint, changed);
width = size.x;
height = size.y;
} else { /* SWT.DATE and SWT.TIME */
GC gc = new GC(text);
Point textSize = gc.stringExtent(getComputeSizeString(style));
gc.dispose();
Rectangle trim = text.computeTrim(0, 0, textSize.x, textSize.y);
Point buttonSize = down.computeSize(SWT.DEFAULT, SWT.DEFAULT, changed);
width = trim.width + buttonSize.x;
height = Math.max(trim.height, buttonSize.y);
}
}
if (width == 0) width = DEFAULT_WIDTH;
if (height == 0) height = DEFAULT_HEIGHT;
if (wHint != SWT.DEFAULT) width = wHint;
if (hHint != SWT.DEFAULT) height = hHint;
int borderWidth = getBorderWidth ();
return new Point (width + 2*borderWidth, height+ 2*borderWidth);
}
void createHandle (int index) {
if ((style & SWT.CALENDAR) != 0) {
state |= HANDLE;
fixedHandle = OS.g_object_new (display.gtk_fixed_get_type (), 0);
if (fixedHandle == 0) error (SWT.ERROR_NO_HANDLES);
gtk_widget_set_has_window (fixedHandle, true);
handle = OS.gtk_calendar_new ();
if (handle == 0) error (SWT.ERROR_NO_HANDLES);
OS.gtk_container_add (fixedHandle, handle);
OS.gtk_calendar_set_display_options(handle, OS.GTK_CALENDAR_SHOW_HEADING | OS.GTK_CALENDAR_SHOW_DAY_NAMES);
} else {
super.createHandle(index);
}
}
boolean checkSubwindow () {
return false;
}
void createWidget (int index) {
super.createWidget (index);
if ((style & SWT.CALENDAR) != 0) {
getDate();
}
}
void commitCurrentField() {
if (characterCount > 0) {
characterCount = 0;
int fieldName = fieldNames[currentField];
int start = fieldIndices[currentField].x;
int end = fieldIndices[currentField].y;
String value = text.getText(start, end - 1);
int s = value.lastIndexOf(' ');
if (s != -1) value = value.substring(s + 1);
int newValue = unformattedIntValue(fieldName, value, characterCount == 0, calendar.getActualMaximum(fieldName));
if (newValue != -1) setTextField(fieldName, newValue, true, true);
}
}
void onDispose (Event event) {
if (popupShell != null && !popupShell.isDisposed ()) {
popupCalendar.removeListener (SWT.Dispose, popupListener);
popupShell.dispose ();
}
Shell shell = getShell ();
shell.removeListener (SWT.Deactivate, popupListener);
Display display = getDisplay ();
display.removeFilter (SWT.FocusIn, popupFilter);
popupShell = null;
text = null;
popupCalendar = null;
down = null;
up = null;
}
void dropDownCalendar(boolean drop) {
if (drop == isDropped ()) return;
if (!drop) {
popupShell.setVisible (false);
OS.gtk_calendar_clear_marks(popupCalendar.handle);
display.removeFilter(SWT.MouseDown, clickListener);
return;
}
savedYear = getYear ();
savedMonth = getMonth ();
savedDay = getDay ();
if (getShell() != popupShell.getParent ()) {
int year = popupCalendar.getYear ();
int month = popupCalendar.getMonth ();
int day = popupCalendar.getDay ();
popupCalendar.removeListener (SWT.Dispose, popupListener);
popupShell.dispose();
popupShell = null;
popupCalendar = null;
createPopupShell (year, month, day);
}
Point dateBounds = getSize ();
Point calendarSize = popupCalendar.computeSize (SWT.DEFAULT, SWT.DEFAULT, false);
popupCalendar.setBounds (1, 1, Math.max (dateBounds.x - 2, calendarSize.x), calendarSize.y);
popupCalendar.setDate(savedYear, savedMonth, savedDay);
if (savedYear == Calendar.getInstance().get(Calendar.YEAR) && savedMonth == Calendar.getInstance().get(Calendar.MONTH))
OS.gtk_calendar_mark_day(popupCalendar.handle, Calendar.getInstance().get(Calendar.DAY_OF_MONTH));
Display display = getDisplay ();
Rectangle parentRect = display.map (getParent (), null, getBounds ());
Rectangle displayRect = getMonitor ().getClientArea ();
int width = Math.max (dateBounds.x, calendarSize.x + 2);
int height = calendarSize.y + 2;
int x = parentRect.x;
int y = parentRect.y + dateBounds.y;
if (y + height > displayRect.y + displayRect.height) y = parentRect.y - height;
if (x + width > displayRect.x + displayRect.width) x = displayRect.x + displayRect.width - calendarSize.x;
popupShell.setBounds (x, y, width, height);
popupShell.setVisible (true);
if (isFocusControl()) {
popupCalendar.setFocus ();
}
display.addFilter(SWT.MouseDown, clickListener);
}
long /*int*/ focusHandle () {
if (text != null) return text.handle;
return super.focusHandle ();
}
String formattedStringValue(int fieldName, int value, boolean adjust) {
if (fieldName == Calendar.AM_PM) {
String[] ampm = formatSymbols.getAmPmStrings();
return ampm[value];
}
if (adjust) {
if (fieldName == Calendar.HOUR && value == 0) {
return String.valueOf(12);
}
if (fieldName == Calendar.MONTH) {
return String.valueOf(value + 1);
}
}
return String.valueOf(value);
}
GdkColor getBackgroundColor () {
if ((style & SWT.CALENDAR) != 0) {
return getBaseColor ();
} else {
return super.getBackgroundColor ();
}
}
String getComputeSizeString(int style) {
if ((style & SWT.DATE) != 0) {
return (style & SWT.SHORT) != 0 ? DEFAULT_SHORT_DATE_FORMAT : (style & SWT.LONG) != 0 ? DEFAULT_LONG_DATE_FORMAT : DEFAULT_MEDIUM_DATE_FORMAT;
}
// SWT.TIME
return (style & SWT.SHORT) != 0 ? DEFAULT_SHORT_TIME_FORMAT : (style & SWT.LONG) != 0 ? DEFAULT_LONG_TIME_FORMAT : DEFAULT_MEDIUM_TIME_FORMAT;
}
int getFieldIndex(int fieldName) {
for (int i = 0; i < fieldCount; i++) {
if (fieldNames[i] == fieldName) {
return i;
}
}
return -1;
}
String getFormattedString(int style) {
if ((style & SWT.TIME) != 0) {
String[] ampm = formatSymbols.getAmPmStrings();
int h = calendar.get(Calendar.HOUR); if (h == 0) h = 12;
int m = calendar.get(Calendar.MINUTE);
int s = calendar.get(Calendar.SECOND);
int a = calendar.get(Calendar.AM_PM);
if ((style & SWT.SHORT) != 0) return "" + (h < 10 ? " " : "") + h + ":" + (m < 10 ? "0" : "") + m + " " + ampm[a];
return "" + (h < 10 ? " " : "") + h + ":" + (m < 10 ? "0" : "") + m + ":" + (s < 10 ? "0" : "") + s + " " + ampm[a];
}
/* SWT.DATE */
int y = calendar.get(Calendar.YEAR);
int m = calendar.get(Calendar.MONTH) + 1;
int d = calendar.get(Calendar.DAY_OF_MONTH);
if ((style & SWT.SHORT) != 0) return "" + (m < 10 ? " " : "") + m + "/" + y;
return "" + (m < 10 ? " " : "") + m + "/" + (d < 10 ? " " : "") + d + "/" + y;
}
void getDate() {
int [] y = new int [1];
int [] m = new int [1];
int [] d = new int [1];
OS.gtk_calendar_get_date(handle, y, m, d);
year = y[0];
month = m[0];
day = d[0];
}
/**
* Returns the receiver's date, or day of the month.
* <p>
* The first day of the month is 1, and the last day depends on the month and year.
* </p>
*
* @return a positive integer beginning with 1
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public int getDay () {
checkWidget ();
if ((style & SWT.CALENDAR) != 0) {
getDate();
return day;
} else {
return calendar.get(Calendar.DAY_OF_MONTH);
}
}
/**
* Returns the receiver's hours.
* <p>
* Hours is an integer between 0 and 23.
* </p>
*
* @return an integer between 0 and 23
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public int getHours () {
checkWidget ();
if ((style & SWT.CALENDAR) != 0) {
return hours;
} else {
return calendar.get(Calendar.HOUR_OF_DAY);
}
}
/**
* Returns the receiver's minutes.
* <p>
* Minutes is an integer between 0 and 59.
* </p>
*
* @return an integer between 0 and 59
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public int getMinutes () {
checkWidget ();
if ((style & SWT.CALENDAR) != 0) {
return minutes;
} else {
return calendar.get(Calendar.MINUTE);
}
}
/**
* Returns the receiver's month.
* <p>
* The first month of the year is 0, and the last month is 11.
* </p>
*
* @return an integer between 0 and 11
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public int getMonth () {
checkWidget ();
if ((style & SWT.CALENDAR) != 0) {
getDate();
return month;
} else {
return calendar.get(Calendar.MONTH);
}
}
String getNameText() {
return (style & SWT.TIME) != 0 ? getHours() + ":" + getMinutes() + ":" + getSeconds()
: (getMonth() + 1) + "/" + getDay() + "/" + getYear();
}
/**
* Returns the receiver's seconds.
* <p>
* Seconds is an integer between 0 and 59.
* </p>
*
* @return an integer between 0 and 59
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public int getSeconds () {
checkWidget ();
if ((style & SWT.CALENDAR) != 0) {
return seconds;
} else {
return calendar.get(Calendar.SECOND);
}
}
/*
* Returns a textual representation of the receiver,
* intended for speaking the text aloud.
*/
String getSpokenText () {
// TODO: needs more work for locale
StringBuffer result = new StringBuffer ();
if ((style & SWT.TIME) != 0) {
int h = calendar.get(Calendar.HOUR); if (h == 0) h = 12;
result.append(h);
int m = calendar.get(Calendar.MINUTE);
result.append(":" + (m < 10 ? "0" : "") + m);
if ((style & SWT.SHORT) == 0) {
int s = calendar.get(Calendar.SECOND);
result.append(":" + (s < 10 ? "0" : "") + s);
}
result.append(" " + formatSymbols.getAmPmStrings()[calendar.get(Calendar.AM_PM)]);
} else {
/* SWT.DATE or SWT.CALENDAR */
Calendar cal = calendar;
if ((style & SWT.CALENDAR) != 0) {
formatSymbols = new DateFormatSymbols();
cal = Calendar.getInstance();
getDate();
cal.set(year, month, day);
}
if ((style & SWT.SHORT) == 0) {
result.append(formatSymbols.getWeekdays()[cal.get(Calendar.DAY_OF_WEEK)] + ", ");
}
result.append(formatSymbols.getMonths()[cal.get(Calendar.MONTH)] + " ");
if ((style & SWT.SHORT) == 0) {
result.append(cal.get(Calendar.DAY_OF_MONTH) + ", ");
}
result.append(cal.get(Calendar.YEAR));
}
return result.toString();
}
/**
* Returns the receiver's year.
* <p>
* The first year is 1752 and the last year is 9999.
* </p>
*
* @return an integer between 1752 and 9999
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public int getYear () {
checkWidget ();
if ((style & SWT.CALENDAR) != 0) {
getDate();
return year;
} else {
return calendar.get(Calendar.YEAR);
}
}
long /*int*/ gtk_day_selected (long /*int*/ widget) {
sendSelectionEvent ();
return 0;
}
long /*int*/ gtk_day_selected_double_click (long /*int*/ widget) {
sendSelectionEvent (SWT.DefaultSelection);
return 0;
}
long /*int*/ gtk_month_changed (long /*int*/ widget) {
/*
* Feature in GTK. "month-changed" signal is emitted when the
* calendar is displayed though the day/month is not changed.
* The popup has to remain when the month/year is changed
* through the arrow keys, and the popup has to be called-off
* only when the day is selected. The fix is to detect the
* difference between the user changing the month/year, or
* choosing the day.
*/
if (calendarDisplayed) calendarDisplayed = false;
else monthChanged = true;
sendSelectionEvent ();
return 0;
}
boolean hasFocus () {
if (super.hasFocus ()) return true;
Control focusControl = display.getFocusControl();
if (focusControl != null && focusControl == text) return true;
return false;
}
void hookEvents () {
super.hookEvents();
if ((style & SWT.CALENDAR) != 0) {
OS.g_signal_connect_closure (handle, OS.day_selected, display.closures [DAY_SELECTED], false);
OS.g_signal_connect_closure (handle, OS.day_selected_double_click, display.closures [DAY_SELECTED_DOUBLE_CLICK], false);
OS.g_signal_connect_closure (handle, OS.month_changed, display.closures [MONTH_CHANGED], false);
}
}
void incrementField(int amount) {
int fieldName = fieldNames[currentField];
int value = calendar.get(fieldName);
if (fieldName == Calendar.HOUR) {
int max = calendar.getMaximum(Calendar.HOUR);
int min = calendar.getMinimum(Calendar.HOUR);
if ((value == max && amount == 1) || (value == min && amount == -1)) {
int temp = currentField;
currentField = getFieldIndex(Calendar.AM_PM);
setTextField(Calendar.AM_PM, (calendar.get(Calendar.AM_PM) + 1) % 2, true, true);
currentField = temp;
}
}
setTextField(fieldName, value + amount, true, true);
}
boolean isDropped () {
return popupShell.getVisible ();
}
public boolean isFocusControl () {
checkWidget();
if ((style & SWT.DROP_DOWN) != 0 && (text.isFocusControl () || popupShell.isFocusControl () || popupCalendar.isFocusControl())) {
return true;
}
return super.isFocusControl ();
}
void initAccessible() {
Accessible accessible = getAccessible ();
accessible.addAccessibleListener (new AccessibleAdapter () {
public void getName (AccessibleEvent e) {
e.result = getSpokenText ();
}
public void getHelp(AccessibleEvent e) {
e.result = getToolTipText ();
}
});
accessible.addAccessibleControlListener (new AccessibleControlAdapter () {
public void getChildAtPoint (AccessibleControlEvent e) {
e.childID = ACC.CHILDID_SELF;
}
public void getLocation (AccessibleControlEvent e) {
Rectangle rect = display.map (getParent (), null, getBounds ());
e.x = rect.x;
e.y = rect.y;
e.width = rect.width;
e.height = rect.height;
}
public void getChildCount (AccessibleControlEvent e) {
e.detail = 0;
}
public void getRole (AccessibleControlEvent e) {
e.detail = ((style & SWT.CALENDAR) != 0) ? ACC.ROLE_LABEL : ACC.ROLE_TEXT;
}
public void getState (AccessibleControlEvent e) {
e.detail = ACC.STATE_FOCUSABLE;
if (hasFocus ()) e.detail |= ACC.STATE_FOCUSED;
}
public void getSelection (AccessibleControlEvent e) {
if (hasFocus ()) e.childID = ACC.CHILDID_SELF;
}
public void getFocus (AccessibleControlEvent e) {
if (hasFocus ()) e.childID = ACC.CHILDID_SELF;
}
});
}
boolean isValidTime(int fieldName, int value) {
Calendar validCalendar;
if ((style & SWT.CALENDAR) != 0) {
validCalendar = Calendar.getInstance();
} else {
validCalendar = calendar;
}
int min = validCalendar.getActualMinimum(fieldName);
int max = validCalendar.getActualMaximum(fieldName);
return value >= min && value <= max;
}
boolean isValidDate(int year, int month, int day) {
if (year < MIN_YEAR || year > MAX_YEAR) return false;
Calendar valid = Calendar.getInstance();
valid.set(year, month, day);
return valid.get(Calendar.YEAR) == year
&& valid.get(Calendar.MONTH) == month
&& valid.get(Calendar.DAY_OF_MONTH) == day;
}
void popupCalendarEvent (Event event) {
switch (event.type) {
case SWT.Dispose:
if (popupShell != null && !popupShell.isDisposed () && !isDisposed() && getShell () != popupShell.getParent ()) {
int year = popupCalendar.getYear ();
int month = popupCalendar.getMonth ();
int day = popupCalendar.getDay ();
popupShell = null;
popupCalendar = null;
createPopupShell (year, month, day);
}
break;
case SWT.FocusIn: {
handleFocus (SWT.FocusIn);
break;
}
case SWT.FocusOut: {
Point point = down.toControl(getDisplay().getCursorLocation());
Point size = down.getSize();
Rectangle rect = new Rectangle(0, 0, size.x, size.y);
if (rect.contains(point)) {
boolean popupShellActivated = getDisplay().getActiveShell() == getShell();
if (!popupShellActivated) dropDownCalendar(false);
break;
}
dropDownCalendar(false);
break;
}
case SWT.MouseUp: {
if (event.button != 1) return;
/*
* The drop-down should stay visible when the year/month
* is changed.
*/
if (popupCalendar.monthChanged) {
popupCalendar.monthChanged = false;
OS.gtk_calendar_clear_marks(popupCalendar.handle);
} else {
dropDownCalendar (false);
}
break;
}
case SWT.Selection: {
int year = popupCalendar.getYear ();
int month = popupCalendar.getMonth ();
int day = popupCalendar.getDay ();
setDate(year, month, day);
Event e = new Event ();
e.time = event.time;
e.stateMask = event.stateMask;
e.doit = event.doit;
notifyListeners (SWT.Selection, e);
event.doit = e.doit;
break;
}
case SWT.Traverse: {
switch (event.detail) {
case SWT.TRAVERSE_RETURN:
case SWT.TRAVERSE_ESCAPE:
case SWT.TRAVERSE_ARROW_PREVIOUS:
case SWT.TRAVERSE_ARROW_NEXT:
event.doit = false;
break;
case SWT.TRAVERSE_TAB_NEXT:
case SWT.TRAVERSE_TAB_PREVIOUS:
event.doit = text.traverse(event.detail);
event.detail = SWT.TRAVERSE_NONE;
if (event.doit) dropDownCalendar (false);
return;
case SWT.TRAVERSE_PAGE_NEXT:
case SWT.TRAVERSE_PAGE_PREVIOUS:
return;
}
Event e = new Event ();
e.time = event.time;
e.detail = event.detail;
e.doit = event.doit;
e.character = event.character;
e.keyCode = event.keyCode;
notifyListeners (SWT.Traverse, e);
event.doit = e.doit;
event.detail = e.detail;
break;
}
case SWT.KeyUp: {
Event e = new Event ();
e.time = event.time;
e.character = event.character;
e.keyCode = event.keyCode;
e.stateMask = event.stateMask;
notifyListeners (SWT.KeyUp, e);
break;
}
case SWT.KeyDown: {
if (event.character == SWT.ESC) {
/* Escape key cancels popupCalendar and reverts date */
popupCalendar.setDate (savedYear, savedMonth, savedDay);
setDate(savedYear, savedMonth, savedDay);
dropDownCalendar (false);
}
if (event.keyCode == SWT.CR || (event.stateMask & SWT.ALT) != 0 && (event.keyCode == SWT.ARROW_UP || event.keyCode == SWT.ARROW_DOWN)) {
/* Return, Alt+Down, and Alt+Up cancel popupCalendar and select date. */
dropDownCalendar (false);
}
if (event.keyCode == SWT.SPACE) {
dropDownCalendar(false);
}
/* At this point the widget may have been disposed.
* If so, do not continue. */
if (isDisposed ()) break;
Event e = new Event();
e.time = event.time;
e.character = event.character;
e.keyCode = event.keyCode;
e.stateMask = event.stateMask;
notifyListeners(SWT.KeyDown, e);
break;
}
}
}
void handleFocus (int type) {
if (isDisposed ()) return;
switch (type) {
case SWT.FocusIn: {
if (hasFocus) return;
text.selectAll ();
hasFocus = true;
Shell shell = getShell ();
shell.removeListener (SWT.Deactivate, popupListener);
shell.addListener (SWT.Deactivate, popupListener);
Display display = getDisplay ();
display.removeFilter (SWT.FocusIn, popupFilter);
display.addFilter (SWT.FocusIn, popupFilter);
Event e = new Event ();
notifyListeners (SWT.FocusIn, e);
break;
}
case SWT.FocusOut: {
if (!hasFocus) return;
Control focusControl = getDisplay ().getFocusControl ();
if (focusControl == down || focusControl == popupCalendar || focusControl == text) return;
hasFocus = false;
Shell shell = getShell ();
shell.removeListener(SWT.Deactivate, popupListener);
Display display = getDisplay ();
display.removeFilter (SWT.FocusIn, popupFilter);
display.removeFilter(SWT.MouseDown, clickListener);
Event e = new Event ();
notifyListeners (SWT.FocusOut, e);
break;
}
}
}
void popupShellEvent(Event event) {
switch (event.type) {
case SWT.Paint:
/* Draw black rectangle around popupCalendar */
Rectangle bounds = popupCalendar.getBounds();
Color black = getDisplay().getSystemColor(SWT.COLOR_BLACK);
event.gc.setForeground(black);
event.gc.drawRectangle(0, 0, bounds.width + 1, bounds.height + 1);
break;
case SWT.Close:
event.doit = false;
dropDownCalendar (false);
break;
case SWT.MouseUp:
dropDownCalendar (false);
break;
}
}
/**
* Removes the listener from the collection of listeners who will
* be notified when the control is selected by the user.
*
* @param listener the listener which should no longer be notified
*
* @exception IllegalArgumentException <ul>
* <li>ERROR_NULL_ARGUMENT - if the listener is null</li>
* </ul>
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @see SelectionListener
* @see #addSelectionListener
*/
public void removeSelectionListener (SelectionListener listener) {
checkWidget ();
if (listener == null) error (SWT.ERROR_NULL_ARGUMENT);
if (eventTable == null) return;
eventTable.unhook (SWT.Selection, listener);
eventTable.unhook (SWT.DefaultSelection, listener);
}
void selectField(int index) {
if (index != currentField) {
commitCurrentField();
}
final int start = fieldIndices[index].x;
final int end = fieldIndices[index].y;
Point pt = text.getSelection();
if (index == currentField && start == pt.x && end == pt.y) return;
currentField = index;
display.asyncExec(new Runnable() {
public void run() {
if (!text.isDisposed()) {
String value = text.getText(start, end - 1);
int s = value.lastIndexOf(' ');
if (s == -1) s = start;
else s = start + s + 1;
text.setSelection(s, end);
}
}
});
}
void sendSelectionEvent () {
int [] y = new int [1];
int [] m = new int [1];
int [] d = new int [1];
OS.gtk_calendar_get_date(handle, y, m, d);
//TODO: hours, minutes, seconds?
if (d[0] != day ||
m[0] != month ||
y[0] != year) {
year = y[0];
month = m[0];
day = d[0];
sendSelectionEvent (SWT.Selection);
}
}
public void setBackground(Color color) {
super.setBackground(color);
if (!OS.GTK3) {
if (((style & SWT.CALENDAR) != 0) && color == null) {
OS.gtk_widget_modify_base(handle, 0, null);
}
}
bg = color;
if (text != null) text.setBackground(color);
if (popupCalendar != null) popupCalendar.setBackground(color);
}
void setBackgroundColor (GdkColor color) {
if ((style & SWT.CALENDAR) != 0 && !OS.GTK3) {
OS.gtk_widget_modify_base(handle, 0, color);
} else {
super.setBackgroundColor (color);
}
}
public void setEnabled (boolean enabled){
super.setEnabled(enabled);
if ((style & SWT.CALENDAR) == 0) {
text.setEnabled(enabled);
down.setEnabled(enabled);
if (up != null) up.setEnabled(enabled);
}
}
public void setFont(Font font) {
super.setFont(font);
this.font = font;
if (text != null) text.setFont(font);
if (popupCalendar != null) popupCalendar.setFont(font);
redraw();
}
void setForegroundColor (GdkColor color) {
setForegroundColor (handle, color, false);
}
public void setForeground(Color color) {
super.setForeground(color);
fg = color;
if (text != null) text.setForeground(color);
if (popupCalendar != null) popupCalendar.setForeground(color);
}
void setFormat(String string) {
// TODO: this needs to be locale sensitive
fieldCount = (style & SWT.DATE) != 0 ? ((style & SWT.SHORT) != 0 ? 2 : 3) : ((style & SWT.SHORT) != 0 ? 3 : 4);
fieldIndices = new Point[fieldCount];
fieldNames = new int[fieldCount];
if ((style & SWT.DATE) != 0) {
fieldNames[0] = Calendar.MONTH;
fieldIndices[0] = new Point(0, 2);
if ((style & SWT.SHORT) != 0) {
fieldNames[1] = Calendar.YEAR;
fieldIndices[1] = new Point(3, 7);
} else {
fieldNames[1] = Calendar.DAY_OF_MONTH;
fieldIndices[1] = new Point(3, 5);
fieldNames[2] = Calendar.YEAR;
fieldIndices[2] = new Point(6, 10);
}
} else { /* SWT.TIME */
fieldNames[0] = Calendar.HOUR;
fieldIndices[0] = new Point(0, 2);
fieldNames[1] = Calendar.MINUTE;
fieldIndices[1] = new Point(3, 5);
if ((style & SWT.SHORT) != 0) {
fieldNames[2] = Calendar.AM_PM;
fieldIndices[2] = new Point(6, 8);
} else {
fieldNames[2] = Calendar.SECOND;
fieldIndices[2] = new Point(6, 8);
fieldNames[3] = Calendar.AM_PM;
fieldIndices[3] = new Point(9, 11);
}
}
}
void setField(int fieldName, int value) {
if (calendar.get(fieldName) == value) return;
if (fieldName == Calendar.AM_PM) {
calendar.roll(Calendar.HOUR_OF_DAY, 12); // TODO: needs more work for setFormat and locale
}
calendar.set(fieldName, value);
sendSelectionEvent (SWT.Selection);
}
void setTextField(int fieldName, int value, boolean commit, boolean adjust) {
if (commit) {
int max = calendar.getActualMaximum(fieldName);
int min = calendar.getActualMinimum(fieldName);
if (fieldName == Calendar.YEAR) {
max = MAX_YEAR;
min = MIN_YEAR;
/* Special case: convert 1 or 2-digit years into reasonable 4-digit years. */
int currentYear = Calendar.getInstance().get(Calendar.YEAR);
int currentCentury = (currentYear / 100) * 100;
if (value < (currentYear + 30) % 100) value += currentCentury;
else if (value < 100) value += currentCentury - 100;
}
if (value > max) value = min; // wrap
if (value < min) value = max; // wrap
}
int start = fieldIndices[currentField].x;
int end = fieldIndices[currentField].y;
text.setSelection(start, end);
String newValue = formattedStringValue(fieldName, value, adjust);
StringBuffer buffer = new StringBuffer(newValue);
/* Convert leading 0's into spaces. */
int prependCount = end - start - buffer.length();
for (int i = 0; i < prependCount; i++) {
switch (fieldName) {
case Calendar.MINUTE:
case Calendar.SECOND:
buffer.insert(0, 0);
break;
default:
buffer.insert(0, ' ');
break;
}
}
newValue = buffer.toString();
ignoreVerify = true;
text.insert(newValue);
ignoreVerify = false;
selectField(currentField);
if (commit) setField(fieldName, value);
}
/**
* Sets the receiver's year, month, and day in a single operation.
* <p>
* This is the recommended way to set the date, because setting the year,
* month, and day separately may result in invalid intermediate dates.
* </p>
*
* @param year an integer between 1752 and 9999
* @param month an integer between 0 and 11
* @param day a positive integer beginning with 1
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @since 3.4
*/
public void setDate (int year, int month, int day) {
checkWidget ();
if (!isValidDate(year, month, day)) return;
if ((style & SWT.CALENDAR) != 0) {
this.year = year;
this.month = month;
this.day = day;
OS.gtk_calendar_select_month(handle, month, year);
OS.gtk_calendar_select_day(handle, day);
} else {
calendar.set(year, month, day);
updateControl();
}
}
/**
* Sets the receiver's date, or day of the month, to the specified day.
* <p>
* The first day of the month is 1, and the last day depends on the month and year.
* If the specified day is not valid for the receiver's month and year, then it is ignored.
* </p>
*
* @param day a positive integer beginning with 1
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @see #setDate
*/
public void setDay (int day) {
checkWidget ();
if (!isValidDate(getYear(), getMonth(), day)) return;
if ((style & SWT.CALENDAR) != 0) {
this.day = day;
OS.gtk_calendar_select_day(handle, day);
} else {
calendar.set(Calendar.DAY_OF_MONTH, day);
updateControl();
}
}
/**
* Sets the receiver's hours.
* <p>
* Hours is an integer between 0 and 23.
* </p>
*
* @param hours an integer between 0 and 23
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public void setHours (int hours) {
checkWidget ();
if (!isValidTime(Calendar.HOUR_OF_DAY, hours)) return;
if ((style & SWT.CALENDAR) != 0) {
this.hours = hours;
} else {
calendar.set(Calendar.HOUR_OF_DAY, hours);
updateControl();
}
}
public void setMenu (Menu menu) {
super.setMenu(menu);
if (up != null) up.setMenu(menu);
if (down != null) down.setMenu(menu);
if (text != null) text.setMenu(menu);
}
/**
* Sets the receiver's minutes.
* <p>
* Minutes is an integer between 0 and 59.
* </p>
*
* @param minutes an integer between 0 and 59
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public void setMinutes (int minutes) {
checkWidget ();
if (!isValidTime(Calendar.MINUTE, minutes)) return;
if ((style & SWT.CALENDAR) != 0) {
this.minutes = minutes;
} else {
calendar.set(Calendar.MINUTE, minutes);
updateControl();
}
}
/**
* Sets the receiver's month.
* <p>
* The first month of the year is 0, and the last month is 11.
* If the specified month is not valid for the receiver's day and year, then it is ignored.
* </p>
*
* @param month an integer between 0 and 11
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @see #setDate
*/
public void setMonth (int month) {
checkWidget ();
if (!isValidDate(getYear(), month, getDay())) return;
if ((style & SWT.CALENDAR) != 0) {
this.month = month;
OS.gtk_calendar_select_month(handle, month, year);
} else {
calendar.set(Calendar.MONTH, month);
updateControl();
}
}
/**
* Sets the receiver's seconds.
* <p>
* Seconds is an integer between 0 and 59.
* </p>
*
* @param seconds an integer between 0 and 59
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*/
public void setSeconds (int seconds) {
checkWidget ();
if (!isValidTime(Calendar.SECOND, seconds)) return;
if ((style & SWT.CALENDAR) != 0) {
this.seconds = seconds;
} else {
calendar.set(Calendar.SECOND, seconds);
updateControl();
}
}
/**
* Sets the receiver's hours, minutes, and seconds in a single operation.
*
* @param hours an integer between 0 and 23
* @param minutes an integer between 0 and 59
* @param seconds an integer between 0 and 59
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @since 3.4
*/
public void setTime (int hours, int minutes, int seconds) {
checkWidget ();
if (!isValidTime(Calendar.HOUR_OF_DAY, hours)) return;
if (!isValidTime(Calendar.MINUTE, minutes)) return;
if (!isValidTime(Calendar.SECOND, seconds)) return;
if ((style & SWT.CALENDAR) != 0) {
this.hours = hours;
this.minutes = minutes;
this.seconds = seconds;
} else {
calendar.set(Calendar.HOUR_OF_DAY, hours);
calendar.set(Calendar.MINUTE, minutes);
calendar.set(Calendar.SECOND, seconds);
updateControl();
}
}
/**
* Sets the receiver's year.
* <p>
* The first year is 1752 and the last year is 9999.
* If the specified year is not valid for the receiver's day and month, then it is ignored.
* </p>
*
* @param year an integer between 1752 and 9999
*
* @exception SWTException <ul>
* <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li>
* <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li>
* </ul>
*
* @see #setDate
*/
public void setYear (int year) {
checkWidget ();
if (!isValidDate(year, getMonth(), getDay())) return;
if ((style & SWT.CALENDAR) != 0) {
this.year = year;
OS.gtk_calendar_select_month(handle, month, year);
} else {
calendar.set(Calendar.YEAR, year);
updateControl();
}
}
void onTextFocusIn(Event event) {
selectField(currentField);
if ((style & SWT.DROP_DOWN) == 0) {
sendFocusEvent(SWT.FocusIn);
} else {
handleFocus(SWT.FocusIn);
}
}
void onTextFocusOut(Event event) {
commitCurrentField();
if ((style & SWT.DROP_DOWN) == 0) {
sendFocusEvent(SWT.FocusOut);
} else {
handleFocus(SWT.FocusOut);
}
}
void onTextKeyDown(Event event) {
if ((style & SWT.DROP_DOWN) != 0 && (event.stateMask & SWT.ALT) != 0 && (event.keyCode == SWT.ARROW_UP || event.keyCode == SWT.ARROW_DOWN)) {
boolean dropped = isDropped ();
if (!dropped) {
popupCalendar.calendarDisplayed = true;
setFocus ();
}
dropDownCalendar(!dropped);
return;
}
int fieldName;
switch (event.keyCode) {
case SWT.ARROW_RIGHT:
case SWT.KEYPAD_DIVIDE:
/* A right arrow or a valid separator navigates to the field on the right, with wraping */
selectField((currentField + 1) % fieldCount);
sendEvent(SWT.Traverse);
break;
case SWT.ARROW_LEFT:
/* Navigate to the field on the left, with wrapping */
int index = currentField - 1;
selectField(index < 0 ? fieldCount - 1 : index);
sendEvent(SWT.Traverse);
break;
case SWT.ARROW_UP:
case SWT.KEYPAD_ADD:
/* Set the value of the current field to value + 1, with wrapping */
commitCurrentField();
incrementField(+1);
break;
case SWT.ARROW_DOWN:
case SWT.KEYPAD_SUBTRACT:
/* Set the value of the current field to value - 1, with wrapping */
commitCurrentField();
incrementField(-1);
break;
case SWT.HOME:
/* Set the value of the current field to its minimum */
fieldName = fieldNames[currentField];
setTextField(fieldName, calendar.getActualMinimum(fieldName), true, true);
break;
case SWT.END:
/* Set the value of the current field to its maximum */
fieldName = fieldNames[currentField];
setTextField(fieldName, calendar.getActualMaximum(fieldName), true, true);
break;
default:
switch (event.character) {
case '/':
case ':':
case '-':
case '.':
/* A valid separator navigates to the field on the right, with wraping */
selectField((currentField + 1) % fieldCount);
sendEvent(SWT.Traverse);
break;
case SWT.CR:
/* Enter causes default selection */
postEvent (SWT.DefaultSelection);
break;
}
}
}
void onTextMouseClick(Event event) {
if (event.button != 1) return;
Point sel = text.getSelection();
for (int i = 0; i < fieldCount; i++) {
if (sel.x >= fieldIndices[i].x && sel.x <= fieldIndices[i].y) {
currentField = i;
break;
}
}
selectField(currentField);
}
void onResize(Event event) {
Rectangle rect = getClientArea ();
int width = rect.width;
int height = rect.height;
Point buttonSize = down.computeSize(SWT.DEFAULT, height);
text.setBounds(0, 0, width - buttonSize.x, height);
if ((style & SWT.DROP_DOWN) != 0) {
down.setBounds(width - buttonSize.x, 0, buttonSize.x, height);
} else {
int buttonHeight = height / 2;
up.setBounds(width - buttonSize.x, 0, buttonSize.x, buttonHeight);
down.setBounds(width - buttonSize.x, buttonHeight, buttonSize.x, buttonHeight);
}
}
void onTextVerify(Event event) {
if (ignoreVerify) return;
event.doit = false;
int fieldName = fieldNames[currentField];
int start = fieldIndices[currentField].x;
int end = fieldIndices[currentField].y;
int length = end - start;
String newText = event.text;
if (fieldName == Calendar.AM_PM) {
String[] ampm = formatSymbols.getAmPmStrings();
if (newText.equalsIgnoreCase(ampm[Calendar.AM].substring(0, 1)) || newText.equalsIgnoreCase(ampm[Calendar.AM])) {
setTextField(fieldName, Calendar.AM, true, false);
} else if (newText.equalsIgnoreCase(ampm[Calendar.PM].substring(0, 1)) || newText.equalsIgnoreCase(ampm[Calendar.PM])) {
setTextField(fieldName, Calendar.PM, true, false);
}
return;
}
if (characterCount > 0) {
try {
Integer.parseInt(newText);
} catch (NumberFormatException ex) {
return;
}
String value = text.getText(start, end - 1);
int s = value.lastIndexOf(' ');
if (s != -1) value = value.substring(s + 1);
newText = "" + value + newText;
}
int newTextLength = newText.length();
boolean first = characterCount == 0;
characterCount = (newTextLength < length) ? newTextLength : 0;
int max = calendar.getActualMaximum(fieldName);
int min = calendar.getActualMinimum(fieldName);
int newValue = unformattedIntValue(fieldName, newText, characterCount == 0, max);
if (newValue == -1) {
characterCount = 0;
return;
}
if (first && newValue == 0 && length > 1) {
setTextField(fieldName, newValue, false, false);
} else if (min <= newValue && newValue <= max) {
setTextField(fieldName, newValue, characterCount == 0, characterCount == 0);
} else {
if (newTextLength >= length) {
newText = newText.substring(newTextLength - length + 1);
newValue = unformattedIntValue(fieldName, newText, characterCount == 0, max);
if (newValue != -1) {
characterCount = length - 1;
if (min <= newValue && newValue <= max) {
setTextField(fieldName, newValue, characterCount == 0, true);
}
}
}
}
}
int unformattedIntValue(int fieldName, String newText, boolean adjust, int max) {
int newValue;
try {
newValue = Integer.parseInt(newText);
} catch (NumberFormatException ex) {
return -1;
}
if (fieldName == Calendar.MONTH && adjust) {
newValue--;
if (newValue == -1) newValue = max;
}
if (fieldName == Calendar.HOUR && adjust) {
if (newValue == 12) newValue = 0; // TODO: needs more work for setFormat and locale
}
return newValue;
}
void updateControl() {
if (text != null) {
String string = getFormattedString(style);
ignoreVerify = true;
text.setText(string);
ignoreVerify = false;
}
redraw();
}
}