public class MirageFormatter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.io.PrintStream |
strm |
Constructor and Description |
---|
MirageFormatter(java.io.PrintStream strm)
Constructs a new formatter which will write to a given stream.
|
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Writes a table to standard output in Mirage format.
|
java.lang.String |
toString() |
void |
writeMirageFormat(StarTable table)
Writes a StarTable to a stream in Mirage format.
|
public MirageFormatter(java.io.PrintStream strm)
strm
- the stream into which mirage format tables will be
writtenpublic void writeMirageFormat(StarTable table) throws java.io.IOException
table
- a StarTable object to writejava.io.IOException
- if there is a write errorpublic java.lang.String toString()
toString
in class java.lang.Object
public static void main(java.lang.String[] args) throws java.io.IOException
args
- a 1-element array giving the location of the
table to printjava.io.IOException