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