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

java.lang.Object
  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