Uses of Class
jml2b.exceptions.LinkException

Packages that use LinkException

jml2b.structure.statement

Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of LinkException in jml2b.structure.statement

Methods in jml2b.structure.statement that throw LinkException

void	BinaryExp.isModifiersCompatible(Modifiers modifiers)
abstract void	Expression.isModifiersCompatible(Modifiers modifiers) Tests whether the expression contains fields that have modifiers compatible with the invariant modifiers.
void	IsSubtypeOfExp.isModifiersCompatible(Modifiers modifiers)
void	MethodCallExp.isModifiersCompatible(Modifiers modifiers)
void	QuantifiedExp.isModifiersCompatible(Modifiers modifiers)
void	QuestionExp.isModifiersCompatible(Modifiers modifiers)
void	TerminalExp.isModifiersCompatible(Modifiers modifiers) If the expression is an identifier, test if their modifiers are compatible with the invariant modifiers.
void	UnaryExp.isModifiersCompatible(Modifiers modifiers)
void	WithTypeExp.isModifiersCompatible(Modifiers modifiers)