edu.rice.cs.cunit.threadCheck.predicates
Class CombinePredicateTemplate

java.lang.Object
  extended by edu.rice.cs.cunit.threadCheck.predicates.CombinePredicateTemplate

public class CombinePredicateTemplate
extends java.lang.Object

"Template class" that will be cloned and used for the automatically generated predicates of compound predicate annotations created using the @Combine meta-annotation.

Author:
Mathias Ricken

Constructor Summary
CombinePredicateTemplate()
           
 
Method Summary
static boolean template(java.lang.Object thisObject)
          Template predicate method.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CombinePredicateTemplate

public CombinePredicateTemplate()
Method Detail

template

public static boolean template(java.lang.Object thisObject)
Template predicate method. The parameters and code in this method will be changed to fit the annotation.

Parameters:
thisObject - "this" at the time of the check, or null if not available; ignored by this method
Returns:
true if the current thread does not violate the invariant