FileDocCategorySizeDatePackage
Undent.javaAPI DocExample1306Sun Feb 08 17:57:10 GMT 2004None

Undent

public class Undent extends Object
Undent - remove leading spaces
author
Ian F. Darwin, http://www.darwinsys.com/
version
$Id: Undent.java,v 1.5 2004/02/08 23:57:09 ian Exp $

Fields Summary
int
nSpaces
the default number of spaces to remove.
Constructors Summary
Methods Summary
public static voidmain(java.lang.String[] av)

	//-

         
        Undent c = new Undent();
        if (av.length == 0)
            c.process(new BufferedReader(
				new InputStreamReader(System.in)));
		else for (int i=0; i<av.length; i++) {
			try {
				c.process(new BufferedReader(new FileReader(av[i])));
			} catch (FileNotFoundException e) {
				System.err.println(e);
			}
        }
public voidprocess(java.io.BufferedReader is)
undent one file, given an open BufferedReader. Undent by removing UP TO "nSpaces" leading spaces.

		//+
		// GRRR THIS DOES NOT QUITE WORK - FIX -- Ian
        try {
            String inputLine;

            while ((inputLine = is.readLine()) != null) {
				int i;
				for (i=0; i<nSpaces; i++) {
					if (!Character.isWhitespace(inputLine.charAt(i)))
						break;
				}
                System.out.println(inputLine.substring(i));
            }
            is.close();
		//-
        } catch (IOException e) {
            System.out.println("IOException: " + e);
        }