public interface SVGUserAgent
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 |
displayError(java.lang.Exception ex)
Displays an error resulting from the specified Exception.
|
void |
displayError(java.lang.String message)
Displays an error message.
|
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.
|
java.lang.String |
getDefaultFontFamily()
Returns the default font family.
|
ExternalResourceSecurity |
getExternalResourceSecurity(ParsedURL resourceURL,
ParsedURL docURL)
Returns the security settings for the given
resource url and document url
|
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.lang.String |
getUserStyleSheetURI()
Returns the user stylesheet uri.
|
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 |
isXMLParserValidating()
Returns true if the XML parser must be in validation mode, false
otherwise.
|
void |
openLink(java.lang.String uri,
boolean newc)
Opens a link in a new component.
|
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.
|
void displayError(java.lang.String message)
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()
java.lang.String getDefaultFontFamily()
float getMediumFontSize()
float getLighterFontWeight(float f)
float getBolderFontWeight(float f)
java.lang.String getLanguages()
java.lang.String getUserStyleSheetURI()
java.lang.String getXMLParserClassName()
boolean isXMLParserValidating()
java.lang.String getMedia()
java.lang.String getAlternateStyleSheet()
void openLink(java.lang.String uri, boolean newc)
uri
- The document URI.newc
- Whether the link should be activated in a new component.boolean supportExtension(java.lang.String s)
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 script, 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
Copyright © 2022 Apache Software Foundation. All Rights Reserved.