org.jmlspecs.jml4.compiler
Class JmlCompilerExtension

java.lang.Object
  org.jmlspecs.jml4.compiler.DefaultCompilerExtension
      org.jmlspecs.jml4.compiler.JmlCompilerExtension

All Implemented Interfaces:

IBatchCompilerExtension, ICompilerExtension

public class JmlCompilerExtension
extends DefaultCompilerExtension

Field Summary

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

ARG_NOT_HANDLED

Constructor Summary

JmlCompilerExtension()

Method Summary

static void	addDependentExtensions()
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.
void	getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
boolean	handleWarningToken(java.lang.String token, boolean isEnabling, java.util.Map optionsMap)
void	initCompilerOptions(CompilerOptions o)
java.lang.String	name()
java.lang.String	optionKeyFromIrritant(long irritant)
void	optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	setOptionsMap(CompilerOptions options, java.util.Map optionsMap)
java.lang.String	warningTokenFromIrritant(long irritant)
long	warningTokenToIrritant(java.lang.String warningToken)

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

preCodeGeneration

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlCompilerExtension

public JmlCompilerExtension()

Method Detail

addDependentExtensions

public static void addDependentExtensions()

initCompilerOptions

public void initCompilerOptions(CompilerOptions o)

Specified by:

initCompilerOptions in interface ICompilerExtension

Overrides:

initCompilerOptions in class DefaultCompilerExtension

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.

configureArgs

public int configureArgs(java.lang.String currentArg,
                         java.lang.String[] args,
                         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

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

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

Specified by:

handleWarningToken in interface IBatchCompilerExtension

Overrides:

handleWarningToken in class DefaultCompilerExtension

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

optionKeyFromIrritant

public java.lang.String optionKeyFromIrritant(long irritant)

Specified by:

optionKeyFromIrritant in interface ICompilerExtension

Overrides:

optionKeyFromIrritant in class DefaultCompilerExtension

warningTokenFromIrritant

public java.lang.String warningTokenFromIrritant(long irritant)

Specified by:

warningTokenFromIrritant in interface ICompilerExtension

Overrides:

warningTokenFromIrritant in class DefaultCompilerExtension

warningTokenToIrritant

public long warningTokenToIrritant(java.lang.String warningToken)

Specified by:

warningTokenToIrritant in interface ICompilerExtension

Overrides:

warningTokenToIrritant in class DefaultCompilerExtension