|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.millscript.millscript.Source
org.millscript.millscript.URLSource
public class URLSource
This class represents a URL as a source of information.
| Constructor Summary | |
|---|---|
URLSource(java.net.URL u)
Constructs a new URL source for the specified URL. |
|
| Method Summary | |
|---|---|
java.io.InputStream |
getInputStream()
Returns an InputStream to read bytes from this source. |
java.lang.String |
getOrigin()
Returns this sources origin. |
java.net.URL |
getOriginURL()
Returns a URL for the sources origin. |
| Methods inherited from class org.millscript.millscript.Source |
|---|
getReader |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public URLSource(java.net.URL u)
u - the source URL| Method Detail |
|---|
public final java.io.InputStream getInputStream()
Source
getInputStream in class SourceSource.getInputStream()public final java.lang.String getOrigin()
Source
getOrigin in class SourceSource.getOrigin()public java.net.URL getOriginURL()
Source
getOriginURL in class SourceSource.getOriginURL()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||