public class PullSource
extends java.lang.Object
implements javax.xml.transform.Source
| Constructor and Description |
|---|
PullSource(PullProvider provider)
Create a PullSource based on a supplied PullProvider
|
| Modifier and Type | Method and Description |
|---|---|
PullProvider |
getPullProvider()
Get the PullProvider
|
java.lang.String |
getSystemId()
Get the system identifier that was set with setSystemId.
|
void |
setSystemId(java.lang.String systemId)
Set the system identifier for this Source.
|
public PullSource(PullProvider provider)
provider - the underlying PullProviderpublic PullProvider getPullProvider()
public void setSystemId(java.lang.String systemId)
The system identifier is optional if the source does not get its data from a URL, but it may still be useful to provide one. The application can use a system identifier, for example, to resolve relative URIs and to include in error messages and warnings.
setSystemId in interface javax.xml.transform.SourcesystemId - The system identifier as a URL string.public java.lang.String getSystemId()
getSystemId in interface javax.xml.transform.SourceCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.