edu.rice.cs.cunit.threadCheck
Class TCLibDummy

java.lang.Object
  edu.rice.cs.cunit.threadCheck.TCLibDummy

public class TCLibDummy
extends java.lang.Object

Field Summary

(package private) AnySynchronizedField	anySynchronizedField
(package private) AnySynchronizedThis	anySynchronizedThis
(package private) Combine	combine
(package private) CombinePredicateTemplate	combinePredicateTemplate
(package private) DistinctArguments	distinctArguments
(package private) NoneSynchronizedField	noneSynchronizedField
(package private) NoneSynchronizedThis	noneSynchronizedThis
(package private) NotEventThread	notEventThread
(package private) NotNullArgument	notNullArgument
(package private) NotReflectionThreadCheckPredicates	notReflectionThreadCheckPredicates
(package private) NotRunBy	notRunBy
(package private) NotSynchronizedArgument	notSynchronizedArgument
(package private) NotSynchronizedField	notSynchronizedField
(package private) NotSynchronizedThis	notSynchronizedThis
(package private) NotThreadCheckPredicates	notThreadCheckPredicates
(package private) NotThreadInField	notThreadInField
(package private) NotThreadWithGroupName	notThreadWithGroupName
(package private) NotThreadWithName	notThreadWithName
(package private) NumberBoundedArgument	numberBoundedArgument
(package private) OnlyEventThread	onlyEventThread
(package private) OnlyNullArgument	onlyNullArgument
(package private) OnlyRunBy	onlyRunBy
(package private) OnlySynchronizedArgument	onlySynchronizedArgument
(package private) OnlySynchronizedField	onlySynchronizedField
(package private) OnlySynchronizedThis	onlySynchronizedThis
(package private) OnlyThreadInField	onlyThreadInField
(package private) OnlyThreadWithGroupName	onlyThreadWithGroupName
(package private) OnlyThreadWithName	onlyThreadWithName
(package private) PredicateLink	prediateLink
(package private) ReflectionThreadCheckPredicates	reflectionThreadCheckPredicates
(package private) SameArguments	sameArguments
(package private) InvariantAnnotation	subAnnotInvariantAnnotation
(package private) PredicateLink	subAnnotPredicateLink
(package private) DistinctArguments	subAnnotpredicates
(package private) Predicates	subAnnotPredicates
(package private) And	subAnnotpredicatesAnd
(package private) EventThread	subAnnotpredicatesEventThread
(package private) Implies	subAnnotpredicatesImplies
(package private) Not	subAnnotpredicatesNot
(package private) NullArgument	subAnnotpredicatesNullArgument
(package private) NumberBoundedArgument	subAnnotpredicatesNumberBoundedArgument
(package private) Or	subAnnotpredicatesOr
(package private) SameArguments	subAnnotpredicatesSameArguments
(package private) SynchronizedArgument	subAnnotpredicatesSynchronizedArgument
(package private) SynchronizedField	subAnnotpredicatesSynchronizedField
(package private) SynchronizedThis	subAnnotpredicatesSynchronizedThis
(package private) ThreadInField	subAnnotpredicatesThreadInField
(package private) ThreadWithGroupName	subAnnotpredicatesThreadWithGroupName
(package private) ThreadWithName	subAnnotpredicatesThreadWithName
(package private) Xor	subAnnotpredicatesXor
(package private) SubAnnotThreadCheck	subAnnotSubAnnotThreadCheck
(package private) SuppressSubtypingWarning	suppressSubtypingWarning
(package private) ThreadCheckPredicates	threadCheckPredicates
(package private) ThreadDesc	threadDesc

Constructor Summary

TCLibDummy()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

onlyThreadWithName

OnlyThreadWithName onlyThreadWithName

onlyThreadWithGroupName

OnlyThreadWithGroupName onlyThreadWithGroupName

onlyThreadInField

OnlyThreadInField onlyThreadInField

onlyEventThread

OnlyEventThread onlyEventThread

onlySynchronizedThis

OnlySynchronizedThis onlySynchronizedThis

onlySynchronizedField

OnlySynchronizedField onlySynchronizedField

onlySynchronizedArgument

OnlySynchronizedArgument onlySynchronizedArgument

onlyNullArgument

OnlyNullArgument onlyNullArgument

anySynchronizedThis

AnySynchronizedThis anySynchronizedThis

anySynchronizedField

AnySynchronizedField anySynchronizedField

notThreadWithName

NotThreadWithName notThreadWithName

notThreadWithGroupName

NotThreadWithGroupName notThreadWithGroupName

notThreadInField

NotThreadInField notThreadInField

notEventThread

NotEventThread notEventThread

notSynchronizedThis

NotSynchronizedThis notSynchronizedThis

notSynchronizedField

NotSynchronizedField notSynchronizedField

notSynchronizedArgument

NotSynchronizedArgument notSynchronizedArgument

notNullArgument

NotNullArgument notNullArgument

noneSynchronizedThis

NoneSynchronizedThis noneSynchronizedThis

noneSynchronizedField

NoneSynchronizedField noneSynchronizedField

numberBoundedArgument

NumberBoundedArgument numberBoundedArgument

sameArguments

SameArguments sameArguments

distinctArguments

DistinctArguments distinctArguments

suppressSubtypingWarning

SuppressSubtypingWarning suppressSubtypingWarning

threadCheckPredicates

ThreadCheckPredicates threadCheckPredicates

reflectionThreadCheckPredicates

ReflectionThreadCheckPredicates reflectionThreadCheckPredicates

notThreadCheckPredicates

NotThreadCheckPredicates notThreadCheckPredicates

notReflectionThreadCheckPredicates

NotReflectionThreadCheckPredicates notReflectionThreadCheckPredicates

combinePredicateTemplate

CombinePredicateTemplate combinePredicateTemplate

combine

Combine combine

prediateLink

PredicateLink prediateLink

notRunBy

NotRunBy notRunBy

onlyRunBy

OnlyRunBy onlyRunBy

threadDesc

ThreadDesc threadDesc

subAnnotPredicateLink

PredicateLink subAnnotPredicateLink

subAnnotInvariantAnnotation

InvariantAnnotation subAnnotInvariantAnnotation

subAnnotPredicates

Predicates subAnnotPredicates

subAnnotSubAnnotThreadCheck

SubAnnotThreadCheck subAnnotSubAnnotThreadCheck

subAnnotpredicatesAnd

And subAnnotpredicatesAnd

subAnnotpredicates

DistinctArguments subAnnotpredicates

subAnnotpredicatesEventThread

EventThread subAnnotpredicatesEventThread

subAnnotpredicatesImplies

Implies subAnnotpredicatesImplies

subAnnotpredicatesNot

Not subAnnotpredicatesNot

subAnnotpredicatesNullArgument

NullArgument subAnnotpredicatesNullArgument

subAnnotpredicatesNumberBoundedArgument

NumberBoundedArgument subAnnotpredicatesNumberBoundedArgument

subAnnotpredicatesOr

Or subAnnotpredicatesOr

subAnnotpredicatesSameArguments

SameArguments subAnnotpredicatesSameArguments

subAnnotpredicatesSynchronizedArgument

SynchronizedArgument subAnnotpredicatesSynchronizedArgument

subAnnotpredicatesSynchronizedField

SynchronizedField subAnnotpredicatesSynchronizedField

subAnnotpredicatesSynchronizedThis

SynchronizedThis subAnnotpredicatesSynchronizedThis

subAnnotpredicatesThreadInField

ThreadInField subAnnotpredicatesThreadInField

subAnnotpredicatesThreadWithGroupName

ThreadWithGroupName subAnnotpredicatesThreadWithGroupName

subAnnotpredicatesThreadWithName

ThreadWithName subAnnotpredicatesThreadWithName

subAnnotpredicatesXor

Xor subAnnotpredicatesXor

Constructor Detail

TCLibDummy

public TCLibDummy()