|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsimulations.core.history.HistoryReader
public class HistoryReader
This class describes the reader of the history of a game
Constructor Summary | |
---|---|
HistoryReader(java.io.File file)
Creates a new instance of HistoryReader |
Method Summary | |
---|---|
void |
close()
close the history file |
java.io.File |
getFile()
Getter for property file. |
int |
getOffset()
Getter for property offset. |
java.lang.String |
next100LinesFrom(int offset)
Return the next 100 lines after offset*100 lines of the game |
java.lang.String |
nextKo()
Return the next Ko of the file |
java.lang.String |
nextLine()
Return the next line of the history file |
java.lang.String |
read()
read the history file |
void |
setFile(java.io.File file)
Setter for property file. |
void |
setOffset(int offset)
Setter for property offset. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public HistoryReader(java.io.File file) throws java.io.FileNotFoundException
file
- the history file
java.io.FileNotFoundException
- if the file doesn't existMethod Detail |
---|
public java.lang.String read() throws java.io.IOException
java.io.IOException
- if the file doesn't existpublic java.lang.String nextLine() throws java.io.IOException
java.io.IOException
- Return an IOException in case of problempublic java.lang.String next100LinesFrom(int offset) throws java.io.IOException
offset
- The offset
java.io.IOException
- Return an IOException in case of problempublic java.lang.String nextKo() throws java.io.IOException
java.io.IOException
- Return an IOException in case of problempublic void close() throws java.io.IOException
java.io.IOException
- Return an IOException in case of problempublic java.io.File getFile()
public void setFile(java.io.File file)
file
- New value of property file.public int getOffset()
public void setOffset(int offset)
offset
- New value of property offset.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |