org.eclipse.tptp.platform.agentcontroller.internal.stream
Class SharedMemoryInputStream

java.lang.Object
  java.io.InputStream
      org.eclipse.tptp.platform.agentcontroller.internal.stream.SharedMemoryInputStream

public class SharedMemoryInputStream

extends java.io.InputStream

Field Summary

protected static int

WAIT_TIME

Constructor Summary

SharedMemoryInputStream(java.lang.String name)
Constructor MyPipedInputStream.

Method Summary

int	available()
void	close()
boolean	hasEmptyBuffer()
protected void	makeClosed()
protected void	makeOpened()
void	mark(int arg0)
boolean	markSupported()
int	read()
int	read(byte[] arg0)
int	read(byte[] outBuf, int offset, int length)
void	reset()
long	skip(long arg0)
void	writeBuf(byte[] buf, int offset, int length) Sets the inBuf.

Methods inherited from class java.lang.Object

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

Field Detail

WAIT_TIME

protected static final int WAIT_TIME

See Also:

Constant Field Values

Constructor Detail

SharedMemoryInputStream

public SharedMemoryInputStream(java.lang.String name)

Constructor MyPipedInputStream.

Method Detail

makeOpened

protected void makeOpened()

available

public int available()
              throws java.io.IOException

Throws:

java.io.IOException

See Also:

InputStream.available()

close

public void close()
           throws java.io.IOException

Throws:

java.io.IOException

hasEmptyBuffer

public boolean hasEmptyBuffer()

mark

public void mark(int arg0)

See Also:

InputStream.mark(int)

markSupported

public boolean markSupported()

See Also:

InputStream.markSupported()

read

public int read()
         throws java.io.IOException

Throws:

java.io.IOException

See Also:

InputStream.read()

read

public int read(byte[] outBuf,
                int offset,
                int length)
         throws java.io.IOException

Throws:

java.io.IOException

See Also:

InputStream.read(byte[], int, int)

read

public int read(byte[] arg0)
         throws java.io.IOException

Throws:

java.io.IOException

See Also:

InputStream.read(byte[])

reset

public void reset()
           throws java.io.IOException

Throws:

java.io.IOException

skip

public long skip(long arg0)
          throws java.io.IOException

Throws:

java.io.IOException

See Also:

InputStream.skip(long)

writeBuf

public void writeBuf(byte[] buf,
                     int offset,
                     int length)

Sets the inBuf.

makeClosed

protected void makeClosed()