jml2b.languages.java
Class JavaQuantifiedVarForm

java.lang.Object
  jml2b.util.Profiler
      jml2b.formula.QuantifiedVarForm
          jml2b.languages.java.JavaQuantifiedVarForm

All Implemented Interfaces:

ITranslatable

public class JavaQuantifiedVarForm

extends QuantifiedVarForm

implements ITranslatable

Author:

L. Burdy

Method Summary

ITranslationResult

toLang(int indent) Converts the quantified formulas to a string suitable for output into the Java view.

Methods inherited from class jml2b.formula.QuantifiedVarForm

clone, getNext, getType, getVar, toLang

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

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

Method Detail

toLang

public ITranslationResult toLang(int indent)
                          throws LanguageException

Converts the quantified formulas to a string suitable for output into the Java view.

Specified by:

toLang in interface ITranslatable

Parameters:

indent - The current indentation

Returns:

the list of variable with their type

Throws:

LanguageException