jml2b.link
Class LinkUtils

java.lang.Object
  jml2b.util.Profiler
      jml2b.link.LinkUtils

public class LinkUtils

extends Profiler

Author:

A. Requet, L. Burdy

Constructor Summary

LinkUtils()

Method Summary

static int	linkEnumeration(IJml2bConfiguration config, java.util.Enumeration e, LinkContext f) Links all the Linkable elements provided by the enumeration e using LinkContext f.
static int	linkStatements(IJml2bConfiguration config, java.util.Enumeration e, LinkContext f)
static int	typeCheckEnumeration(IJml2bConfiguration config, java.util.Enumeration e, LinkContext f)

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

LinkUtils

public LinkUtils()

Method Detail

linkEnumeration

public static int linkEnumeration(IJml2bConfiguration config,
                                  java.util.Enumeration e,
                                  LinkContext f)
                           throws Jml2bException

Links all the Linkable elements provided by the enumeration e using LinkContext f. return the number of errors encountered.

Throws:

Jml2bException

linkStatements

public static int linkStatements(IJml2bConfiguration config,
                                 java.util.Enumeration e,
                                 LinkContext f)
                          throws Jml2bException

Throws:

Jml2bException

typeCheckEnumeration

public static int typeCheckEnumeration(IJml2bConfiguration config,
                                       java.util.Enumeration e,
                                       LinkContext f)
                                throws Jml2bException

Throws:

Jml2bException