Package org.jline.builtins

Class Source.URLSource

java.lang.Object

org.jline.builtins.Source.URLSource

All Implemented Interfaces:

Source

Enclosing interface:

Source

public static class Source.URLSource
extends Object
implements Source

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(URL url, String name)

Method Summary

Modifier and Type	Method	Description
String	getName()
Long	lines()
InputStream	read()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

URLSource

public URLSource(URL url,
 String name)

Method Details

getName

public String getName()

Specified by:

getName in interface Source

read

public InputStream read()
                 throws IOException

Specified by:

read in interface Source

Throws:

IOException

lines

public Long lines()

Specified by:

lines in interface Source