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.PlatformViewer
vwr
-
Constructor Summary
Constructors Constructor Description Platform()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Object
allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)
void
convertPointFromScreen(java.lang.Object display, javajs.util.P3 ptTemp)
java.lang.Object
createImage(java.lang.Object data)
could be byte[] (from ZIP file) or String (local file name) or URLvoid
disposeGraphics(java.lang.Object gOffscreen)
void
drawImage(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)
void
flushImage(java.lang.Object imagePixelBuffer)
int
fontStringWidth(javajs.awt.Font font, java.lang.String text)
boolean
forceAsyncLoad(java.lang.String filename)
java.lang.Object
getBufferedFileInputStream(java.lang.String name)
java.lang.String
getDateFormat(java.lang.String isoType)
int
getFontAscent(java.lang.Object fontMetrics)
int
getFontDescent(java.lang.Object fontMetrics)
java.lang.Object
getFontMetrics(javajs.awt.Font font, java.lang.Object graphics)
void
getFullScreenDimensions(java.lang.Object display, int[] widthHeight)
java.lang.Object
getGraphics(java.lang.Object image)
javajs.api.GenericImageDialog
getImageDialog(java.lang.String title, java.util.Map<java.lang.String,javajs.api.GenericImageDialog> imageMap)
int
getImageHeight(java.lang.Object image)
int
getImageWidth(java.lang.Object image)
java.lang.Object
getJsObjectInfo(java.lang.Object[] jsObject, java.lang.String method, java.lang.Object[] args)
java.lang.String
getLocalUrl(java.lang.String fileName)
javajs.api.GenericMenuInterface
getMenuPopup(java.lang.String menuStructure, char type)
javajs.api.GenericMouseInterface
getMouseManager(double privateKey, java.lang.Object display)
java.lang.Object
getStaticGraphics(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.Object
getURLContents(java.net.URL url, byte[] outputBytes, java.lang.String post, boolean asString)
static java.awt.Window
getWindow(java.awt.Container p)
int[]
grabPixels(java.lang.Object imageobj, int width, int height, int[] pixels, int startRow, int nRows)
boolean
hasFocus(java.lang.Object display)
boolean
isHeadless()
boolean
isSingleThreaded()
java.lang.Object
newBufferedImage(java.lang.Object image, int w, int h)
javajs.api.GenericFileInterface
newFile(java.lang.String name)
java.lang.Object
newFont(java.lang.String fontFace, boolean isBold, boolean isItalic, float fontSize)
java.lang.Object
newOffScreenImage(int w, int h)
void
notifyEndOfRendering()
java.lang.String
prompt(java.lang.String label, java.lang.String data, java.lang.String[] list, boolean asButtons)
void
renderScreenImage(java.lang.Object g, java.lang.Object size)
legacy apps will use thisvoid
repaint(java.lang.Object display)
void
requestFocusInWindow(java.lang.Object display)
void
setCursor(int c, java.lang.Object display)
void
setTransparentCursor(java.lang.Object display)
void
setViewer(javajs.api.PlatformViewer vwr, java.lang.Object display)
boolean
waitForDisplay(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:
setViewer
in interfacejavajs.api.GenericPlatform
-
convertPointFromScreen
public void convertPointFromScreen(java.lang.Object display, javajs.util.P3 ptTemp)
- Specified by:
convertPointFromScreen
in interfacejavajs.api.GenericPlatform
-
getFullScreenDimensions
public void getFullScreenDimensions(java.lang.Object display, int[] widthHeight)
- Specified by:
getFullScreenDimensions
in interfacejavajs.api.GenericPlatform
-
getMenuPopup
public javajs.api.GenericMenuInterface getMenuPopup(java.lang.String menuStructure, char type)
- Specified by:
getMenuPopup
in interfacejavajs.api.GenericPlatform
-
hasFocus
public boolean hasFocus(java.lang.Object display)
- Specified by:
hasFocus
in 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:
prompt
in interfacejavajs.api.GenericPlatform
-
renderScreenImage
public void renderScreenImage(java.lang.Object g, java.lang.Object size)
legacy apps will use this- Specified by:
renderScreenImage
in interfacejavajs.api.GenericPlatform
- Parameters:
g
-size
-
-
requestFocusInWindow
public void requestFocusInWindow(java.lang.Object display)
- Specified by:
requestFocusInWindow
in interfacejavajs.api.GenericPlatform
-
repaint
public void repaint(java.lang.Object display)
- Specified by:
repaint
in interfacejavajs.api.GenericPlatform
-
setTransparentCursor
public void setTransparentCursor(java.lang.Object display)
- Specified by:
setTransparentCursor
in interfacejavajs.api.GenericPlatform
-
setCursor
public void setCursor(int c, java.lang.Object display)
- Specified by:
setCursor
in interfacejavajs.api.GenericPlatform
-
getMouseManager
public javajs.api.GenericMouseInterface getMouseManager(double privateKey, java.lang.Object display)
- Specified by:
getMouseManager
in interfacejavajs.api.GenericPlatform
-
allocateRgbImage
public java.lang.Object allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)
- Specified by:
allocateRgbImage
in 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:
createImage
in interfacejavajs.api.GenericPlatform
- Parameters:
data
-- Returns:
- image object
-
disposeGraphics
public void disposeGraphics(java.lang.Object gOffscreen)
- Specified by:
disposeGraphics
in 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:
drawImage
in interfacejavajs.api.GenericPlatform
-
grabPixels
public int[] grabPixels(java.lang.Object imageobj, int width, int height, int[] pixels, int startRow, int nRows)
- Specified by:
grabPixels
in 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:
drawImageToBuffer
in 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:
getTextPixels
in interfacejavajs.api.GenericPlatform
-
flushImage
public void flushImage(java.lang.Object imagePixelBuffer)
- Specified by:
flushImage
in interfacejavajs.api.GenericPlatform
-
getGraphics
public java.lang.Object getGraphics(java.lang.Object image)
- Specified by:
getGraphics
in interfacejavajs.api.GenericPlatform
-
getImageHeight
public int getImageHeight(java.lang.Object image)
- Specified by:
getImageHeight
in interfacejavajs.api.GenericPlatform
-
getImageWidth
public int getImageWidth(java.lang.Object image)
- Specified by:
getImageWidth
in interfacejavajs.api.GenericPlatform
-
getStaticGraphics
public java.lang.Object getStaticGraphics(java.lang.Object image, boolean backgroundTransparent)
- Specified by:
getStaticGraphics
in interfacejavajs.api.GenericPlatform
-
newBufferedImage
public java.lang.Object newBufferedImage(java.lang.Object image, int w, int h)
- Specified by:
newBufferedImage
in interfacejavajs.api.GenericPlatform
-
newOffScreenImage
public java.lang.Object newOffScreenImage(int w, int h)
- Specified by:
newOffScreenImage
in interfacejavajs.api.GenericPlatform
-
waitForDisplay
public boolean waitForDisplay(java.lang.Object ignored, java.lang.Object image) throws java.lang.InterruptedException
Description copied from interface:javajs.api.GenericPlatform
can be ignored (return false) if platform cannot save images- Specified by:
waitForDisplay
in 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:
fontStringWidth
in interfacejavajs.api.FontManager
-
getFontAscent
public int getFontAscent(java.lang.Object fontMetrics)
- Specified by:
getFontAscent
in interfacejavajs.api.FontManager
-
getFontDescent
public int getFontDescent(java.lang.Object fontMetrics)
- Specified by:
getFontDescent
in interfacejavajs.api.FontManager
-
getFontMetrics
public java.lang.Object getFontMetrics(javajs.awt.Font font, java.lang.Object graphics)
- Specified by:
getFontMetrics
in interfacejavajs.api.FontManager
-
newFont
public java.lang.Object newFont(java.lang.String fontFace, boolean isBold, boolean isItalic, float fontSize)
- Specified by:
newFont
in interfacejavajs.api.FontManager
-
getJsObjectInfo
public java.lang.Object getJsObjectInfo(java.lang.Object[] jsObject, java.lang.String method, java.lang.Object[] args)
- Specified by:
getJsObjectInfo
in interfacejavajs.api.GenericPlatform
-
isHeadless
public boolean isHeadless()
- Specified by:
isHeadless
in interfacejavajs.api.GenericPlatform
-
isSingleThreaded
public boolean isSingleThreaded()
- Specified by:
isSingleThreaded
in interfacejavajs.api.GenericPlatform
-
notifyEndOfRendering
public void notifyEndOfRendering()
- Specified by:
notifyEndOfRendering
in 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:
getDateFormat
in interfacejavajs.api.GenericPlatform
-
newFile
public javajs.api.GenericFileInterface newFile(java.lang.String name)
- Specified by:
newFile
in interfacejavajs.api.GenericPlatform
-
getBufferedFileInputStream
public java.lang.Object getBufferedFileInputStream(java.lang.String name)
- Specified by:
getBufferedFileInputStream
in interfacejavajs.api.GenericPlatform
-
getURLContents
public java.lang.Object getURLContents(java.net.URL url, byte[] outputBytes, java.lang.String post, boolean asString)
- Specified by:
getURLContents
in 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:
getLocalUrl
in 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:
getImageDialog
in interfacejavajs.api.GenericPlatform
-
forceAsyncLoad
public boolean forceAsyncLoad(java.lang.String filename)
- Specified by:
forceAsyncLoad
in interfacejavajs.api.GenericPlatform
-
-