jml2b.link
Interface TypeCheckable

All Known Subinterfaces:

JmlExpression

All Known Implementing Classes:

Class, Expression, Exsures, GuardedModifies, Invariant, Method, Modifies, ModifiesClause, Represents, SpecArray, SpecCase, Statement

public interface TypeCheckable

Author:

L. Burdy

Method Summary

Type	typeCheck(IJml2bConfiguration config, LinkContext f)

Method Detail

typeCheck

public Type typeCheck(IJml2bConfiguration config,
                      LinkContext f)
               throws Jml2bException

Throws:

Jml2bException