de.uka.ilkd.key.java.recoderext

Class URLDataLocation

java.lang.Object

de.uka.ilkd.key.java.recoderext.URLDataLocation

All Implemented Interfaces:

DataLocation

public class URLDataLocation
extends java.lang.Object
implements DataLocation

This class implements a data location, that describes an arbitrary URL. It is read-only and uses the URL's own stream for reading

Since:

2006-11-02

Author:

mulbrich

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	LOCATION_TYPE_FILE
private java.net.URL	url

Constructor Summary

Constructors

Constructor and Description
URLDataLocation(java.net.URL url)

Method Summary

Modifier and Type	Method and Description
java.io.InputStream	getInputStream() return the URL's input stream
java.io.OutputStream	getOutputStream()
java.io.Reader	getReader()
java.lang.String	getType()
java.io.Writer	getWriter()
boolean	hasReaderSupport()
boolean	hasWriterSupport()
void	inputStreamClosed()
boolean	isWritable()
void	outputStreamClosed()
void	readerClosed()
java.lang.String	toString()
void	writerClosed()

Methods inherited from class java.lang.Object

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

Field Detail

url

private java.net.URL url

LOCATION_TYPE_FILE

public static final java.lang.String LOCATION_TYPE_FILE

See Also:

Constant Field Values

Constructor Detail

URLDataLocation

public URLDataLocation(java.net.URL url)

Method Detail

getInputStream

public java.io.InputStream getInputStream()
                                   throws java.io.IOException

return the URL's input stream

Specified by:

getInputStream in interface DataLocation

Throws:

java.io.IOException

See Also:

DataLocation.getInputStream()

getOutputStream

public java.io.OutputStream getOutputStream()
                                     throws java.io.IOException

Specified by:

getOutputStream in interface DataLocation

Throws:

java.lang.UnsupportedOperationException - always

java.io.IOException

See Also:

DataLocation.getOutputStream()

getWriter

public java.io.Writer getWriter()
                         throws java.io.IOException

Specified by:

getWriter in interface DataLocation

Throws:

java.lang.UnsupportedOperationException - always

java.io.IOException

See Also:

DataLocation.getWriter()

getReader

public java.io.Reader getReader()
                         throws java.io.IOException

Specified by:

getReader in interface DataLocation

Throws:

java.io.IOException

getType

public java.lang.String getType()

Specified by:

getType in interface DataLocation

toString

public java.lang.String toString()

Specified by:

toString in interface DataLocation

Overrides:

toString in class java.lang.Object

hasReaderSupport

public boolean hasReaderSupport()

Specified by:

hasReaderSupport in interface DataLocation

hasWriterSupport

public boolean hasWriterSupport()

Specified by:

hasWriterSupport in interface DataLocation

isWritable

public boolean isWritable()

Specified by:

isWritable in interface DataLocation

inputStreamClosed

public void inputStreamClosed()

Specified by:

inputStreamClosed in interface DataLocation

outputStreamClosed

public void outputStreamClosed()

Specified by:

outputStreamClosed in interface DataLocation

readerClosed

public void readerClosed()

Specified by:

readerClosed in interface DataLocation

writerClosed

public void writerClosed()

Specified by:

writerClosed in interface DataLocation