Class HTMLToolkit


  • public class HTMLToolkit
    extends java.awt.Toolkit
    HTMLToolkit.java.

    Copyright (c) 2003-2020 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 Description
      HTMLToolkit()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void beep()
      int checkImage​(java.awt.Image image, int width, int height, java.awt.image.ImageObserver observer)
      java.awt.Image createImage​(byte[] imagedata, int imageoffset, int imagelength)
      java.awt.Image createImage​(java.awt.image.ImageProducer producer)
      java.awt.Image createImage​(java.lang.String filename)
      java.awt.Image createImage​(java.net.URL url)
      java.awt.image.ColorModel getColorModel()
      java.lang.String[] getFontList()
      java.awt.FontMetrics getFontMetrics​(java.awt.Font font)
      java.awt.Image getImage​(java.lang.String filename)
      java.awt.Image getImage​(java.net.URL url)
      java.awt.PrintJob getPrintJob​(java.awt.Frame frame, java.lang.String jobtitle, java.util.Properties props)
      int getScreenResolution()
      java.awt.Dimension getScreenSize()
      java.awt.datatransfer.Clipboard getSystemClipboard()
      protected java.awt.EventQueue getSystemEventQueueImpl()
      boolean isModalExclusionTypeSupported​(java.awt.Dialog.ModalExclusionType modalExclusionType)
      boolean isModalityTypeSupported​(java.awt.Dialog.ModalityType modalityType)
      java.util.Map<java.awt.font.TextAttribute,​?> mapInputMethodHighlight​(java.awt.im.InputMethodHighlight highlight)
      boolean prepareImage​(java.awt.Image image, int width, int height, java.awt.image.ImageObserver observer)
      void sync()
      • Methods inherited from class java.awt.Toolkit

        addAWTEventListener, addPropertyChangeListener, areExtraMouseButtonsEnabled, createCustomCursor, createDragGestureRecognizer, createImage, getAWTEventListeners, getAWTEventListeners, getBestCursorSize, getDefaultToolkit, getDesktopProperty, getLockingKeyState, getMaximumCursorColors, getMenuShortcutKeyMask, getMenuShortcutKeyMaskEx, 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

      • getScreenSize

        public java.awt.Dimension getScreenSize()
                                         throws java.awt.HeadlessException
        Specified by:
        getScreenSize in class java.awt.Toolkit
        Throws:
        java.awt.HeadlessException
      • getScreenResolution

        public int getScreenResolution()
                                throws java.awt.HeadlessException
        Specified by:
        getScreenResolution in class java.awt.Toolkit
        Throws:
        java.awt.HeadlessException
      • getColorModel

        public java.awt.image.ColorModel getColorModel()
                                                throws java.awt.HeadlessException
        Specified by:
        getColorModel in class java.awt.Toolkit
        Throws:
        java.awt.HeadlessException
      • getFontList

        public java.lang.String[] getFontList()
        Specified by:
        getFontList in class java.awt.Toolkit
      • getFontMetrics

        public java.awt.FontMetrics getFontMetrics​(java.awt.Font font)
        Specified by:
        getFontMetrics in class java.awt.Toolkit
      • sync

        public void sync()
        Specified by:
        sync in class java.awt.Toolkit
      • getImage

        public java.awt.Image getImage​(java.lang.String filename)
        Specified by:
        getImage in class java.awt.Toolkit
      • getImage

        public java.awt.Image getImage​(java.net.URL url)
        Specified by:
        getImage in class java.awt.Toolkit
      • createImage

        public java.awt.Image createImage​(java.lang.String filename)
        Specified by:
        createImage in class java.awt.Toolkit
      • createImage

        public java.awt.Image createImage​(java.net.URL url)
        Specified by:
        createImage in class java.awt.Toolkit
      • prepareImage

        public boolean prepareImage​(java.awt.Image image,
                                    int width,
                                    int height,
                                    java.awt.image.ImageObserver observer)
        Specified by:
        prepareImage in class java.awt.Toolkit
      • checkImage

        public int checkImage​(java.awt.Image image,
                              int width,
                              int height,
                              java.awt.image.ImageObserver observer)
        Specified by:
        checkImage in class java.awt.Toolkit
      • createImage

        public java.awt.Image createImage​(java.awt.image.ImageProducer producer)
        Specified by:
        createImage in class java.awt.Toolkit
      • createImage

        public java.awt.Image createImage​(byte[] imagedata,
                                          int imageoffset,
                                          int imagelength)
        Specified by:
        createImage in class java.awt.Toolkit
      • getPrintJob

        public java.awt.PrintJob getPrintJob​(java.awt.Frame frame,
                                             java.lang.String jobtitle,
                                             java.util.Properties props)
        Specified by:
        getPrintJob in class java.awt.Toolkit
      • beep

        public void beep()
        Specified by:
        beep in class java.awt.Toolkit
      • getSystemClipboard

        public java.awt.datatransfer.Clipboard getSystemClipboard()
                                                           throws java.awt.HeadlessException
        Specified by:
        getSystemClipboard in class java.awt.Toolkit
        Throws:
        java.awt.HeadlessException
      • getSystemEventQueueImpl

        protected java.awt.EventQueue getSystemEventQueueImpl()
        Specified by:
        getSystemEventQueueImpl in class java.awt.Toolkit
      • isModalityTypeSupported

        public boolean isModalityTypeSupported​(java.awt.Dialog.ModalityType modalityType)
        Specified by:
        isModalityTypeSupported in class java.awt.Toolkit
      • isModalExclusionTypeSupported

        public boolean isModalExclusionTypeSupported​(java.awt.Dialog.ModalExclusionType modalExclusionType)
        Specified by:
        isModalExclusionTypeSupported in class java.awt.Toolkit
      • mapInputMethodHighlight

        public java.util.Map<java.awt.font.TextAttribute,​?> mapInputMethodHighlight​(java.awt.im.InputMethodHighlight highlight)
                                                                                   throws java.awt.HeadlessException
        Specified by:
        mapInputMethodHighlight in class java.awt.Toolkit
        Throws:
        java.awt.HeadlessException