001    package edu.rice.cs.cunit.threadCheck.predicates;
002    
003    /**
004     * "Template class" that will be cloned and used for the automatically generated predicates
005     * of compound predicate annotations created using the @Combine meta-annotation.
006     *
007     * @author Mathias Ricken
008     */
009    public class CombinePredicateTemplate {
010        /**
011         * Template predicate method. The parameters and code in this method will be changed to fit the annotation.
012         * @param thisObject "this" at the time of the check, or null if not available; ignored by this method
013         * @return true if the current thread does not violate the invariant
014         */
015        public static boolean template(Object thisObject) {
016            return false;
017        }
018    }