//# 0 errors, 15 messages
//#
package net.sourceforge.pebble.web.tagext;
    //#util.java:1:1: class: net.sourceforge.pebble.web.tagext.Util
    //#util.java:1:1: method: net.sourceforge.pebble.web.tagext.Util.net.sourceforge.pebble.web.tagext.Util__static_init

import java.util.Collection;

/**
 * @author James Roper
 */
public class Util {
    //#util.java:8: method: void net.sourceforge.pebble.web.tagext.Util.net.sourceforge.pebble.web.tagext.Util()
    //#util.java:8: end of method: void net.sourceforge.pebble.web.tagext.Util.net.sourceforge.pebble.web.tagext.Util()
  public static boolean contains(Collection collection, Object object) {
    return collection.contains(object);
    //#util.java:10: method: bool net.sourceforge.pebble.web.tagext.Util.contains(Collection, Object)
    //#input(bool contains(Collection, Object)): collection
    //#input(bool contains(Collection, Object)): object
    //#output(bool contains(Collection, Object)): return_value
    //#pre[1] (bool contains(Collection, Object)): collection != null
    //#post(bool contains(Collection, Object)): init'ed(return_value)
    //#util.java:10: end of method: bool net.sourceforge.pebble.web.tagext.Util.contains(Collection, Object)
  }
}
    //#output(net.sourceforge.pebble.web.tagext.Util__static_init): __Descendant_Table[net/sourceforge/pebble/web/tagext/Util]
    //#post(net.sourceforge.pebble.web.tagext.Util__static_init): __Descendant_Table[net/sourceforge/pebble/web/tagext/Util] == &__Dispatch_Table
    //#util.java:: end of method: net.sourceforge.pebble.web.tagext.Util.net.sourceforge.pebble.web.tagext.Util__static_init
    //#util.java:: end of class: net.sourceforge.pebble.web.tagext.Util
