public class PullEventSource extends Object implements Source
Constructor and Description |
---|
PullEventSource(EventIterator provider)
Create a PullSource based on a supplied EventIterator
|
Modifier and Type | Method and Description |
---|---|
EventIterator |
getEventIterator()
Get the EventIterator
|
String |
getSystemId()
Get the system identifier that was set with setSystemId.
|
void |
setSystemId(String systemId)
Set the system identifier for this Source.
|
public PullEventSource(EventIterator provider)
provider
- the underlying EventIteratorpublic EventIterator getEventIterator()
public void setSystemId(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 Source
systemId
- The system identifier as a URL string.public String getSystemId()
getSystemId
in interface Source
Copyright (c) 2004-2013 Saxonica Limited. All rights reserved.