edu.rice.cs.drjava
Class IndentFiles

java.lang.Object
  edu.rice.cs.drjava.IndentFiles

public class IndentFiles
extends Object

Allows users to pass filenames to a command-line indenter. Unfortunately, this uses the Swing API (high overhead), but we attempt to run the indentation in "headless AWT" mode to prevent a Java icon from showing up on the OS X dock.

Version:

$Id: IndentFiles.java 4618 2008-07-28 21:53:19Z rcartwright $

Constructor Summary

IndentFiles()

Method Summary

static void	indentFiles(Vector<String> fileNames, int indentLevel, boolean silent) Applies the indent logic to each file in the list of file names, saving the new copy of each one.
static void	main(String[] args) Command line interface to the indenter.

Methods inherited from class java.lang.Object

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

Constructor Detail

IndentFiles

public IndentFiles()

Method Detail

main

public static void main(String[] args)

Command line interface to the indenter. Usage: java edu.rice.cs.drjava.IndentFile [-indent N] [filenames] Where N is the number of spaces in an indentation level

Parameters:

args - Command line arguments

indentFiles

public static void indentFiles(Vector<String> fileNames,
                               int indentLevel,
                               boolean silent)

Applies the indent logic to each file in the list of file names, saving the new copy of each one.

Parameters:

fileNames - Vector of filenames of files to be indented

indentLevel - The number of spaces to use for a level of indentation

silent - Whether to print any output to System.out