Interface GenericPlatform

Method Details

• setViewer

  void setViewer(PlatformViewer vwr, Object display)

• isHeadless

  boolean isHeadless()

  //// Display

• convertPointFromScreen

  void convertPointFromScreen(Object display, P3 ptTemp)

• getFullScreenDimensions

  void getFullScreenDimensions(Object display, int[] widthHeight)

• hasFocus

  boolean hasFocus(Object display)

• prompt

  String prompt(String label, String data, String[] list, boolean asButtons)

• repaint

  void repaint(Object display)

• requestFocusInWindow

  void requestFocusInWindow(Object display)

• setCursor

  void setCursor(int i, Object display)

• setTransparentCursor

  void setTransparentCursor(Object display)

• getMouseManager

  GenericMouseInterface getMouseManager(double privateKey, Object display)

  / Mouse

• allocateRgbImage

  Object allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)

  // core Image handling

• disposeGraphics

  void disposeGraphics(Object graphicForText)

• drawImage

  void drawImage(Object g, Object img, int x, int y, int width, int height, boolean isDTI)

• drawImageToBuffer

  int[] drawImageToBuffer(Object gObj, Object imageOffscreen, Object image, int width, int height, int bgcolor)

• flushImage

  void flushImage(Object imagePixelBuffer)

• getStaticGraphics

  Object getStaticGraphics(Object image, boolean backgroundTransparent)

• getGraphics

  Object getGraphics(Object image)

• getImageWidth

  int getImageWidth(Object image)

• getImageHeight

  int getImageHeight(Object image)

• newBufferedImage

  Object newBufferedImage(Object image, int width, int height)

• newOffScreenImage

  Object newOffScreenImage(int w, int h)

• renderScreenImage

  @Deprecated void renderScreenImage(Object g, Object currentSize)

  Deprecated.

• getTextPixels

  int[] getTextPixels(String text, Font font3d, Object gObj, Object image, int mapWidth, int height, int ascent)

• createImage

  Object createImage(Object ret)

  can be ignored (return null) if platform cannot save images

  Parameters:

  ret -

  Returns:

  null only if this platform cannot save images

• grabPixels

  int[] grabPixels(Object image, int width, int height, int[] pixels)

  Parameters:

  image -

  width -

  height -

  pixels -

  Returns:

  pixels

• waitForDisplay

  boolean waitForDisplay(Object boolIsEcho, Object image) throws InterruptedException

  can be ignored (return false) if platform cannot save images

  Parameters:

  boolIsEcho -

  image -

  Returns:

  false only if this platform cannot save images

  Throws:

  InterruptedException

• getMenuPopup

  GenericMenuInterface getMenuPopup(String menuStructure, char type)

• getJsObjectInfo

  Object getJsObjectInfo(Object[] jsObject, String method, Object[] args)

• isSingleThreaded

  boolean isSingleThreaded()

• notifyEndOfRendering

  void notifyEndOfRendering()

• getDateFormat

  String getDateFormat(String isoType)

• newFile

  GenericFileInterface newFile(String name)

• getBufferedFileInputStream

  Object getBufferedFileInputStream(String name)

• getURLContents

  Object getURLContents(URL url, byte[] outputBytes, String post, boolean asString)

  Parameters:

  url -

  outputBytes -

  post -

  asString -

  Returns:

  may be javajs.util.SB or byte[] or java.io.InputStream

• getLocalUrl

  String getLocalUrl(String fileName)

• getImageDialog

  GenericImageDialog getImageDialog(String title, Map<String, GenericImageDialog> imageMap)

• forceAsyncLoad

  boolean forceAsyncLoad(String filename)

• getInChI

  Object getInChI()

• confirm

  int confirm(String msg, String msgNo)