| java.lang.Object edu.rice.cs.drjava.IndentFiles
IndentFiles | public class IndentFiles (Code) | | 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 4255 2007-08-28 19:17:37Z mgricken $ |
Method Summary | |
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. | public static void | main(String[] args) Command line interface to the indenter. |
indentFiles | public static void indentFiles(Vector<String> fileNames, int indentLevel, boolean silent)(Code) | | 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 Parameters: indentLevel - The number of spaces to use for a level of indentation Parameters: silent - Whether to print any output to System.out |
main | public static void main(String[] args)(Code) | | 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 |
|
|