com.tapina.robe.swi.clib.stdio
Class FilePointer

java.lang.Object
  com.tapina.robe.swi.clib.stdio.FilePointer

public abstract class FilePointer

extends java.lang.Object

This class is a representation of a C file pointer.

Field Summary

static FilePointer	stderr
static FilePointer	stdin
static FilePointer	stdout

Constructor Summary

FilePointer()

Method Summary

abstract void	close()
abstract boolean	eof()
static FilePointer	find(int handle) Find a FilePointer object given it's C FILE* handle.
abstract void	flush()
abstract int	getc()
abstract int	getExtent()
int	getHandle() Get the C FILE* handle for the FilePointer.
static FilePointer	getInstance(java.io.InputStream in) Create or find existing FilePointer object representing Java InputStream specified.
static FilePointer	getInstance(java.io.PrintStream out) Create or find existing FilePointer object representing Java PrintStream specified.
static FilePointer	getInstance(java.io.RandomAccessFile file) Create or find existing FilePointer object representing Java InputStream specified.
abstract int	getPosition()
java.lang.String	gets(int maxLength)
abstract void	putc(int c)
abstract void	puts(java.lang.String s)
abstract byte[]	read(int size)
abstract void	setPosition(int position)
abstract void	ungetc(int c)
abstract void	write(byte[] data, int offset, int length)

Methods inherited from class java.lang.Object

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

Field Detail

stdin

public static final FilePointer stdin

stdout

public static final FilePointer stdout

stderr

public static final FilePointer stderr

Constructor Detail

FilePointer

public FilePointer()

Method Detail

find

public static FilePointer find(int handle)

Find a FilePointer object given it's C FILE* handle.

Parameters:

handle - FILE* value from C.

Returns:

Existing FilePointer object.

getInstance

public static FilePointer getInstance(java.io.PrintStream out)

Create or find existing FilePointer object representing Java PrintStream specified.

Parameters:

out - PrintStream for which to return FilePointer.

Returns:

FilePointer object representing PrintStream.

getInstance

public static FilePointer getInstance(java.io.InputStream in)

Create or find existing FilePointer object representing Java InputStream specified.

Parameters:

in - InputStream for which to return FilePointer.

Returns:

FilePointer object representing InputStream.

getInstance

public static FilePointer getInstance(java.io.RandomAccessFile file)

Create or find existing FilePointer object representing Java InputStream specified.

Parameters:

file - RandomAccessFile for which to return FilePointer.

Returns:

FilePointer object representing InputStream.

getHandle

public int getHandle()

Get the C FILE* handle for the FilePointer.

Returns:

int handle for C

write

public abstract void write(byte[] data,
                           int offset,
                           int length)
                    throws java.io.IOException

Throws:

java.io.IOException

puts

public abstract void puts(java.lang.String s)
                   throws java.io.IOException

Throws:

java.io.IOException

putc

public abstract void putc(int c)
                   throws java.io.IOException

Throws:

java.io.IOException

ungetc

public abstract void ungetc(int c)
                     throws java.io.IOException

Throws:

java.io.IOException

getPosition

public abstract int getPosition()
                         throws java.io.IOException

Throws:

java.io.IOException

getExtent

public abstract int getExtent()
                       throws java.io.IOException

Throws:

java.io.IOException

setPosition

public abstract void setPosition(int position)
                          throws java.io.IOException

Throws:

java.io.IOException

eof

public abstract boolean eof()
                     throws java.io.IOException

Throws:

java.io.IOException

close

public abstract void close()
                    throws java.io.IOException

Throws:

java.io.IOException

flush

public abstract void flush()
                    throws java.io.IOException

Throws:

java.io.IOException

read

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

Throws:

java.io.IOException

getc

public abstract int getc()
                  throws java.io.IOException

Throws:

java.io.IOException

gets

public final java.lang.String gets(int maxLength)
                            throws java.io.IOException

Throws:

java.io.IOException