com.ugos.jiprolog.extensions.io

Class InputStreamInfo

java.lang.Object

com.ugos.jiprolog.extensions.io.StreamInfo

com.ugos.jiprolog.extensions.io.InputStreamInfo

public class InputStreamInfo
extends StreamInfo

Field Summary

Fields inherited from class com.ugos.jiprolog.extensions.io.StreamInfo

properties

Constructor Summary

Constructors

Constructor and Description
InputStreamInfo(String name)
InputStreamInfo(String name, String handle)

Method Summary

Methods

Modifier and Type	Method and Description
int	getLineNumber()
int	getPosition()
boolean	isEOF()

Methods inherited from class com.ugos.jiprolog.extensions.io.StreamInfo

getHandle, getName, getProperties, setHandle, setName

Methods inherited from class java.lang.Object

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

Constructor Detail

InputStreamInfo

public InputStreamInfo(String name,
               String handle)

InputStreamInfo

public InputStreamInfo(String name)

Method Detail

getLineNumber

public int getLineNumber()

getPosition

public int getPosition()

isEOF

public boolean isEOF()
              throws IOException

Throws:

IOException