|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsimulations.core.history.HistoryWriter
public class HistoryWriter
This class describes the writer of a history file
Constructor Summary | |
---|---|
HistoryWriter(java.io.File file,
int traceLevel)
Creates a new instance of HistoryWriter |
Method Summary | |
---|---|
void |
close()
close the fileWriter |
java.io.File |
getFile()
Getter for property file. |
int |
getTraceLevel()
Getter for property traceLevel. |
void |
setFile(java.io.File file)
Setter for property file. |
void |
setTraceLevel(int traceLevel)
Setter for property traceLevel. |
void |
write(java.lang.String text)
Write a string in the history file with the fileWriter |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public HistoryWriter(java.io.File file, int traceLevel) throws java.io.IOException
traceLevel
- The trace levelfile
- The history file
java.io.IOException
- if an IO error occursMethod Detail |
---|
public void write(java.lang.String text) throws java.io.IOException
text
- The text to write
java.io.IOException
- if an IO error occurspublic void close() throws java.io.IOException
java.io.IOException
- if an IO error occurspublic java.io.File getFile()
public void setFile(java.io.File file)
file
- New value of property file.public int getTraceLevel()
public void setTraceLevel(int traceLevel)
traceLevel
- New value of property traceLevel.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |