public interface Source
| Modifier and Type | Method and Description |
|---|---|
String |
getSystemId()
Get the system identifier that was set with setSystemId.
|
void |
setSystemId(String systemId)
Set the system identifier for this Source.
|
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.
systemId - The system identifier as a URL string.String getSystemId()
Generated by SciJava from the sources of OpenJDK 8 (Zulu), which are licensed under the GNU General Public License, version 2, with the Classpath Exception. Java and OpenJDK are trademarks or registered trademarks of Oracle and/or its affiliates.