jml2b.structure.jml
Interface JmlExpression

All Superinterfaces:

TypeCheckable

All Known Implementing Classes:

Expression, Represents

public interface JmlExpression

extends TypeCheckable

The interface defines methods to apply to a JML expression.

Author:

L. Burdy

Method Summary

java.lang.Object	clone()
java.util.Vector	getParsedItems() Returns the set of parsed items that correspond to this expression
JmlExpression	instancie() Instancie the expression.
JmlExpression	instancie(Expression b) Replaces this with the parameter in the expression.
Formula	predToForm(IJml2bConfiguration config) Translates the expression into a formula

Methods inherited from interface jml2b.link.TypeCheckable

typeCheck

Method Detail

clone

public java.lang.Object clone()

instancie

public JmlExpression instancie()

Instancie the expression. More informations on instancie.

Returns:

the instanciated expression

instancie

public JmlExpression instancie(Expression b)

Replaces this with the parameter in the expression.

Parameters:

b - expression on which the method where the expression occurs is called.

Returns:

the modified expression

predToForm

public Formula predToForm(IJml2bConfiguration config)
                   throws Jml2bException,
                          PogException

Translates the expression into a formula

Parameters:

config - The current configuration

Returns:

the translated expression

Throws:

PogException

Jml2bException

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