futils
Class Futil

java.lang.Object
  |
  +--futils.Futil

public final class Futil

extends java.lang.Object

Method Summary

static int	available(java.io.File file)
static void	close(java.io.FileWriter fw)
static void	closeInputStream(java.io.InputStream is)
static void	filterFileHrefs()
static java.lang.String	FilterFileNameBug(java.lang.String fname)
static void	filterHtmls()
static java.io.File	getDirFile()
static java.io.FileInputStream	getFileInputStream()
static java.io.FileInputStream	getFileInputStream(java.io.File file)
static java.io.FileInputStream	getFileInputStream(java.lang.String name)
static java.io.FileWriter	getFileWriter()
static java.io.File	getReadFile()
static java.lang.String	getReadFileName()
static java.lang.String	getWriteDirectoryName()
static java.io.File	getWriteFile()
static java.lang.String	getWriteFileName()
static java.io.FileOutputStream	getWriteFileOutputStream()
static void	list_filtered_href_file(java.lang.String file)
void	lowerFileNames(java.io.File thePath)
static void	lsWordPrintMerge()
static void	main(java.lang.String[] args)
static void	makeTocHtml()
static void	processJava()
static void	readDataFile(java.lang.String file, double[] data)
static void	writeFilteredHrefFile(java.lang.String inputName, java.lang.String outputName)
static void	writeFilteredJavaFile()

Methods inherited from class java.lang.Object

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

Method Detail

available

public static int available(java.io.File file)

close

public static void close(java.io.FileWriter fw)

closeInputStream

public static void closeInputStream(java.io.InputStream is)

filterFileHrefs

public static void filterFileHrefs()

FilterFileNameBug

public static java.lang.String FilterFileNameBug(java.lang.String fname)

filterHtmls

public static void filterHtmls()

getDirFile

public static java.io.File getDirFile()

getFileInputStream

public static java.io.FileInputStream getFileInputStream()

getFileInputStream

public static java.io.FileInputStream getFileInputStream(java.io.File file)

getFileInputStream

public static java.io.FileInputStream getFileInputStream(java.lang.String name)

getFileWriter

public static java.io.FileWriter getFileWriter()

getReadFile

public static java.io.File getReadFile()

getReadFileName

public static java.lang.String getReadFileName()

getWriteDirectoryName

public static java.lang.String getWriteDirectoryName()

getWriteFile

public static java.io.File getWriteFile()

getWriteFileName

public static java.lang.String getWriteFileName()

getWriteFileOutputStream

public static java.io.FileOutputStream getWriteFileOutputStream()

list_filtered_href_file

public static void list_filtered_href_file(java.lang.String file)

lowerFileNames

public void lowerFileNames(java.io.File thePath)

lsWordPrintMerge

public static void lsWordPrintMerge()

main

public static void main(java.lang.String[] args)

makeTocHtml

public static void makeTocHtml()

processJava

public static void processJava()

readDataFile

public static void readDataFile(java.lang.String file,
                                double[] data)

writeFilteredHrefFile

public static void writeFilteredHrefFile(java.lang.String inputName,
                                         java.lang.String outputName)

writeFilteredJavaFile

public static void writeFilteredJavaFile()