Hierarchy For Package edu.rice.cs.cunit.threadCheck.predicates

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • edu.rice.cs.cunit.threadCheck.predicates.CombinePredicateTemplate
  • edu.rice.cs.cunit.threadCheck.predicates.NotReflectionThreadCheckPredicates
  • edu.rice.cs.cunit.threadCheck.predicates.NotThreadCheckPredicates
  • edu.rice.cs.cunit.threadCheck.predicates.ReflectionThreadCheckPredicates
  • edu.rice.cs.cunit.threadCheck.predicates.ThreadCheckPredicates

Annotation Type Hierarchy

• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedField.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyNullArgument.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.DistinctArguments (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadInField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedThis (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithGroupName.InField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadInField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.SameArguments.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithName.InField.ByName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadInField.ByName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithGroupName.InField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedThis (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.DistinctArguments.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedArgument.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.DistinctArguments.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedField.ByName.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedArgument.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedArgument (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithGroupName.InField.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedField.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyNullArgument.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithGroupName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyEventThread (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithGroupName.InField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithName.InField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithName.InField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedField.ByName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadInField.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithGroupName.InField.ByName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.DistinctArguments.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithGroupName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NoneSynchronizedField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithGroupName.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithGroupName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.SameArguments (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithGroupName.InField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.SameArguments.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotNullArgument.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadInField.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithName.InField.ByName.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithName.InField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NoneSynchronizedField.ByName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedThis (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithGroupName.InField.ByName.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadWithName.InField.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithName.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithName.InField.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadInField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithName.InField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedField.ByName.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.SameArguments.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyEventThread.AfterRealized (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedField.ByName.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedField.All (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotSynchronizedField.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NoneSynchronizedThis (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NoneSynchronizedField (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NoneSynchronizedField.None (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotNullArgument (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotEventThread (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NotThreadInField.ByName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithName (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedField.ByName.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadInField.ByName.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedArgument.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.AnySynchronizedField.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyNullArgument (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlySynchronizedArgument (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.Any (implements java.lang.annotation.Annotation)
• edu.rice.cs.cunit.threadCheck.predicates.OnlyThreadWithGroupName.InField.Any (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.Mode