Package org.jmol.awt
Class Platform
- java.lang.Object
-
- org.jmol.awt.Platform
-
- All Implemented Interfaces:
FontManager
,GenericPlatform
public class Platform extends Object implements GenericPlatform
-
-
Field Summary
Fields Modifier and Type Field Description (package private) PlatformViewer
vwr
-
Fields inherited from interface org.jmol.api.GenericPlatform
CURSOR_CROSSHAIR, CURSOR_DEFAULT, CURSOR_HAND, CURSOR_MOVE, CURSOR_WAIT, CURSOR_ZOOM
-
-
Constructor Summary
Constructors Constructor Description Platform()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Object
allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)
void
convertPointFromScreen(Object display, javajs.util.P3 ptTemp)
Object
createImage(Object data)
could be byte[] (from ZIP file) or String (local file name) or URLvoid
disposeGraphics(Object gOffscreen)
void
drawImage(Object g, Object img, int x, int y, int width, int height, boolean isDTI)
int[]
drawImageToBuffer(Object gOffscreen, Object imageOffscreen, Object imageobj, int width, int height, int bgcolor)
void
flushImage(Object imagePixelBuffer)
int
fontStringWidth(Font font, String text)
boolean
forceAsyncLoad(String filename)
Object
getBufferedFileInputStream(String name)
String
getDateFormat(String isoType)
int
getFontAscent(Object fontMetrics)
int
getFontDescent(Object fontMetrics)
Object
getFontMetrics(Font font, Object graphics)
void
getFullScreenDimensions(Object display, int[] widthHeight)
Object
getGraphics(Object image)
GenericImageDialog
getImageDialog(String title, Map<String,GenericImageDialog> imageMap)
int
getImageHeight(Object image)
int
getImageWidth(Object image)
Object
getJsObjectInfo(Object[] jsObject, String method, Object[] args)
String
getLocalUrl(String fileName)
GenericMenuInterface
getMenuPopup(String menuStructure, char type)
GenericMouseInterface
getMouseManager(double privateKey, Object display)
Object
getStaticGraphics(Object image, boolean backgroundTransparent)
int[]
getTextPixels(String text, Font font3d, Object gObj, Object image, int width, int height, int ascent)
Object
getURLContents(URL url, byte[] outputBytes, String post, boolean asString)
static Window
getWindow(Container p)
int[]
grabPixels(Object imageobj, int width, int height, int[] pixels, int startRow, int nRows)
boolean
hasFocus(Object display)
boolean
isHeadless()
boolean
isSingleThreaded()
Object
newBufferedImage(Object image, int w, int h)
GenericFileInterface
newFile(String name)
Object
newFont(String fontFace, boolean isBold, boolean isItalic, float fontSize)
Object
newOffScreenImage(int w, int h)
void
notifyEndOfRendering()
String
prompt(String label, String data, String[] list, boolean asButtons)
void
renderScreenImage(Object g, Object size)
legacy apps will use thisvoid
repaint(Object display)
void
requestFocusInWindow(Object display)
void
setCursor(int c, Object display)
void
setTransparentCursor(Object display)
void
setViewer(PlatformViewer vwr, Object display)
boolean
waitForDisplay(Object ignored, Object image)
can be ignored (return false) if platform cannot save images
-
-
-
Field Detail
-
vwr
PlatformViewer vwr
-
-
Method Detail
-
setViewer
public void setViewer(PlatformViewer vwr, Object display)
- Specified by:
setViewer
in interfaceGenericPlatform
-
convertPointFromScreen
public void convertPointFromScreen(Object display, javajs.util.P3 ptTemp)
- Specified by:
convertPointFromScreen
in interfaceGenericPlatform
-
getFullScreenDimensions
public void getFullScreenDimensions(Object display, int[] widthHeight)
- Specified by:
getFullScreenDimensions
in interfaceGenericPlatform
-
getMenuPopup
public GenericMenuInterface getMenuPopup(String menuStructure, char type)
- Specified by:
getMenuPopup
in interfaceGenericPlatform
-
hasFocus
public boolean hasFocus(Object display)
- Specified by:
hasFocus
in interfaceGenericPlatform
-
prompt
public String prompt(String label, String data, String[] list, boolean asButtons)
- Specified by:
prompt
in interfaceGenericPlatform
-
renderScreenImage
public void renderScreenImage(Object g, Object size)
legacy apps will use this- Specified by:
renderScreenImage
in interfaceGenericPlatform
- Parameters:
g
-size
-
-
requestFocusInWindow
public void requestFocusInWindow(Object display)
- Specified by:
requestFocusInWindow
in interfaceGenericPlatform
-
repaint
public void repaint(Object display)
- Specified by:
repaint
in interfaceGenericPlatform
-
setTransparentCursor
public void setTransparentCursor(Object display)
- Specified by:
setTransparentCursor
in interfaceGenericPlatform
-
setCursor
public void setCursor(int c, Object display)
- Specified by:
setCursor
in interfaceGenericPlatform
-
getMouseManager
public GenericMouseInterface getMouseManager(double privateKey, Object display)
- Specified by:
getMouseManager
in interfaceGenericPlatform
-
allocateRgbImage
public Object allocateRgbImage(int windowWidth, int windowHeight, int[] pBuffer, int windowSize, boolean backgroundTransparent, boolean isImageWrite)
- Specified by:
allocateRgbImage
in interfaceGenericPlatform
-
createImage
public Object createImage(Object data)
could be byte[] (from ZIP file) or String (local file name) or URL- Specified by:
createImage
in interfaceGenericPlatform
- Parameters:
data
-- Returns:
- image object
-
disposeGraphics
public void disposeGraphics(Object gOffscreen)
- Specified by:
disposeGraphics
in interfaceGenericPlatform
-
drawImage
public void drawImage(Object g, Object img, int x, int y, int width, int height, boolean isDTI)
- Specified by:
drawImage
in interfaceGenericPlatform
-
grabPixels
public int[] grabPixels(Object imageobj, int width, int height, int[] pixels, int startRow, int nRows)
- Specified by:
grabPixels
in interfaceGenericPlatform
- Returns:
- pixels
-
drawImageToBuffer
public int[] drawImageToBuffer(Object gOffscreen, Object imageOffscreen, Object imageobj, int width, int height, int bgcolor)
- Specified by:
drawImageToBuffer
in interfaceGenericPlatform
-
getTextPixels
public int[] getTextPixels(String text, Font font3d, Object gObj, Object image, int width, int height, int ascent)
- Specified by:
getTextPixels
in interfaceGenericPlatform
-
flushImage
public void flushImage(Object imagePixelBuffer)
- Specified by:
flushImage
in interfaceGenericPlatform
-
getGraphics
public Object getGraphics(Object image)
- Specified by:
getGraphics
in interfaceGenericPlatform
-
getImageHeight
public int getImageHeight(Object image)
- Specified by:
getImageHeight
in interfaceGenericPlatform
-
getImageWidth
public int getImageWidth(Object image)
- Specified by:
getImageWidth
in interfaceGenericPlatform
-
getStaticGraphics
public Object getStaticGraphics(Object image, boolean backgroundTransparent)
- Specified by:
getStaticGraphics
in interfaceGenericPlatform
-
newBufferedImage
public Object newBufferedImage(Object image, int w, int h)
- Specified by:
newBufferedImage
in interfaceGenericPlatform
-
newOffScreenImage
public Object newOffScreenImage(int w, int h)
- Specified by:
newOffScreenImage
in interfaceGenericPlatform
-
waitForDisplay
public boolean waitForDisplay(Object ignored, Object image) throws InterruptedException
Description copied from interface:GenericPlatform
can be ignored (return false) if platform cannot save images- Specified by:
waitForDisplay
in interfaceGenericPlatform
- Returns:
- false only if this platform cannot save images
- Throws:
InterruptedException
-
fontStringWidth
public int fontStringWidth(Font font, String text)
- Specified by:
fontStringWidth
in interfaceFontManager
-
getFontAscent
public int getFontAscent(Object fontMetrics)
- Specified by:
getFontAscent
in interfaceFontManager
-
getFontDescent
public int getFontDescent(Object fontMetrics)
- Specified by:
getFontDescent
in interfaceFontManager
-
getFontMetrics
public Object getFontMetrics(Font font, Object graphics)
- Specified by:
getFontMetrics
in interfaceFontManager
-
newFont
public Object newFont(String fontFace, boolean isBold, boolean isItalic, float fontSize)
- Specified by:
newFont
in interfaceFontManager
-
getJsObjectInfo
public Object getJsObjectInfo(Object[] jsObject, String method, Object[] args)
- Specified by:
getJsObjectInfo
in interfaceGenericPlatform
-
isHeadless
public boolean isHeadless()
- Specified by:
isHeadless
in interfaceGenericPlatform
-
isSingleThreaded
public boolean isSingleThreaded()
- Specified by:
isSingleThreaded
in interfaceGenericPlatform
-
notifyEndOfRendering
public void notifyEndOfRendering()
- Specified by:
notifyEndOfRendering
in interfaceGenericPlatform
-
getWindow
public static Window getWindow(Container p)
- Parameters:
p
-- Returns:
- The hosting frame or JDialog.
-
getDateFormat
public String getDateFormat(String isoType)
- Specified by:
getDateFormat
in interfaceGenericPlatform
-
newFile
public GenericFileInterface newFile(String name)
- Specified by:
newFile
in interfaceGenericPlatform
-
getBufferedFileInputStream
public Object getBufferedFileInputStream(String name)
- Specified by:
getBufferedFileInputStream
in interfaceGenericPlatform
-
getURLContents
public Object getURLContents(URL url, byte[] outputBytes, String post, boolean asString)
- Specified by:
getURLContents
in interfaceGenericPlatform
- Returns:
- may be javajs.util.SB or byte[] or java.io.InputStream
-
getLocalUrl
public String getLocalUrl(String fileName)
- Specified by:
getLocalUrl
in interfaceGenericPlatform
-
getImageDialog
public GenericImageDialog getImageDialog(String title, Map<String,GenericImageDialog> imageMap)
- Specified by:
getImageDialog
in interfaceGenericPlatform
-
forceAsyncLoad
public boolean forceAsyncLoad(String filename)
- Specified by:
forceAsyncLoad
in interfaceGenericPlatform
-
-