jml2b.structure.statement
Class QuantifiedVar

java.lang.Object
  jml2b.util.Profiler
      jml2b.structure.java.ParsedItem
          jml2b.structure.statement.QuantifiedVar

All Implemented Interfaces:

java.io.Serializable

public class QuantifiedVar

extends ParsedItem

This class implements a list of quantified fields.

Author:

L. Burdy, A. Requet

See Also:

Serialized Form

Constructor Summary

QuantifiedVar(JmlFile jf, Type type, antlr.collections.AST ast)

QuantifiedVar(ParsedItem pi, Field f, QuantifiedVar n)
Constructs a quantified fields list form another one.

Method Summary

java.lang.Object	clone() Clones the list of quantified fields
boolean	equals(QuantifiedVar q) Returns whether two lists are equal.
Field	getField() Returns the current field.
QuantifiedVar	getNext() Returns the next element of the list.
java.util.Vector	getParsedItems() Returns the set of parsed items that correspond to this expression
void	setParsedItem(ParsedItem pi)

Methods inherited from class jml2b.structure.java.ParsedItem

change, change, getColumn, getJmlFile, getLine, save, setBox

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

QuantifiedVar

public QuantifiedVar(JmlFile jf,
                     Type type,
                     antlr.collections.AST ast)

QuantifiedVar

public QuantifiedVar(ParsedItem pi,
                     Field f,
                     QuantifiedVar n)

Constructs a quantified fields list form another one.

Parameters:

pi - The parsed item corresponding to the list

f - The current field

n - The tail of the list

Method Detail

clone

public java.lang.Object clone()

Clones the list of quantified fields

Returns:

the cloned list

equals

public boolean equals(QuantifiedVar q)

Returns whether two lists are equal.

Parameters:

q - The tested list

Returns:

true if the list equals the parameter, false otherwise

getParsedItems

public java.util.Vector getParsedItems()

Returns the set of parsed items that correspond to this expression

Returns:

the set of parsed item that correspond to the complete expression

setParsedItem

public void setParsedItem(ParsedItem pi)

getField

public Field getField()

Returns the current field.

Returns:

field

getNext

public QuantifiedVar getNext()

Returns the next element of the list.

Returns:

next