/******************************************************************************* * Copyright (c) 2000, 2011 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. *

* Note that although this class is a subclass of Composite, * it does not make sense to add children to it, or set a layout on it. *

*
*
Styles:
*
DATE, TIME, CALENDAR, SHORT, MEDIUM, LONG, DROP_DOWN
*
Events:
*
DefaultSelection, Selection
*
*

* 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 HINT, and it is only valid with the DATE style. *

* IMPORTANT: This class is not intended to be subclassed. *

* * @see DateTime snippets * @see SWT Example: ControlExample * @see Sample code and further information * * @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. *

* The style value is either one of the style constants defined in * class SWT which is applicable to instances of this * class, or must be built by bitwise OR'ing together * (that is, using the int "|" operator) two or more * of those SWT style constants. The class description * lists the style constants that are applicable to the class. * Style bits are also inherited from superclasses. *

* * @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 * @exception SWTException * * @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); OS.GTK_WIDGET_UNSET_FLAGS(up.handle, OS.GTK_CAN_FOCUS); //up.setToolTipText(SWT.getMessage ("SWT_Up")); //$NON-NLS-1$ down = new Button(this, SWT.ARROW | SWT.DOWN); OS.GTK_WIDGET_UNSET_FLAGS(down.handle, OS.GTK_CAN_FOCUS); //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); OS.GTK_WIDGET_UNSET_FLAGS(down.handle, OS.GTK_CAN_FOCUS); 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 SelectionListener * interface. *

* widgetSelected is called when the user changes the control's value. * widgetDefaultSelected is typically called when ENTER is pressed. *

* * @param listener the listener which should be notified * * @exception IllegalArgumentException * @exception SWTException * * @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); OS.gtk_fixed_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); } int /*long*/ 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. *

* The first day of the month is 1, and the last day depends on the month and year. *

* * @return a positive integer beginning with 1 * * @exception SWTException */ 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. *

* Hours is an integer between 0 and 23. *

* * @return an integer between 0 and 23 * * @exception SWTException */ public int getHours () { checkWidget (); if ((style & SWT.CALENDAR) != 0) { return hours; } else { return calendar.get(Calendar.HOUR_OF_DAY); } } /** * Returns the receiver's minutes. *

* Minutes is an integer between 0 and 59. *

* * @return an integer between 0 and 59 * * @exception SWTException */ public int getMinutes () { checkWidget (); if ((style & SWT.CALENDAR) != 0) { return minutes; } else { return calendar.get(Calendar.MINUTE); } } /** * Returns the receiver's month. *

* The first month of the year is 0, and the last month is 11. *

* * @return an integer between 0 and 11 * * @exception SWTException */ 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. *

* Seconds is an integer between 0 and 59. *

* * @return an integer between 0 and 59 * * @exception SWTException */ 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. *

* The first year is 1752 and the last year is 9999. *

* * @return an integer between 1752 and 9999 * * @exception SWTException */ public int getYear () { checkWidget (); if ((style & SWT.CALENDAR) != 0) { getDate(); return year; } else { return calendar.get(Calendar.YEAR); } } int /*long*/ gtk_day_selected (int /*long*/ widget) { sendSelectionEvent (); return 0; } int /*long*/ gtk_day_selected_double_click (int /*long*/ widget) { sendSelectionEvent (SWT.DefaultSelection); return 0; } int /*long*/ gtk_month_changed (int /*long*/ 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 * @exception SWTException * * @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 (((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.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(); } 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. *

* This is the recommended way to set the date, because setting the year, * month, and day separately may result in invalid intermediate dates. *

* * @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 * * @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. *

* 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. *

* * @param day a positive integer beginning with 1 * * @exception SWTException * * @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. *

* Hours is an integer between 0 and 23. *

* * @param hours an integer between 0 and 23 * * @exception SWTException */ 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. *

* Minutes is an integer between 0 and 59. *

* * @param minutes an integer between 0 and 59 * * @exception SWTException */ 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. *

* 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. *

* * @param month an integer between 0 and 11 * * @exception SWTException * * @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. *

* Seconds is an integer between 0 and 59. *

* * @param seconds an integer between 0 and 59 * * @exception SWTException */ 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 * * @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. *

* 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. *

* * @param year an integer between 1752 and 9999 * * @exception SWTException * * @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(); } }