casa.io.tools

Class DumpIndex

java.lang.Object

casa.io.tools.DumpIndex

public class DumpIndex
extends Object

DumpIndex prints out the contents of a CASA file index.

usage: java casa.io.tools.DumpIndex []
if file name is not included, then the default file name is used.

Copyright: Copyright 2003-2014, Knowledge Science Group, University of Calgary. Permission to use, copy, modify, distribute and sell this software and its documentation for any purpose is hereby granted without fee, provided that the above copyright notice appear in all copies and that both that copyright notice and this permission notice appear in supporting documentation. The Knowledge Science Group makes no representations about the suitability of this software for any purpose. It is provided "as is" without express or implied warranty.

Version:

0.9

Author:

Rob Kremer

Constructor Summary

Constructors

Constructor and Description
DumpIndex()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DumpIndex

public DumpIndex()

Method Detail

main

public static void main(String[] args)