public interface UserAgent
Modifier and Type | Method and Description |
---|---|
void |
checkLoadExternalResource(ParsedURL resourceURL,
ParsedURL docURL)
This method throws a SecurityException if the resource
found at url and referenced from docURL
should not be loaded.
|
void |
checkLoadScript(java.lang.String scriptType,
ParsedURL scriptURL,
ParsedURL docURL)
This method throws a SecurityException if the script
of given type, found at url and referenced from docURL
should not be loaded.
|
void |
deselectAll()
Informs the user agent that the text selection should be cleared.
|
void |
displayError(java.lang.Exception ex)
Displays an error resulting from the specified Exception.
|
void |
displayMessage(java.lang.String message)
Displays a message in the User Agent interface.
|
java.lang.String |
getAlternateStyleSheet()
Returns this user agent's alternate style-sheet title.
|
float |
getBolderFontWeight(float f)
Returns a bolder font-weight.
|
org.w3c.dom.svg.SVGDocument |
getBrokenLinkDocument(Element e,
java.lang.String url,
java.lang.String message)
This method should return an image to be displayed when an image
can't be loaded.
|
java.awt.Point |
getClientAreaLocationOnScreen()
Returns the location on the screen of the
client area in the UserAgent.
|
java.lang.String |
getDefaultFontFamily()
Returns the default font family.
|
EventDispatcher |
getEventDispatcher()
Returns the event dispatcher to use.
|
ExternalResourceSecurity |
getExternalResourceSecurity(ParsedURL resourceURL,
ParsedURL docURL)
Returns the security settings for the given resource
url and document url
|
FontFamilyResolver |
getFontFamilyResolver()
Returns the Font Family Resolver
|
java.lang.String |
getLanguages()
Returns the language settings.
|
float |
getLighterFontWeight(float f)
Returns a lighter font-weight.
|
java.lang.String |
getMedia()
Returns this user agent's CSS media.
|
float |
getMediumFontSize()
Returns the medium font size.
|
float |
getPixelToMM()
Returns the size of a px CSS unit in millimeters.
|
float |
getPixelUnitToMillimeter()
Returns the size of a px CSS unit in millimeters.
|
ScriptSecurity |
getScriptSecurity(java.lang.String scriptType,
ParsedURL scriptURL,
ParsedURL docURL)
Returns the security settings for the given script
type, script url and document url
|
java.awt.geom.AffineTransform |
getTransform()
Returns the
AffineTransform currently
applied to the drawing by the UserAgent. |
java.lang.String |
getUserStyleSheetURI()
Returns the user stylesheet uri.
|
java.awt.geom.Dimension2D |
getViewportSize()
Returns the default size of the viewport.
|
java.lang.String |
getXMLParserClassName()
Returns the class name of the XML parser.
|
void |
handleElement(Element elt,
java.lang.Object data)
Notifies the UserAgent that the input element
has been found in the document.
|
boolean |
hasFeature(java.lang.String s)
Tells whether the given feature is supported by this
user agent.
|
boolean |
isXMLParserValidating()
Returns true if the XML parser must be in validation mode, false
otherwise.
|
void |
loadDocument(java.lang.String url)
This method should load a new document described by the supplied URL.
|
void |
openLink(org.w3c.dom.svg.SVGAElement elt)
Opens a link.
|
void |
registerExtension(BridgeExtension ext)
Lets the bridge tell the user agent that the following
extension is supported by the bridge.
|
void |
setSVGCursor(java.awt.Cursor cursor)
Informs the user agent to change the cursor.
|
void |
setTextSelection(Mark start,
Mark end)
Informs the user agent that the text selection has changed.
|
void |
setTransform(java.awt.geom.AffineTransform at)
Sets the
AffineTransform currently
applied to the drawing by the UserAgent. |
void |
showAlert(java.lang.String message)
Shows an alert dialog box.
|
boolean |
showConfirm(java.lang.String message)
Shows a confirm dialog box.
|
java.lang.String |
showPrompt(java.lang.String message)
Shows a prompt dialog box.
|
java.lang.String |
showPrompt(java.lang.String message,
java.lang.String defaultValue)
Shows a prompt dialog box.
|
boolean |
supportExtension(java.lang.String s)
Tells whether the given extension is supported by this
user agent.
|
EventDispatcher getEventDispatcher()
java.awt.geom.Dimension2D getViewportSize()
void displayError(java.lang.Exception ex)
void displayMessage(java.lang.String message)
void showAlert(java.lang.String message)
java.lang.String showPrompt(java.lang.String message)
java.lang.String showPrompt(java.lang.String message, java.lang.String defaultValue)
boolean showConfirm(java.lang.String message)
float getPixelUnitToMillimeter()
float getPixelToMM()
getPixelUnitToMillimeter()
float getMediumFontSize()
float getLighterFontWeight(float f)
float getBolderFontWeight(float f)
java.lang.String getDefaultFontFamily()
java.lang.String getLanguages()
java.lang.String getUserStyleSheetURI()
void openLink(org.w3c.dom.svg.SVGAElement elt)
elt
- The activated link element.void setSVGCursor(java.awt.Cursor cursor)
cursor
- the new cursorvoid setTextSelection(Mark start, Mark end)
start
- The Mark for the start of the selection.end
- The Mark for the end of the selection.void deselectAll()
java.lang.String getXMLParserClassName()
boolean isXMLParserValidating()
java.awt.geom.AffineTransform getTransform()
AffineTransform
currently
applied to the drawing by the UserAgent.void setTransform(java.awt.geom.AffineTransform at)
AffineTransform
currently
applied to the drawing by the UserAgent.java.lang.String getMedia()
java.lang.String getAlternateStyleSheet()
java.awt.Point getClientAreaLocationOnScreen()
boolean hasFeature(java.lang.String s)
boolean supportExtension(java.lang.String s)
void registerExtension(BridgeExtension ext)
void handleElement(Element elt, java.lang.Object data)
ScriptSecurity getScriptSecurity(java.lang.String scriptType, ParsedURL scriptURL, ParsedURL docURL)
scriptType
- type of script, as found in the
type attribute of the <script> element.scriptURL
- url for the script, as defined in
the script's xlink:href attribute. If that
attribute was empty, then this parameter should
be nulldocURL
- url for the document into which the
script was found.void checkLoadScript(java.lang.String scriptType, ParsedURL scriptURL, ParsedURL docURL) throws java.lang.SecurityException
scriptType
- type of script, as found in the
type attribute of the <script> element.scriptURL
- url for the script, as defined in
the script's xlink:href attribute. If that
attribute was empty, then this parameter should
be nulldocURL
- url for the document into which the
script was found.java.lang.SecurityException
ExternalResourceSecurity getExternalResourceSecurity(ParsedURL resourceURL, ParsedURL docURL)
resourceURL
- url for the resource, as defined in
the resource's xlink:href attribute. If that
attribute was empty, then this parameter should
be nulldocURL
- url for the document into which the
resource was found.void checkLoadExternalResource(ParsedURL resourceURL, ParsedURL docURL) throws java.lang.SecurityException
resourceURL
- url for the resource, as defined in
the resource's xlink:href attribute. If that
attribute was empty, then this parameter should
be nulldocURL
- url for the document into which the
resource was found.java.lang.SecurityException
org.w3c.dom.svg.SVGDocument getBrokenLinkDocument(Element e, java.lang.String url, java.lang.String message)
e
- The <image> element that can't be loaded.url
- The resolved url that can't be loaded.message
- As best as can be determined the reason it can't be
loaded (not available, corrupt, unknown format, ...).void loadDocument(java.lang.String url)
url
- The url to be loaded as a string.FontFamilyResolver getFontFamilyResolver()
Copyright © 2022 Apache Software Foundation. All Rights Reserved.