org.jmlspecs.jml4.compiler
Class CompilerExtensionManager

java.lang.Object
  org.jmlspecs.jml4.compiler.CompilerExtensionManager

public class CompilerExtensionManager
extends java.lang.Object

This class is experimental. It is intended as a public API used in extending the JDT compiler.

Constructor Summary

CompilerExtensionManager()

Method Summary

static void	addExtension(ICompilerExtension e)
static int	configureArgs(java.lang.String currentArg, java.lang.String[] newCommandLineArgs, int index, java.util.Map options)
static java.util.Collection	getExtensions()
static boolean	getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
static boolean	handleWarningToken(java.lang.String token, boolean isEnabling, java.util.Map optionsMap)
static void	initCompilerOptions(CompilerOptions options)
static java.lang.String	optionKeyFromIrritant(long irritant)
static void	optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
static void	preCodeGeneration(Compiler compiler, CompilationUnitDeclaration unit)
static void	runJDTCompiler(java.lang.String[] args)
static void	setOptionsMap(CompilerOptions options, java.util.Map optionsMap)
static java.lang.String	warningTokenFromIrritant(long irritant)
static long	warningTokenToIrritant(java.lang.String token)

Methods inherited from class java.lang.Object

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

Constructor Detail

CompilerExtensionManager

public CompilerExtensionManager()

Method Detail

addExtension

public static void addExtension(ICompilerExtension e)

getExtensions

public static java.util.Collection getExtensions()

runJDTCompiler

public static void runJDTCompiler(java.lang.String[] args)

preCodeGeneration

public static void preCodeGeneration(Compiler compiler,
                                     CompilationUnitDeclaration unit)

initCompilerOptions

public static void initCompilerOptions(CompilerOptions options)

configureArgs

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

handleWarningToken

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

getOptionsMap

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

setOptionsMap

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

optionsToBuffer

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

optionKeyFromIrritant

public static java.lang.String optionKeyFromIrritant(long irritant)

warningTokenFromIrritant

public static java.lang.String warningTokenFromIrritant(long irritant)

warningTokenToIrritant

public static long warningTokenToIrritant(java.lang.String token)