jml2b.link
Interface Linkable

All Known Implementing Classes:

AClass, AField, Class, Declaration, Exsures, Parameters, SpecCase, Statement, Type, VarDeclParser

public interface Linkable

Author:

A. Requet, L. Burdy

Field Summary

static int	STATE_LINKED
static int	STATE_LINKED_STATEMENTS
static int	STATE_LINKED_TYPE_CHECKED
static int	STATE_UNLINKED

Method Summary

void	link(IJml2bConfiguration config, LinkContext f)
int	linkStatements(IJml2bConfiguration config, LinkContext f)

Field Detail

STATE_UNLINKED

public static final int STATE_UNLINKED

See Also:

Constant Field Values

STATE_LINKED

public static final int STATE_LINKED

See Also:

Constant Field Values

STATE_LINKED_STATEMENTS

public static final int STATE_LINKED_STATEMENTS

See Also:

Constant Field Values

STATE_LINKED_TYPE_CHECKED

public static final int STATE_LINKED_TYPE_CHECKED

See Also:

Constant Field Values

Method Detail

link

public void link(IJml2bConfiguration config,
                 LinkContext f)
          throws Jml2bException

Throws:

Jml2bException

linkStatements

public int linkStatements(IJml2bConfiguration config,
                          LinkContext f)
                   throws Jml2bException

Throws:

Jml2bException