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

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

All Implemented Interfaces:

IBatchCompilerExtension, ICompilerExtension

public class EscJava2Wrapper
extends ESC2Wrapper

Field Summary

static IJavaProject	currentProject
static boolean	manualRun

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

ARG_NOT_HANDLED

Constructor Summary

EscJava2Wrapper()

Method Summary

void	preCodeGeneration(Compiler compiler, CompilationUnitDeclaration unit)

Methods inherited from class org.jmlspecs.eclipse.jdt.internal.esc2.ESC2Wrapper

configureArgs, getOptionsMap, name, optionsToBuffer, setOptionsMap

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

Field Detail

manualRun

public static boolean manualRun

currentProject

public static IJavaProject currentProject

Constructor Detail

EscJava2Wrapper

public EscJava2Wrapper()

Method Detail

preCodeGeneration

public void preCodeGeneration(Compiler compiler,
                              CompilationUnitDeclaration unit)

Specified by:

preCodeGeneration in interface ICompilerExtension

Overrides:

preCodeGeneration in class ESC2Wrapper