package nl.tudelft.simulation.dsol.web.animation;
   
   import java.awt.GraphicsConfiguration;
   import java.awt.GraphicsDevice;
   
   import org.djutils.logger.CategoryLogger;
   
   import nl.tudelft.simulation.dsol.logger.Cat;
   
  
  /**
   * HTMLDevice.java. <br>
   * <br>
   * Copyright (c) 2003-2020 Delft University of Technology, Jaffalaan 5, 2628 BX Delft, the Netherlands. All rights reserved. See
   * for project information <a href="https://www.simulation.tudelft.nl/" target="_blank">www.simulation.tudelft.nl</a>. The
   * source code and binary code of this software is proprietary information of Delft University of Technology.
   * @author <a href="https://www.tudelft.nl/averbraeck" target="_blank">Alexander Verbraeck</a>
   */
  public class HTMLDevice extends GraphicsDevice
  {
      /** the GraphicsConfigurations for this HTMLDevice. */
      private GraphicsConfiguration[] htmlGraphicsConfigurations;
  
      /**
       * @param htmlGraphicsConfiguration GraphicsConfiguration; the GraphicsConfiguration to add to the HTMLDevice
       */
      public HTMLDevice(GraphicsConfiguration htmlGraphicsConfiguration)
      {
          CategoryLogger.filter(Cat.WEB).trace("HTMLDevice.<init>");
          this.htmlGraphicsConfigurations = new GraphicsConfiguration[] {htmlGraphicsConfiguration};
      }
  
      /** {@inheritDoc} */
      @Override
      public int getType()
      {
          CategoryLogger.filter(Cat.WEB).trace("HTMLDevice.getType()");
          return GraphicsDevice.TYPE_RASTER_SCREEN;
      }
  
      /** {@inheritDoc} */
      @Override
      public String getIDstring()
      {
          CategoryLogger.filter(Cat.WEB).trace("HTMLDevice.getIDString()");
          return "HTMLDevice";
      }
  
      /** {@inheritDoc} */
      @Override
      public GraphicsConfiguration[] getConfigurations()
      {
          CategoryLogger.filter(Cat.WEB).trace("HTMLDevice.getConfiguration()");
          return this.htmlGraphicsConfigurations;
      }
  
      /** {@inheritDoc} */
      @Override
      public GraphicsConfiguration getDefaultConfiguration()
      {
          CategoryLogger.filter(Cat.WEB).trace("HTMLDevice.getDefaultConfiguration()");
          return this.htmlGraphicsConfigurations[0];
      }
  
  }