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.Objectpublic 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