public static class BrightStarCatalog.Grep extends Object
| Constructor and Description |
|---|
Grep() |
| Modifier and Type | Method and Description |
|---|---|
static void |
main(String[] arg)
First command is the serialized catalog, second the list of the star
name to retrieve.
|
public static void main(String[] arg) throws IOException, ClassNotFoundException
arg - ClassNotFoundExceptionIOException