util.java

### File Source: util.java

             /*
        P/P   *  Method: net.sourceforge.pebble.web.tagext.Util__static_init
              */
         1  package net.sourceforge.pebble.web.tagext;
         2
         3  import java.util.Collection;
         4
         5  /**
         6   * @author James Roper
         7   */
             /*
        P/P   *  Method: void net.sourceforge.pebble.web.tagext.Util()
              */
         8  public class Util {
         9    public static boolean contains(Collection collection, Object object) {
                 /*
        P/P       *  Method: bool contains(Collection, Object)
                  *
                  *  Preconditions:
                  *    collection != null
                  *
                  *  Postconditions:
                  *    init'ed(return_value)
                  */
        10      return collection.contains(object);
        11    }
        12  }

SofCheck Inspector Build Version : 2.22510

util.java | 2010-Jun-25 19:40:34
util.class | 2010-Jul-19 20:23:38