Package org.jmol.awt
Class Platform
- java.lang.Object
-
- org.jmol.awt.Platform
-
- All Implemented Interfaces:
javajs.api.FontManager,javajs.api.GenericPlatform
public class Platform extends java.lang.Object implements javajs.api.GenericPlatform
-
-
Field Summary
Fields Modifier and Type Field Description (package private) javajs.api.PlatformViewervwr
-
Constructor Summary
Constructors Constructor Description Platform()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.ObjectallocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)voidconvertPointFromScreen(java.lang.Object display, javajs.util.P3 ptTemp)java.lang.ObjectcreateImage(java.lang.Object data)could be byte[] (from ZIP file) or String (local file name) or URLvoiddisposeGraphics(java.lang.Object gOffscreen)voiddrawImage(java.lang.Object g, java.lang.Object img, int x, int y, int width, int height, boolean isDTI)int[]drawImageToBuffer(java.lang.Object gOffscreen, java.lang.Object imageOffscreen, java.lang.Object imageobj, int width, int height, int bgcolor)voidflushImage(java.lang.Object imagePixelBuffer)intfontStringWidth(javajs.awt.Font font, java.lang.String text)booleanforceAsyncLoad(java.lang.String filename)java.lang.ObjectgetBufferedFileInputStream(java.lang.String name)java.lang.StringgetDateFormat(java.lang.String isoType)intgetFontAscent(java.lang.Object fontMetrics)intgetFontDescent(java.lang.Object fontMetrics)java.lang.ObjectgetFontMetrics(javajs.awt.Font font, java.lang.Object graphics)voidgetFullScreenDimensions(java.lang.Object display, int[] widthHeight)java.lang.ObjectgetGraphics(java.lang.Object image)javajs.api.GenericImageDialoggetImageDialog(java.lang.String title, java.util.Map<java.lang.String,javajs.api.GenericImageDialog> imageMap)intgetImageHeight(java.lang.Object image)intgetImageWidth(java.lang.Object image)java.lang.ObjectgetJsObjectInfo(java.lang.Object[] jsObject, java.lang.String method, java.lang.Object[] args)java.lang.StringgetLocalUrl(java.lang.String fileName)javajs.api.GenericMenuInterfacegetMenuPopup(java.lang.String menuStructure, char type)javajs.api.GenericMouseInterfacegetMouseManager(double privateKey, java.lang.Object display)java.lang.ObjectgetStaticGraphics(java.lang.Object image, boolean backgroundTransparent)int[]getTextPixels(java.lang.String text, javajs.awt.Font font3d, java.lang.Object gObj, java.lang.Object image, int width, int height, int ascent)java.lang.ObjectgetURLContents(java.net.URL url, byte[] outputBytes, java.lang.String post, boolean asString)static java.awt.WindowgetWindow(java.awt.Container p)int[]grabPixels(java.lang.Object imageobj, int width, int height, int[] pixels, int startRow, int nRows)booleanhasFocus(java.lang.Object display)booleanisHeadless()booleanisSingleThreaded()java.lang.ObjectnewBufferedImage(java.lang.Object image, int w, int h)javajs.api.GenericFileInterfacenewFile(java.lang.String name)java.lang.ObjectnewFont(java.lang.String fontFace, boolean isBold, boolean isItalic, float fontSize)java.lang.ObjectnewOffScreenImage(int w, int h)voidnotifyEndOfRendering()java.lang.Stringprompt(java.lang.String label, java.lang.String data, java.lang.String[] list, boolean asButtons)voidrenderScreenImage(java.lang.Object g, java.lang.Object size)legacy apps will use thisvoidrepaint(java.lang.Object display)voidrequestFocusInWindow(java.lang.Object display)voidsetCursor(int c, java.lang.Object display)voidsetTransparentCursor(java.lang.Object display)voidsetViewer(javajs.api.PlatformViewer vwr, java.lang.Object display)booleanwaitForDisplay(java.lang.Object ignored, java.lang.Object image)can be ignored (return false) if platform cannot save images
-
-
-
Method Detail
-
setViewer
public void setViewer(javajs.api.PlatformViewer vwr, java.lang.Object display)- Specified by:
setViewerin interfacejavajs.api.GenericPlatform
-
convertPointFromScreen
public void convertPointFromScreen(java.lang.Object display, javajs.util.P3 ptTemp)- Specified by:
convertPointFromScreenin interfacejavajs.api.GenericPlatform
-
getFullScreenDimensions
public void getFullScreenDimensions(java.lang.Object display, int[] widthHeight)- Specified by:
getFullScreenDimensionsin interfacejavajs.api.GenericPlatform
-
getMenuPopup
public javajs.api.GenericMenuInterface getMenuPopup(java.lang.String menuStructure, char type)- Specified by:
getMenuPopupin interfacejavajs.api.GenericPlatform
-
hasFocus
public boolean hasFocus(java.lang.Object display)
- Specified by:
hasFocusin interfacejavajs.api.GenericPlatform
-
prompt
public java.lang.String prompt(java.lang.String label, java.lang.String data, java.lang.String[] list, boolean asButtons)- Specified by:
promptin interfacejavajs.api.GenericPlatform
-
renderScreenImage
public void renderScreenImage(java.lang.Object g, java.lang.Object size)legacy apps will use this- Specified by:
renderScreenImagein interfacejavajs.api.GenericPlatform- Parameters:
g-size-
-
requestFocusInWindow
public void requestFocusInWindow(java.lang.Object display)
- Specified by:
requestFocusInWindowin interfacejavajs.api.GenericPlatform
-
repaint
public void repaint(java.lang.Object display)
- Specified by:
repaintin interfacejavajs.api.GenericPlatform
-
setTransparentCursor
public void setTransparentCursor(java.lang.Object display)
- Specified by:
setTransparentCursorin interfacejavajs.api.GenericPlatform
-
setCursor
public void setCursor(int c, java.lang.Object display)- Specified by:
setCursorin interfacejavajs.api.GenericPlatform
-
getMouseManager
public javajs.api.GenericMouseInterface getMouseManager(double privateKey, java.lang.Object display)- Specified by:
getMouseManagerin interfacejavajs.api.GenericPlatform
-
allocateRgbImage
public java.lang.Object allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)- Specified by:
allocateRgbImagein interfacejavajs.api.GenericPlatform
-
createImage
public java.lang.Object createImage(java.lang.Object data)
could be byte[] (from ZIP file) or String (local file name) or URL- Specified by:
createImagein interfacejavajs.api.GenericPlatform- Parameters:
data-- Returns:
- image object
-
disposeGraphics
public void disposeGraphics(java.lang.Object gOffscreen)
- Specified by:
disposeGraphicsin interfacejavajs.api.GenericPlatform
-
drawImage
public void drawImage(java.lang.Object g, java.lang.Object img, int x, int y, int width, int height, boolean isDTI)- Specified by:
drawImagein interfacejavajs.api.GenericPlatform
-
grabPixels
public int[] grabPixels(java.lang.Object imageobj, int width, int height, int[] pixels, int startRow, int nRows)- Specified by:
grabPixelsin interfacejavajs.api.GenericPlatform- Returns:
- pixels
-
drawImageToBuffer
public int[] drawImageToBuffer(java.lang.Object gOffscreen, java.lang.Object imageOffscreen, java.lang.Object imageobj, int width, int height, int bgcolor)- Specified by:
drawImageToBufferin interfacejavajs.api.GenericPlatform
-
getTextPixels
public int[] getTextPixels(java.lang.String text, javajs.awt.Font font3d, java.lang.Object gObj, java.lang.Object image, int width, int height, int ascent)- Specified by:
getTextPixelsin interfacejavajs.api.GenericPlatform
-
flushImage
public void flushImage(java.lang.Object imagePixelBuffer)
- Specified by:
flushImagein interfacejavajs.api.GenericPlatform
-
getGraphics
public java.lang.Object getGraphics(java.lang.Object image)
- Specified by:
getGraphicsin interfacejavajs.api.GenericPlatform
-
getImageHeight
public int getImageHeight(java.lang.Object image)
- Specified by:
getImageHeightin interfacejavajs.api.GenericPlatform
-
getImageWidth
public int getImageWidth(java.lang.Object image)
- Specified by:
getImageWidthin interfacejavajs.api.GenericPlatform
-
getStaticGraphics
public java.lang.Object getStaticGraphics(java.lang.Object image, boolean backgroundTransparent)- Specified by:
getStaticGraphicsin interfacejavajs.api.GenericPlatform
-
newBufferedImage
public java.lang.Object newBufferedImage(java.lang.Object image, int w, int h)- Specified by:
newBufferedImagein interfacejavajs.api.GenericPlatform
-
newOffScreenImage
public java.lang.Object newOffScreenImage(int w, int h)- Specified by:
newOffScreenImagein interfacejavajs.api.GenericPlatform
-
waitForDisplay
public boolean waitForDisplay(java.lang.Object ignored, java.lang.Object image) throws java.lang.InterruptedExceptionDescription copied from interface:javajs.api.GenericPlatformcan be ignored (return false) if platform cannot save images- Specified by:
waitForDisplayin interfacejavajs.api.GenericPlatform- Returns:
- false only if this platform cannot save images
- Throws:
java.lang.InterruptedException
-
fontStringWidth
public int fontStringWidth(javajs.awt.Font font, java.lang.String text)- Specified by:
fontStringWidthin interfacejavajs.api.FontManager
-
getFontAscent
public int getFontAscent(java.lang.Object fontMetrics)
- Specified by:
getFontAscentin interfacejavajs.api.FontManager
-
getFontDescent
public int getFontDescent(java.lang.Object fontMetrics)
- Specified by:
getFontDescentin interfacejavajs.api.FontManager
-
getFontMetrics
public java.lang.Object getFontMetrics(javajs.awt.Font font, java.lang.Object graphics)- Specified by:
getFontMetricsin interfacejavajs.api.FontManager
-
newFont
public java.lang.Object newFont(java.lang.String fontFace, boolean isBold, boolean isItalic, float fontSize)- Specified by:
newFontin interfacejavajs.api.FontManager
-
getJsObjectInfo
public java.lang.Object getJsObjectInfo(java.lang.Object[] jsObject, java.lang.String method, java.lang.Object[] args)- Specified by:
getJsObjectInfoin interfacejavajs.api.GenericPlatform
-
isHeadless
public boolean isHeadless()
- Specified by:
isHeadlessin interfacejavajs.api.GenericPlatform
-
isSingleThreaded
public boolean isSingleThreaded()
- Specified by:
isSingleThreadedin interfacejavajs.api.GenericPlatform
-
notifyEndOfRendering
public void notifyEndOfRendering()
- Specified by:
notifyEndOfRenderingin interfacejavajs.api.GenericPlatform
-
getWindow
public static java.awt.Window getWindow(java.awt.Container p)
- Parameters:
p-- Returns:
- The hosting frame or JDialog.
-
getDateFormat
public java.lang.String getDateFormat(java.lang.String isoType)
- Specified by:
getDateFormatin interfacejavajs.api.GenericPlatform
-
newFile
public javajs.api.GenericFileInterface newFile(java.lang.String name)
- Specified by:
newFilein interfacejavajs.api.GenericPlatform
-
getBufferedFileInputStream
public java.lang.Object getBufferedFileInputStream(java.lang.String name)
- Specified by:
getBufferedFileInputStreamin interfacejavajs.api.GenericPlatform
-
getURLContents
public java.lang.Object getURLContents(java.net.URL url, byte[] outputBytes, java.lang.String post, boolean asString)- Specified by:
getURLContentsin interfacejavajs.api.GenericPlatform- Returns:
- may be javajs.util.SB or byte[] or java.io.InputStream
-
getLocalUrl
public java.lang.String getLocalUrl(java.lang.String fileName)
- Specified by:
getLocalUrlin interfacejavajs.api.GenericPlatform
-
getImageDialog
public javajs.api.GenericImageDialog getImageDialog(java.lang.String title, java.util.Map<java.lang.String,javajs.api.GenericImageDialog> imageMap)- Specified by:
getImageDialogin interfacejavajs.api.GenericPlatform
-
forceAsyncLoad
public boolean forceAsyncLoad(java.lang.String filename)
- Specified by:
forceAsyncLoadin interfacejavajs.api.GenericPlatform
-
-