/** * Returns the pixel to millimeter conversion factor specified in the * <code>TranscodingHints</code> or 0.26458333 if not specified. */ public float getPixelUnitToMillimeter() { Object obj = SVGAbstractTranscoder.this.hints.get (KEY_PIXEL_UNIT_TO_MILLIMETER); if (obj != null) { return ((Float)obj).floatValue(); } return super.getPixelUnitToMillimeter(); }
/** * Returns this user agent's CSS media. */ public String getMedia() { String s = (String)hints.get(KEY_MEDIA); if (s != null) return s; return super.getMedia(); }
/** * Returns the user stylesheet specified in the * <code>TranscodingHints</code> or null if any. */ public String getUserStyleSheetURI() { String s = (String)SVGAbstractTranscoder.this.hints.get (KEY_USER_STYLESHEET_URI); if (s != null) return s; return super.getUserStyleSheetURI(); }
/** * Returns the XML parser to use from the TranscodingHints. */ public String getXMLParserClassName() { String s = (String)SVGAbstractTranscoder.this.hints.get (KEY_XML_PARSER_CLASSNAME); if (s != null) return s; return super.getXMLParserClassName(); }
/** * Returns true if the XML parser must be in validation mode, false * otherwise. */ public boolean isXMLParserValidating() { Boolean b = (Boolean)SVGAbstractTranscoder.this.hints.get (KEY_XML_PARSER_VALIDATING); if (b != null) return b.booleanValue(); return super.isXMLParserValidating(); }
/** * Returns this user agent's alternate style-sheet title. */ public String getAlternateStyleSheet() { String s = (String)hints.get(KEY_ALTERNATE_STYLESHEET); if (s != null) return s; return super.getAlternateStyleSheet(); }
/** * Returns true if the XML parser must be in validation mode, false * otherwise. */ public boolean isXMLParserValidating() { Boolean b = (Boolean)SVGAbstractTranscoder.this.hints.get (KEY_XML_PARSER_VALIDATING); if (b != null) return b; return super.isXMLParserValidating(); }
/** * Returns the default font family. */ public String getDefaultFontFamily() { String s = (String)hints.get(KEY_DEFAULT_FONT_FAMILY); if (s != null) return s; return super.getDefaultFontFamily(); }
/** * Returns the pixel to millimeter conversion factor specified in the * <code>TranscodingHints</code> or 0.26458333 if not specified. */ public float getPixelUnitToMillimeter() { Object obj = SVGAbstractTranscoder.this.hints.get (KEY_PIXEL_UNIT_TO_MILLIMETER); if (obj != null) { return (Float) obj; } return super.getPixelUnitToMillimeter(); }
/** * Returns this user agent's CSS media. */ public String getMedia() { String s = (String)hints.get(KEY_MEDIA); if (s != null) return s; return super.getMedia(); }
/** * Returns the default font family. */ public String getDefaultFontFamily() { String s = (String)hints.get(KEY_DEFAULT_FONT_FAMILY); if (s != null) return s; return super.getDefaultFontFamily(); }
/** * Returns the XML parser to use from the TranscodingHints. */ public String getXMLParserClassName() { String s = (String)SVGAbstractTranscoder.this.hints.get (KEY_XML_PARSER_CLASSNAME); if (s != null) return s; return super.getXMLParserClassName(); }
/** * Returns this user agent's alternate style-sheet title. */ public String getAlternateStyleSheet() { String s = (String)hints.get(KEY_ALTERNATE_STYLESHEET); if (s != null) return s; return super.getAlternateStyleSheet(); }
/** * Returns the device resolution that has been set up. * @return the device resolution (in dpi) */ protected float getDeviceResolution() { if (hints.containsKey(KEY_DEVICE_RESOLUTION)) { return (Float) hints.get(KEY_DEVICE_RESOLUTION); } else { return GraphicsConstants.DEFAULT_DPI; } }
/** * Returns the user stylesheet specified in the * <code>TranscodingHints</code> or null if any. */ public String getUserStyleSheetURI() { String s = (String)SVGAbstractTranscoder.this.hints.get (KEY_USER_STYLESHEET_URI); if (s != null) return s; return super.getUserStyleSheetURI(); }
/** * Returns the user language specified in the * <code>TranscodingHints</code> or "en" (english) if any. */ public String getLanguages() { if (SVGAbstractTranscoder.this.hints.containsKey(KEY_LANGUAGE)) { return (String)SVGAbstractTranscoder.this.hints.get (KEY_LANGUAGE); } return super.getLanguages(); }
/** * Returns the user language specified in the * <code>TranscodingHints</code> or "en" (english) if any. */ public String getLanguages() { if (SVGAbstractTranscoder.this.hints.containsKey(KEY_LANGUAGE)) { return (String)SVGAbstractTranscoder.this.hints.get (KEY_LANGUAGE); } return super.getLanguages(); }
/** * Returns the pixel to millimeter conversion factor specified in the * {@link TranscodingHints} or 0.3528 if any. * @return the pixel unit to millimeter factor */ public float getPixelUnitToMillimeter() { Object key = ImageTranscoder.KEY_PIXEL_UNIT_TO_MILLIMETER; if (getTranscodingHints().containsKey(key)) { return (Float) getTranscodingHints().get(key); } else { // return 0.3528f; // 72 dpi return UnitConv.IN2MM / 96; //96dpi = 0.2645833333333333333f; } }