org.jmlspecs.jml4.fspv
Class Fspv

java.lang.Object
  org.jmlspecs.jml4.compiler.DefaultCompilerExtension
      org.jmlspecs.jml4.fspv.Fspv

All Implemented Interfaces:

IBatchCompilerExtension, ICompilerExtension

public class Fspv
extends DefaultCompilerExtension

Field Summary

static boolean

DEBUG

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

ARG_NOT_HANDLED

Constructor Summary

Fspv()

Method Summary

void	getOptionsMap(CompilerOptions options, java.util.Map optionsMap)
java.lang.String	name()
void	optionsToBuffer(CompilerOptions options, java.lang.StringBuffer buf)
void	preCodeGeneration(Compiler compiler, CompilationUnitDeclaration unit)
static java.lang.String	pretyPrintArray(java.lang.Object[] a)
void	setOptionsMap(CompilerOptions options, java.util.Map optionsMap)

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

configureArgs, handleWarningToken, initCompilerOptions, optionKeyFromIrritant, warningTokenFromIrritant, warningTokenToIrritant

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

public static boolean DEBUG

Constructor Detail

Fspv

public Fspv()

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

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

pretyPrintArray

public static java.lang.String pretyPrintArray(java.lang.Object[] a)