org.jmlspecs.eclipse.jdt.internal.esc2
Class ESC2Wrapper

java.lang.Object
  org.jmlspecs.jml4.compiler.DefaultCompilerExtension
      org.jmlspecs.eclipse.jdt.internal.esc2.ESC2Wrapper

All Implemented Interfaces:

IBatchCompilerExtension, ICompilerExtension

Direct Known Subclasses:

EscJava2Wrapper

public class ESC2Wrapper
extends DefaultCompilerExtension

Field Summary

Fields inherited from interface org.jmlspecs.jml4.compiler.IBatchCompilerExtension

ARG_NOT_HANDLED

Constructor Summary

ESC2Wrapper()

Method Summary

int	configureArgs(java.lang.String currentArg, java.lang.String[] args1, int index, java.util.Map options) This processes command-line arguments for extensions to the compiler.
void	getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
java.lang.String	name()
void	optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	preCodeGeneration(Compiler compiler, CompilationUnitDeclaration unit)
void	setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

Methods inherited from class org.jmlspecs.jml4.compiler.DefaultCompilerExtension

handleWarningToken, initCompilerOptions, optionKeyFromIrritant, warningTokenFromIrritant, warningTokenToIrritant

Methods inherited from class java.lang.Object

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

Constructor Detail

ESC2Wrapper

public ESC2Wrapper()

Method Detail

name

public java.lang.String name()

Specified by:

name in interface ICompilerExtension

Overrides:

name in class DefaultCompilerExtension

Returns:

user-friendly name of this compiler extension.

preCodeGeneration

public void preCodeGeneration(Compiler compiler,
                              CompilationUnitDeclaration unit)

Specified by:

preCodeGeneration in interface ICompilerExtension

Overrides:

preCodeGeneration in class DefaultCompilerExtension

configureArgs

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

Description copied from interface: IBatchCompilerExtension

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

Specified by:

configureArgs in interface IBatchCompilerExtension

Overrides:

configureArgs in class DefaultCompilerExtension

Parameters:

currentArg - The command-line argument currently under consideration

args1 - 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).

getOptionsMap

public void getOptionsMap(CompilerOptions options,
                          java.util.Map optionsMap)

Specified by:

getOptionsMap in interface ICompilerExtension

Overrides:

getOptionsMap in class DefaultCompilerExtension

setOptionsMap

public void setOptionsMap(CompilerOptions options,
                          java.util.Map optionsMap)

Specified by:

setOptionsMap in interface ICompilerExtension

Overrides:

setOptionsMap in class DefaultCompilerExtension

optionsToBuffer

public void optionsToBuffer(CompilerOptions options,
                            java.lang.StringBuffer buf)

Specified by:

optionsToBuffer in interface ICompilerExtension

Specified by:

optionsToBuffer in class DefaultCompilerExtension