nl.tudelft.simulation.dsol.web.animation

Class HTMLToolkit

java.lang.Object

java.awt.Toolkit

nl.tudelft.simulation.dsol.web.animation.HTMLToolkit

All Implemented Interfaces:

sun.awt.KeyboardFocusManagerPeerProvider

public class HTMLToolkit
extends Toolkit
implements sun.awt.KeyboardFocusManagerPeerProvider

HTMLToolkit.java.

Copyright (c) 2003-2019 Delft University of Technology, Jaffalaan 5, 2628 BX Delft, the Netherlands. All rights reserved. See for project information www.simulation.tudelft.nl. The source code and binary code of this software is proprietary information of Delft University of Technology.

Author:

Alexander Verbraeck

Field Summary

Fields inherited from class java.awt.Toolkit

desktopProperties, desktopPropsSupport

Constructor Summary

Constructors

Constructor and Description
HTMLToolkit()

Method Summary

Modifier and Type	Method and Description
void	beep()
int	checkImage(Image image, int width, int height, ImageObserver observer)
protected java.awt.peer.ButtonPeer	createButton(Button target)
protected java.awt.peer.CanvasPeer	createCanvas(Canvas target)
protected java.awt.peer.CheckboxPeer	createCheckbox(Checkbox target)
protected java.awt.peer.CheckboxMenuItemPeer	createCheckboxMenuItem(CheckboxMenuItem target)
protected java.awt.peer.ChoicePeer	createChoice(Choice target)
protected java.awt.peer.DesktopPeer	createDesktopPeer(Desktop target)
protected java.awt.peer.DialogPeer	createDialog(Dialog target)
java.awt.dnd.peer.DragSourceContextPeer	createDragSourceContextPeer(DragGestureEvent dge)
protected java.awt.peer.FileDialogPeer	createFileDialog(FileDialog target)
protected java.awt.peer.FramePeer	createFrame(Frame target)
Image	createImage(byte[] imagedata, int imageoffset, int imagelength)
Image	createImage(ImageProducer producer)
Image	createImage(String filename)
Image	createImage(URL url)
protected java.awt.peer.LabelPeer	createLabel(Label target)
protected java.awt.peer.ListPeer	createList(List target)
protected java.awt.peer.MenuPeer	createMenu(Menu target)
protected java.awt.peer.MenuBarPeer	createMenuBar(MenuBar target)
protected java.awt.peer.MenuItemPeer	createMenuItem(MenuItem target)
protected java.awt.peer.PanelPeer	createPanel(Panel target)
protected java.awt.peer.PopupMenuPeer	createPopupMenu(PopupMenu target)
protected java.awt.peer.ScrollbarPeer	createScrollbar(Scrollbar target)
protected java.awt.peer.ScrollPanePeer	createScrollPane(ScrollPane target)
protected java.awt.peer.TextAreaPeer	createTextArea(TextArea target)
protected java.awt.peer.TextFieldPeer	createTextField(TextField target)
protected java.awt.peer.WindowPeer	createWindow(Window target)
ColorModel	getColorModel()
String[]	getFontList()
FontMetrics	getFontMetrics(Font font)
protected java.awt.peer.FontPeer	getFontPeer(String name, int style)
Image	getImage(String filename)
Image	getImage(URL url)
java.awt.peer.KeyboardFocusManagerPeer	getKeyboardFocusManagerPeer()
PrintJob	getPrintJob(Frame frame, String jobtitle, Properties props)
int	getScreenResolution()
Dimension	getScreenSize()
Clipboard	getSystemClipboard()
protected EventQueue	getSystemEventQueueImpl()
boolean	isModalExclusionTypeSupported(Dialog.ModalExclusionType modalExclusionType)
boolean	isModalityTypeSupported(Dialog.ModalityType modalityType)
Map<TextAttribute,?>	mapInputMethodHighlight(InputMethodHighlight highlight)
boolean	prepareImage(Image image, int width, int height, ImageObserver observer)
void	sync()

Methods inherited from class java.awt.Toolkit

addAWTEventListener, addPropertyChangeListener, areExtraMouseButtonsEnabled, createComponent, createCustomCursor, createDragGestureRecognizer, createImage, getAWTEventListeners, getAWTEventListeners, getBestCursorSize, getDefaultToolkit, getDesktopProperty, getLockingKeyState, getMaximumCursorColors, getMenuShortcutKeyMask, getMouseInfoPeer, getNativeContainer, getPrintJob, getProperty, getPropertyChangeListeners, getPropertyChangeListeners, getScreenInsets, getSystemEventQueue, getSystemSelection, initializeDesktopProperties, isAlwaysOnTopSupported, isDynamicLayoutActive, isDynamicLayoutSet, isFrameStateSupported, lazilyLoadDesktopProperty, loadSystemColors, removeAWTEventListener, removePropertyChangeListener, setDesktopProperty, setDynamicLayout, setLockingKeyState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HTMLToolkit

public HTMLToolkit()

Method Detail

createDesktopPeer

protected java.awt.peer.DesktopPeer createDesktopPeer(Desktop target)
                                               throws HeadlessException

Specified by:

createDesktopPeer in class Toolkit

Throws:

HeadlessException

createButton

protected java.awt.peer.ButtonPeer createButton(Button target)
                                         throws HeadlessException

Specified by:

createButton in class Toolkit

Throws:

HeadlessException

createTextField

protected java.awt.peer.TextFieldPeer createTextField(TextField target)
                                               throws HeadlessException

Specified by:

createTextField in class Toolkit

Throws:

HeadlessException

createLabel

protected java.awt.peer.LabelPeer createLabel(Label target)
                                       throws HeadlessException

Specified by:

createLabel in class Toolkit

Throws:

HeadlessException

createList

protected java.awt.peer.ListPeer createList(List target)
                                     throws HeadlessException

Specified by:

createList in class Toolkit

Throws:

HeadlessException

createCheckbox

protected java.awt.peer.CheckboxPeer createCheckbox(Checkbox target)
                                             throws HeadlessException

Specified by:

createCheckbox in class Toolkit

Throws:

HeadlessException

createScrollbar

protected java.awt.peer.ScrollbarPeer createScrollbar(Scrollbar target)
                                               throws HeadlessException

Specified by:

createScrollbar in class Toolkit

Throws:

HeadlessException

createScrollPane

protected java.awt.peer.ScrollPanePeer createScrollPane(ScrollPane target)
                                                 throws HeadlessException

Specified by:

createScrollPane in class Toolkit

Throws:

HeadlessException

createTextArea

protected java.awt.peer.TextAreaPeer createTextArea(TextArea target)
                                             throws HeadlessException

Specified by:

createTextArea in class Toolkit

Throws:

HeadlessException

createChoice

protected java.awt.peer.ChoicePeer createChoice(Choice target)
                                         throws HeadlessException

Specified by:

createChoice in class Toolkit

Throws:

HeadlessException

createFrame

protected java.awt.peer.FramePeer createFrame(Frame target)
                                       throws HeadlessException

Specified by:

createFrame in class Toolkit

Throws:

HeadlessException

createCanvas

protected java.awt.peer.CanvasPeer createCanvas(Canvas target)

Specified by:

createCanvas in class Toolkit

createPanel

protected java.awt.peer.PanelPeer createPanel(Panel target)

Specified by:

createPanel in class Toolkit

createWindow

protected java.awt.peer.WindowPeer createWindow(Window target)
                                         throws HeadlessException

Specified by:

createWindow in class Toolkit

Throws:

HeadlessException

createDialog

protected java.awt.peer.DialogPeer createDialog(Dialog target)
                                         throws HeadlessException

Specified by:

createDialog in class Toolkit

Throws:

HeadlessException

createMenuBar

protected java.awt.peer.MenuBarPeer createMenuBar(MenuBar target)
                                           throws HeadlessException

Specified by:

createMenuBar in class Toolkit

Throws:

HeadlessException

createMenu

protected java.awt.peer.MenuPeer createMenu(Menu target)
                                     throws HeadlessException

Specified by:

createMenu in class Toolkit

Throws:

HeadlessException

createPopupMenu

protected java.awt.peer.PopupMenuPeer createPopupMenu(PopupMenu target)
                                               throws HeadlessException

Specified by:

createPopupMenu in class Toolkit

Throws:

HeadlessException

createMenuItem

protected java.awt.peer.MenuItemPeer createMenuItem(MenuItem target)
                                             throws HeadlessException

Specified by:

createMenuItem in class Toolkit

Throws:

HeadlessException

createFileDialog

protected java.awt.peer.FileDialogPeer createFileDialog(FileDialog target)
                                                 throws HeadlessException

Specified by:

createFileDialog in class Toolkit

Throws:

HeadlessException

createCheckboxMenuItem

protected java.awt.peer.CheckboxMenuItemPeer createCheckboxMenuItem(CheckboxMenuItem target)
                                                             throws HeadlessException

Specified by:

createCheckboxMenuItem in class Toolkit

Throws:

HeadlessException

getFontPeer

protected java.awt.peer.FontPeer getFontPeer(String name,
                                             int style)

Specified by:

getFontPeer in class Toolkit

getScreenSize

public Dimension getScreenSize()
                        throws HeadlessException

Specified by:

getScreenSize in class Toolkit

Throws:

HeadlessException

getScreenResolution

public int getScreenResolution()
                        throws HeadlessException

Specified by:

getScreenResolution in class Toolkit

Throws:

HeadlessException

getColorModel

public ColorModel getColorModel()
                         throws HeadlessException

Specified by:

getColorModel in class Toolkit

Throws:

HeadlessException

getFontList

public String[] getFontList()

Specified by:

getFontList in class Toolkit

getFontMetrics

public FontMetrics getFontMetrics(Font font)

Specified by:

getFontMetrics in class Toolkit

sync

public void sync()

Specified by:

sync in class Toolkit

getImage

public Image getImage(String filename)

Specified by:

getImage in class Toolkit

getImage

public Image getImage(URL url)

Specified by:

getImage in class Toolkit

createImage

public Image createImage(String filename)

Specified by:

createImage in class Toolkit

createImage

public Image createImage(URL url)

Specified by:

createImage in class Toolkit

prepareImage

public boolean prepareImage(Image image,
                            int width,
                            int height,
                            ImageObserver observer)

Specified by:

prepareImage in class Toolkit

checkImage

public int checkImage(Image image,
                      int width,
                      int height,
                      ImageObserver observer)

Specified by:

checkImage in class Toolkit

createImage

public Image createImage(ImageProducer producer)

Specified by:

createImage in class Toolkit

createImage

public Image createImage(byte[] imagedata,
                         int imageoffset,
                         int imagelength)

Specified by:

createImage in class Toolkit

getPrintJob

public PrintJob getPrintJob(Frame frame,
                            String jobtitle,
                            Properties props)

Specified by:

getPrintJob in class Toolkit

beep

public void beep()

Specified by:

beep in class Toolkit

getSystemClipboard

public Clipboard getSystemClipboard()
                             throws HeadlessException

Specified by:

getSystemClipboard in class Toolkit

Throws:

HeadlessException

getSystemEventQueueImpl

protected EventQueue getSystemEventQueueImpl()

Specified by:

getSystemEventQueueImpl in class Toolkit

createDragSourceContextPeer

public java.awt.dnd.peer.DragSourceContextPeer createDragSourceContextPeer(DragGestureEvent dge)
                                                                    throws InvalidDnDOperationException

Specified by:

createDragSourceContextPeer in class Toolkit

Throws:

InvalidDnDOperationException

isModalityTypeSupported

public boolean isModalityTypeSupported(Dialog.ModalityType modalityType)

Specified by:

isModalityTypeSupported in class Toolkit

isModalExclusionTypeSupported

public boolean isModalExclusionTypeSupported(Dialog.ModalExclusionType modalExclusionType)

Specified by:

isModalExclusionTypeSupported in class Toolkit

mapInputMethodHighlight

public Map<TextAttribute,?> mapInputMethodHighlight(InputMethodHighlight highlight)
                                             throws HeadlessException

Specified by:

mapInputMethodHighlight in class Toolkit

Throws:

HeadlessException

getKeyboardFocusManagerPeer

public java.awt.peer.KeyboardFocusManagerPeer getKeyboardFocusManagerPeer()

Specified by:

getKeyboardFocusManagerPeer in interface sun.awt.KeyboardFocusManagerPeerProvider