org.jmlspecs.jml4.compiler
Interface ICompilerExtension

All Superinterfaces:

IBatchCompilerExtension

All Known Implementing Classes:

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

public interface ICompilerExtension
extends IBatchCompilerExtension

Field Summary

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

ARG_NOT_HANDLED

Method Summary

void	getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
void	initCompilerOptions(CompilerOptions options)
java.lang.String	name()
java.lang.String	optionKeyFromIrritant(long irritant)
void	optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	preCodeGeneration(Compiler compiler, CompilationUnitDeclaration unit)
void	setOptionsMap(CompilerOptions options, java.util.Map optionsMap)
java.lang.String	warningTokenFromIrritant(long irritant)
long	warningTokenToIrritant(java.lang.String token)

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

configureArgs, handleWarningToken

Method Detail

name

java.lang.String name()

Returns:

user-friendly name of this compiler extension.

initCompilerOptions

void initCompilerOptions(CompilerOptions options)

preCodeGeneration

void preCodeGeneration(Compiler compiler,
                       CompilationUnitDeclaration unit)

getOptionsMap

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

optionKeyFromIrritant

java.lang.String optionKeyFromIrritant(long irritant)

setOptionsMap

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

optionsToBuffer

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

warningTokenFromIrritant

java.lang.String warningTokenFromIrritant(long irritant)

warningTokenToIrritant

long warningTokenToIrritant(java.lang.String token)