Package org.jline.builtins
Class Source.URLSource
- java.lang.Object
-
- org.jline.builtins.Source.URLSource
-
-
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 Constructor Description URLSource(java.net.URL url, java.lang.String name)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getName()
Gets the name of this source.java.lang.Long
lines()
Gets the number of lines in this source, if known.java.io.InputStream
read()
Opens a stream to read the content of this source.
-