TPTP 4.2.0 Platform Project
Internal API Specification

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

java.lang.Object
  extended byjava.io.InputStream
      extended byorg.eclipse.tptp.platform.agentcontroller.internal.stream.SharedMemoryCircularBufferInputStream

public class SharedMemoryCircularBufferInputStream
extends java.io.InputStream


Constructor Summary
SharedMemoryCircularBufferInputStream(java.lang.String name)
           
 
Method Summary
 int available()
           
 void close()
           
 void mark(int readlimit)
           
 boolean markSupported()
           
 int read()
           
 int read(byte[] b)
           
 int read(byte[] b, int off, int len)
           
 void reset()
           
 long skip(long n)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SharedMemoryCircularBufferInputStream

public SharedMemoryCircularBufferInputStream(java.lang.String name)
Method Detail

available

public int available()

close

public void close()

mark

public void mark(int readlimit)

markSupported

public boolean markSupported()

read

public int read()
         throws java.io.IOException
Throws:
java.io.IOException

read

public int read(byte[] b)
         throws java.io.IOException
Throws:
java.io.IOException

read

public int read(byte[] b,
                int off,
                int len)
         throws java.io.IOException
Throws:
java.io.IOException

reset

public void reset()

skip

public long skip(long n)

TPTP 4.2.0 Platform Project
Internal API Specification