org.jmlspecs.jml4.rac
Class Main

java.lang.Object
  org.eclipse.jdt.internal.compiler.batch.Main
      org.jmlspecs.jml4.rac.Main

All Implemented Interfaces:

ProblemSeverities, SuffixConstants

public class Main
extends Main

Command-line interface to the JML RAC compiler. This class provides a command-line interface to the JML RAC compiler and is a subclass of a similarly named class for the Eclipse batch compiler.

Author:

Yoonsik Cheon

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.jdt.internal.compiler.batch.Main

Main.Logger, Main.ResourceBundleFactory

Field Summary

Fields inherited from class org.eclipse.jdt.internal.compiler.batch.Main

batchCompiler, bundle, bundleName, classNames, compilerLocale, compilerOptions, compilerStats, currentRepetition, DEFAULT_SIZE_CLASSPATH, destinationPath, destinationPaths, encodings, exportedClassFilesCounter, filenames, globalErrorsCount, globalProblemsCount, globalTasksCount, globalWarningsCount, lineCount0, log, logger, maxProblems, maxRepetition, NONE, options, pendingErrors, proceed, proceedOnError, produceRefInfo, progress, showProgress, startTime, systemExitWhenFinished, timing, TIMING_DETAILED, TIMING_DISABLED, TIMING_ENABLED, verbose

Fields inherited from interface org.eclipse.jdt.internal.compiler.problem.ProblemSeverities

Abort, AbortCompilation, AbortCompilationUnit, AbortMethod, AbortType, Error, Fatal, Ignore, Optional, SecondaryError, Warning

Fields inherited from interface org.eclipse.jdt.internal.compiler.util.SuffixConstants

EXTENSION_class, EXTENSION_CLASS, EXTENSION_java, EXTENSION_JAVA, SUFFIX_class, SUFFIX_CLASS, SUFFIX_java, SUFFIX_JAVA, SUFFIX_STRING_class, SUFFIX_STRING_CLASS, SUFFIX_STRING_java, SUFFIX_STRING_JAVA

Constructor Summary

Main(java.io.PrintWriter outWriter, java.io.PrintWriter errWriter, boolean systemExitWhenFinished, java.util.Map<?,?> customDefaultOptions, CompilationProgress compilationProgress)
Creates a new instance.

Method Summary

void	configure(java.lang.String[] argv) Decodes command line arguments.
static void	main(java.lang.String[] argv) Provides an entry point to the command-line JML RAC compiler.

Methods inherited from class org.eclipse.jdt.internal.compiler.batch.Main

addExtraProblems, bind, bind, bind, bind, compile, compile, compile, compile, extractDestinationPathFromSourceFile, getBatchRequestor, getCompilationUnits, getHandlingPolicy, getJavaHome, getLibrariesFiles, getLibraryAccess, getProblemFactory, outputClassFiles, performCompilation, printUsage, processPathEntries, relocalize, setDestinationPath, setLocale, tokenize

Methods inherited from class java.lang.Object

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

Constructor Detail

Main

public Main(java.io.PrintWriter outWriter,
            java.io.PrintWriter errWriter,
            boolean systemExitWhenFinished,
            java.util.Map<?,?> customDefaultOptions,
            CompilationProgress compilationProgress)

Creates a new instance.

Method Detail

main

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

Provides an entry point to the command-line JML RAC compiler.

configure

public void configure(java.lang.String[] argv)
               throws InvalidInputException

Decodes command line arguments. This method is overridden here to parse RAC-specific options.

Overrides:

configure in class Main

Throws:

InvalidInputException