jml2b.formula
Class QuantifiedVarForm

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

Direct Known Subclasses:

JavaQuantifiedVarForm

public class QuantifiedVarForm

extends Profiler

This class implements a list of quatified variables.

Author:

L. Burdy

Constructor Summary

QuantifiedVarForm(QuantifiedVarForm qvf)

QuantifiedVarForm(TerminalForm var, Formula type)
Creates a list with one quantified variable.

QuantifiedVarForm(TerminalForm var, Formula type, QuantifiedVarForm next)
Creates a quantified variable list from another one.

Method Summary

java.lang.Object	clone() Clones the quantified variables
QuantifiedVarForm	getNext()
Formula	getType()
TerminalForm	getVar()
ITranslationResult	toLang(java.lang.String language, int indent)

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

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

Constructor Detail

QuantifiedVarForm

public QuantifiedVarForm(QuantifiedVarForm qvf)

QuantifiedVarForm

public QuantifiedVarForm(TerminalForm var,
                         Formula type)

Creates a list with one quantified variable.

Parameters:

var - The variable name.

type - The variable type.

QuantifiedVarForm

public QuantifiedVarForm(TerminalForm var,
                         Formula type,
                         QuantifiedVarForm next)

Creates a quantified variable list from another one.

Parameters:

var - The current variable name

type - The current variable type

next - The next element of the list

Method Detail

clone

public java.lang.Object clone()

Clones the quantified variables

toLang

public ITranslationResult toLang(java.lang.String language,
                                 int indent)
                          throws LanguageException

Throws:

LanguageException

getNext

public QuantifiedVarForm getNext()

Returns:

getType

public Formula getType()

Returns:

getVar

public TerminalForm getVar()

Returns: