de.uka.ilkd.key.util

Class SpecDataLocation

java.lang.Object

de.uka.ilkd.key.util.SpecDataLocation

All Implemented Interfaces:

DataLocation

public class SpecDataLocation
extends java.lang.Object
implements DataLocation

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
SpecDataLocation(java.lang.String type, java.lang.String location)

Method Summary

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

UNKNOWN_LOCATION

public static final DataLocation UNKNOWN_LOCATION

type

java.lang.String type

location

java.lang.String location

Constructor Detail

SpecDataLocation

public SpecDataLocation(java.lang.String type,
                        java.lang.String location)

Method Detail

getInputStream

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

Specified by:

getInputStream in interface DataLocation

Throws:

java.io.IOException

getOutputStream

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

Specified by:

getOutputStream in interface DataLocation

Throws:

java.io.IOException

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

getWriter

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

Specified by:

getWriter in interface DataLocation

Throws:

java.io.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 java.lang.String toString()

Specified by:

toString in interface DataLocation

Overrides:

toString in class java.lang.Object