org.jmlspecs.jml4.esc
Class Esc

java.lang.Object
  org.jmlspecs.jml4.compiler.DefaultCompilerExtension
      org.jmlspecs.jml4.esc.Esc

All Implemented Interfaces:

IBatchCompilerExtension, ICompilerExtension

public class Esc
extends DefaultCompilerExtension

Field Summary

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

ARG_NOT_HANDLED

Constructor Summary

Esc()

Method Summary

java.lang.String	name()
void	optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	preCodeGeneration(Compiler compiler, CompilationUnitDeclaration unit)

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

configureArgs, getOptionsMap, handleWarningToken, initCompilerOptions, optionKeyFromIrritant, setOptionsMap, warningTokenFromIrritant, warningTokenToIrritant

Methods inherited from class java.lang.Object

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

Constructor Detail

Esc

public Esc()

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

optionsToBuffer

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

Specified by:

optionsToBuffer in interface ICompilerExtension

Specified by:

optionsToBuffer in class DefaultCompilerExtension