com.ugos.jiprolog.extensions.io

Class JIPio

java.lang.Object

com.ugos.jiprolog.extensions.io.JIPio

public final class JIPio
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	ERR_DIRECTORY_NOT_CREATED
static int	ERR_FILE_NOT_DELETED
static int	ERR_FILE_NOT_RENAMED
static int	ERR_INVALID_HANDLE
static int	ERR_IOEXCEPTION
static int	ERR_USER_STREAM
static Hashtable<String,InputStreamInfo>	itable
static Hashtable<String,OutputStreamInfo>	otable
static String	STR_DIRECTORY_NOT_CREATED
static String	STR_FILE_NOT_DELETED
static String	STR_FILE_NOT_RENAMED
static String	STR_INVALID_HANDLE
static String	STR_USER_STREAM

Constructor Summary

Constructors

Constructor and Description
JIPio()

Method Summary

Methods

Modifier and Type	Method and Description
static void	closeInputStream(String strHandle)
static void	closeOutputStream(String strHandle)
static Enumeration<String>	getInputHandles()
static PushBackInputStream	getInputStream(String strHandle, JIPEngine engine)
static Enumeration<String>	getOutputHandles()
static OutputStream	getOutputStream(String strHandle, JIPEngine engine)
static StreamInfo	getStreamInfo(String handle)
static String	getStreamName(String handle)
static Enumeration	getTermEnumeration(String strHandle, JIPEngine engine)
static void	init(JIPEngine engine)
static String	openInputStream(String strPath, String strHandle, JIPEngine engine)
static String	openOutputStream(String strPath, String strHandle, boolean bAppend, JIPEngine engine)

Methods inherited from class java.lang.Object

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

Field Detail

ERR_IOEXCEPTION

public static final int ERR_IOEXCEPTION

See Also:

Constant Field Values

ERR_INVALID_HANDLE

public static final int ERR_INVALID_HANDLE

See Also:

Constant Field Values

STR_INVALID_HANDLE

public static final String STR_INVALID_HANDLE

See Also:

Constant Field Values

ERR_FILE_NOT_DELETED

public static final int ERR_FILE_NOT_DELETED

See Also:

Constant Field Values

STR_FILE_NOT_DELETED

public static final String STR_FILE_NOT_DELETED

See Also:

Constant Field Values

ERR_FILE_NOT_RENAMED

public static final int ERR_FILE_NOT_RENAMED

See Also:

Constant Field Values

STR_FILE_NOT_RENAMED

public static final String STR_FILE_NOT_RENAMED

See Also:

Constant Field Values

ERR_DIRECTORY_NOT_CREATED

public static final int ERR_DIRECTORY_NOT_CREATED

See Also:

Constant Field Values

STR_DIRECTORY_NOT_CREATED

public static final String STR_DIRECTORY_NOT_CREATED

See Also:

Constant Field Values

ERR_USER_STREAM

public static final int ERR_USER_STREAM

See Also:

Constant Field Values

STR_USER_STREAM

public static final String STR_USER_STREAM

See Also:

Constant Field Values

itable

public static Hashtable<String,InputStreamInfo> itable

otable

public static Hashtable<String,OutputStreamInfo> otable

Constructor Detail

JIPio

public JIPio()

Method Detail

init

public static void init(JIPEngine engine)

getInputHandles

public static Enumeration<String> getInputHandles()

getOutputHandles

public static Enumeration<String> getOutputHandles()

openInputStream

public static final String openInputStream(String strPath,
                     String strHandle,
                     JIPEngine engine)
                                    throws IOException

Throws:

IOException

openOutputStream

public static final String openOutputStream(String strPath,
                      String strHandle,
                      boolean bAppend,
                      JIPEngine engine)
                                     throws IOException

Throws:

IOException

getTermEnumeration

public static final Enumeration getTermEnumeration(String strHandle,
                             JIPEngine engine)

getInputStream

public static final PushBackInputStream getInputStream(String strHandle,
                                 JIPEngine engine)

getOutputStream

public static OutputStream getOutputStream(String strHandle,
                           JIPEngine engine)

getStreamInfo

public static StreamInfo getStreamInfo(String handle)

getStreamName

public static String getStreamName(String handle)

closeInputStream

public static void closeInputStream(String strHandle)
                             throws IOException

Throws:

IOException

closeOutputStream

public static void closeOutputStream(String strHandle)
                              throws IOException

Throws:

IOException