sexi.io
Class TreeIO
java.lang.Object
|
+--sexi.io.FileIO
|
+--sexi.io.TreeIO
- public class TreeIO
- extends FileIO
Field Summary |
(package private) static java.lang.String |
CHARACTERISTICS
|
(package private) static int |
charFieldSize
|
(package private) static java.lang.String |
CROWNS
|
(package private) static java.lang.String |
FUNCTIONAL_GROUP
|
(package private) java.lang.String |
h0
|
(package private) java.text.NumberFormat |
numFormatter
|
(package private) static java.lang.String |
TREES
|
(package private) static int |
VER_0
|
(package private) static int |
VER_1
|
(package private) int |
version
|
Methods inherited from class java.lang.Object |
, clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VER_1
static int VER_1
VER_0
static int VER_0
charFieldSize
static int charFieldSize
CHARACTERISTICS
static final java.lang.String CHARACTERISTICS
FUNCTIONAL_GROUP
static final java.lang.String FUNCTIONAL_GROUP
TREES
static final java.lang.String TREES
CROWNS
static final java.lang.String CROWNS
h0
java.lang.String h0
version
int version
numFormatter
java.text.NumberFormat numFormatter
TreeIO
public TreeIO()
setFileHeader
public void setFileHeader(java.lang.String str)
checkHeader
public boolean checkHeader(java.lang.String str)
getObject
public java.lang.Object getObject(java.lang.String str)
writeObjectByFileChooser
public void writeObjectByFileChooser(java.awt.Component parent,
java.util.Collection obj)
throws java.lang.Exception
toString
public java.lang.String toString(java.lang.Object o)
writeObjectToFile
void writeObjectToFile(java.io.File f,
java.lang.Object obj)
- Overrides:
writeObjectToFile
in class FileIO
setNumberFormat
public void setNumberFormat(java.text.NumberFormat n)
getDoubleValue
double getDoubleValue(java.lang.String str)
throws java.text.ParseException
getFloatValue
float getFloatValue(java.lang.String str)
throws java.text.ParseException
getIntValue
int getIntValue(java.lang.String str)
throws java.text.ParseException
finalize
protected void finalize()
- Overrides:
finalize
in class java.lang.Object
getObjectByFileChooser
public java.util.Collection getObjectByFileChooser(java.awt.Component parent)
throws java.lang.Exception
getObject
java.lang.Object getObject(java.io.File f)
- Reads input from file
- Overrides:
getObject
in class FileIO
getSpecSet
java.util.Collection getSpecSet(java.io.LineNumberReader lineIn)
writeObjectToFile__Old
public void writeObjectToFile__Old(java.io.File f,
java.util.Collection obj)
writeObjectToFile
public void writeObjectToFile(java.io.File f,
java.util.Collection obj)
treeToString
java.lang.String treeToString(Tree t)