edu.rice.cs.cunit.threadCheck.predicates

Classes  CombinePredicateTemplate NotReflectionThreadCheckPredicates NotThreadCheckPredicates ReflectionThreadCheckPredicates ThreadCheckPredicates

Enums  NumberBoundedArgument.Mode

Annotation Types  AnySynchronizedField AnySynchronizedField.All AnySynchronizedField.Any AnySynchronizedField.ByName AnySynchronizedField.ByName.All AnySynchronizedField.ByName.Any AnySynchronizedThis DistinctArguments DistinctArguments.All DistinctArguments.Any DistinctArguments.None NoneSynchronizedField NoneSynchronizedField.ByName NoneSynchronizedField.ByName.None NoneSynchronizedField.None NoneSynchronizedThis NotEventThread NotNullArgument NotNullArgument.None NotSynchronizedArgument NotSynchronizedArgument.None NotSynchronizedField NotSynchronizedField.ByName NotSynchronizedField.ByName.None NotSynchronizedField.None NotSynchronizedThis NotThreadInField NotThreadInField.ByName NotThreadInField.ByName.None NotThreadInField.None NotThreadWithGroupName NotThreadWithGroupName.InField NotThreadWithGroupName.InField.ByName NotThreadWithGroupName.InField.ByName.None NotThreadWithGroupName.InField.None NotThreadWithGroupName.None NotThreadWithName NotThreadWithName.InField NotThreadWithName.InField.ByName NotThreadWithName.InField.ByName.None NotThreadWithName.InField.None NotThreadWithName.None NumberBoundedArgument NumberBoundedArgument.All NumberBoundedArgument.Any NumberBoundedArgument.None OnlyEventThread OnlyEventThread.AfterRealized OnlyNullArgument OnlyNullArgument.All OnlyNullArgument.Any OnlySynchronizedArgument OnlySynchronizedArgument.All OnlySynchronizedArgument.Any OnlySynchronizedField OnlySynchronizedField.All OnlySynchronizedField.Any OnlySynchronizedField.ByName OnlySynchronizedField.ByName.All OnlySynchronizedField.ByName.Any OnlySynchronizedThis OnlyThreadInField OnlyThreadInField.Any OnlyThreadInField.ByName OnlyThreadInField.ByName.Any OnlyThreadWithGroupName OnlyThreadWithGroupName.Any OnlyThreadWithGroupName.InField OnlyThreadWithGroupName.InField.Any OnlyThreadWithGroupName.InField.ByName OnlyThreadWithGroupName.InField.ByName.None OnlyThreadWithName OnlyThreadWithName.Any OnlyThreadWithName.InField OnlyThreadWithName.InField.Any OnlyThreadWithName.InField.ByName OnlyThreadWithName.InField.ByName.Any SameArguments SameArguments.All SameArguments.Any SameArguments.None