org.jmlspecs.jml4.compiler
Interface IBatchCompilerExtension

All Known Subinterfaces:

ICompilerExtension

All Known Implementing Classes:

DefaultCompilerExtension, Esc, ESC2Wrapper, EscJava2Wrapper, Fspv, JML2CheckerWrapper, JML2CompilerWrapper, JmlCompilerExtension

public interface IBatchCompilerExtension

Field Summary

static int

ARG_NOT_HANDLED

Method Summary

int	configureArgs(java.lang.String currentArg, java.lang.String[] args, int index, java.util.Map options) This processes command-line arguments for extensions to the compiler.
boolean	handleWarningToken(java.lang.String token, boolean isEnabling, java.util.Map optionsMap)

Field Detail

ARG_NOT_HANDLED

static final int ARG_NOT_HANDLED

See Also:

Constant Field Values

Method Detail

configureArgs

int configureArgs(java.lang.String currentArg,
                  java.lang.String[] args,
                  int index,
                  java.util.Map options)

This processes command-line arguments for extensions to the compiler.

Parameters:

currentArg - The command-line argument currently under consideration

args - The whole list of arguments

index - The location of currentArg in the list

Returns:

ARG_NOT_HANDLED if nothing has been recognized, otherwise i >= index and is the last argument position processed (not one beyond it).

handleWarningToken

boolean handleWarningToken(java.lang.String token,
                           boolean isEnabling,
                           java.util.Map optionsMap)