jml2b.util
Class StatementUtils

java.lang.Object
  jml2b.util.Profiler
      jml2b.util.StatementUtils

public class StatementUtils

extends Profiler

Utility class for handling statement operations

Author:

L. Burdy, A. Requet

Constructor Summary

StatementUtils()

Method Summary

static Expression

andEnumeration(java.util.Enumeration e) Return an expression corresponding to the "and" of all the expression enumerated.

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

StatementUtils

public StatementUtils()

Method Detail

andEnumeration

public static Expression andEnumeration(java.util.Enumeration e)

Return an expression corresponding to the "and" of all the expression enumerated. Returns null in case where e is an empty enumeration.

Parameters:

e - The set of expressions