de.uka.ilkd.key.util

Class SpecDataLocation

java.lang.Object

de.uka.ilkd.key.util.SpecDataLocation

All Implemented Interfaces:

DataLocation

public class SpecDataLocation
extends Object
implements DataLocation

Field Summary

Fields

Modifier and Type	Field and Description
(package private) String	location
(package private) String	type
static DataLocation	UNKNOWN_LOCATION

Constructor Summary

Constructors

Constructor and Description
SpecDataLocation(String type, String location)

Method Summary

Modifier and Type	Method and Description
InputStream	getInputStream()
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

UNKNOWN_LOCATION

public static final DataLocation UNKNOWN_LOCATION

type

String type

location

String location

Constructor Detail

SpecDataLocation

public SpecDataLocation(String type,
                        String location)

Method Detail

getInputStream

public InputStream getInputStream()
                           throws IOException

Specified by:

getInputStream in interface DataLocation

Throws:

IOException

getOutputStream

public OutputStream getOutputStream()
                             throws IOException

Specified by:

getOutputStream in interface DataLocation

Throws:

IOException

getReader

public Reader getReader()
                 throws IOException

Specified by:

getReader in interface DataLocation

Throws:

IOException

getType

public String getType()

Specified by:

getType in interface DataLocation

getWriter

public Writer getWriter()
                 throws IOException

Specified by:

getWriter in interface DataLocation

Throws:

IOException

hasReaderSupport

public boolean hasReaderSupport()

Specified by:

hasReaderSupport in interface DataLocation

hasWriterSupport

public boolean hasWriterSupport()

Specified by:

hasWriterSupport in interface DataLocation

inputStreamClosed

public void inputStreamClosed()

Specified by:

inputStreamClosed in interface DataLocation

isWritable

public boolean isWritable()

Specified by:

isWritable 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

toString

public String toString()

Specified by:

toString in interface DataLocation

Overrides:

toString in class Object