Package org.jline.builtins
Class Source.URLSource
java.lang.Object
org.jline.builtins.Source.URLSource
- All Implemented Interfaces:
Source
- Enclosing interface:
Source
A Source implementation that reads from a URL.
-
Nested Class Summary
Nested classes/interfaces inherited from interface org.jline.builtins.Source
Source.InputStreamSource, Source.PathSource, Source.ResourceSource, Source.StdInSource, Source.URLSource
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
URLSource
-
-
Method Details
-
getName
Description copied from interface:Source
Gets the name of this source. -
read
Description copied from interface:Source
Opens a stream to read the content of this source.- Specified by:
read
in interfaceSource
- Returns:
- an input stream for reading the source content
- Throws:
IOException
- if an I/O error occurs
-
lines
Description copied from interface:Source
Gets the number of lines in this source, if known.
-