Class HTMLDevice


  • public class HTMLDevice
    extends java.awt.GraphicsDevice
    HTMLDevice.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
    • Nested Class Summary

      • Nested classes/interfaces inherited from class java.awt.GraphicsDevice

        java.awt.GraphicsDevice.WindowTranslucency
    • Field Summary

      • Fields inherited from class java.awt.GraphicsDevice

        TYPE_IMAGE_BUFFER, TYPE_PRINTER, TYPE_RASTER_SCREEN
    • Constructor Summary

      Constructors 
      Constructor Description
      HTMLDevice​(java.awt.GraphicsConfiguration htmlGraphicsConfiguration)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.awt.GraphicsConfiguration[] getConfigurations()
      java.awt.GraphicsConfiguration getDefaultConfiguration()
      java.lang.String getIDstring()
      int getType()
      • Methods inherited from class java.awt.GraphicsDevice

        getAvailableAcceleratedMemory, getBestConfiguration, getDisplayMode, getDisplayModes, getFullScreenWindow, isDisplayChangeSupported, isFullScreenSupported, isWindowTranslucencySupported, setDisplayMode, setFullScreenWindow
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • HTMLDevice

        public HTMLDevice​(java.awt.GraphicsConfiguration htmlGraphicsConfiguration)
        Parameters:
        htmlGraphicsConfiguration - GraphicsConfiguration; the GraphicsConfiguration to add to the HTMLDevice
    • Method Detail

      • getType

        public int getType()
        Specified by:
        getType in class java.awt.GraphicsDevice
      • getIDstring

        public java.lang.String getIDstring()
        Specified by:
        getIDstring in class java.awt.GraphicsDevice
      • getConfigurations

        public java.awt.GraphicsConfiguration[] getConfigurations()
        Specified by:
        getConfigurations in class java.awt.GraphicsDevice
      • getDefaultConfiguration

        public java.awt.GraphicsConfiguration getDefaultConfiguration()
        Specified by:
        getDefaultConfiguration in class java.awt.GraphicsDevice