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 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 String	LOCATION_TYPE_FILE
private URL	url

Constructor Summary

Constructors

Constructor and Description
URLDataLocation(URL url)

Method Summary

Modifier and Type	Method and Description
InputStream	getInputStream() return the URL's input stream
OutputStream	getOutputStream()
Reader	getReader()
String	getType()
Writer	getWriter()
boolean	hasReaderSupport()
boolean	hasWriterSupport()
void	inputStreamClosed()
boolean	isWritable()
void	outputStreamClosed()
void	readerClosed()
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 URL url

LOCATION_TYPE_FILE

public static final String LOCATION_TYPE_FILE

See Also:

Constant Field Values

Constructor Detail

URLDataLocation

public URLDataLocation(URL url)

Method Detail

getInputStream

public InputStream getInputStream()
                           throws IOException

return the URL's input stream

Specified by:

getInputStream in interface DataLocation

Throws:

IOException

See Also:

DataLocation.getInputStream()

getOutputStream

public OutputStream getOutputStream()
                             throws IOException

Specified by:

getOutputStream in interface DataLocation

Throws:

UnsupportedOperationException - always

IOException

See Also:

DataLocation.getOutputStream()

getWriter

public Writer getWriter()
                 throws IOException

Specified by:

getWriter in interface DataLocation

Throws:

UnsupportedOperationException - always

IOException

See Also:

DataLocation.getWriter()

getReader

public Reader getReader()
                 throws IOException

Specified by:

getReader in interface DataLocation

Throws:

IOException

getType

public String getType()

Specified by:

getType in interface DataLocation

toString

public String toString()

Specified by:

toString in interface DataLocation

Overrides:

toString in class 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