001    package edu.rice.cs.cunit.threadCheck;
002    
003    import edu.rice.cs.cunit.threadCheck.predicates.*;
004    
005    public class TCLibDummy {
006        // predicate annotations
007        OnlyThreadWithName onlyThreadWithName;
008        OnlyThreadWithGroupName onlyThreadWithGroupName;
009        OnlyThreadInField onlyThreadInField;
010        OnlyEventThread onlyEventThread;
011        OnlySynchronizedThis onlySynchronizedThis;
012        OnlySynchronizedField onlySynchronizedField;
013        OnlySynchronizedArgument onlySynchronizedArgument;
014        OnlyNullArgument onlyNullArgument;
015    
016        AnySynchronizedThis anySynchronizedThis;
017        AnySynchronizedField anySynchronizedField;
018    
019        NotThreadWithName notThreadWithName;
020        NotThreadWithGroupName notThreadWithGroupName;
021        NotThreadInField notThreadInField;
022        NotEventThread notEventThread;
023        NotSynchronizedThis notSynchronizedThis;
024        NotSynchronizedField notSynchronizedField;
025        NotSynchronizedArgument notSynchronizedArgument;
026        NotNullArgument notNullArgument;
027    
028        NoneSynchronizedThis noneSynchronizedThis;
029        NoneSynchronizedField noneSynchronizedField;
030    
031        NumberBoundedArgument numberBoundedArgument;
032        SameArguments sameArguments;
033        DistinctArguments distinctArguments;
034    
035        SuppressSubtypingWarning suppressSubtypingWarning;
036    
037        // predicate implementations
038        ThreadCheckPredicates threadCheckPredicates;
039        ReflectionThreadCheckPredicates reflectionThreadCheckPredicates;
040        NotThreadCheckPredicates notThreadCheckPredicates;
041        NotReflectionThreadCheckPredicates notReflectionThreadCheckPredicates;
042        CombinePredicateTemplate combinePredicateTemplate;
043        
044        // predicate meta annotations
045        Combine combine;
046        PredicateLink prediateLink;
047        
048        // old-style annotations
049        NotRunBy notRunBy;
050        OnlyRunBy onlyRunBy;
051        ThreadDesc threadDesc;
052        
053        // annotations with subtyping
054        edu.rice.cs.cunit.threadCheck.subAnnot.PredicateLink subAnnotPredicateLink;
055        edu.rice.cs.cunit.threadCheck.subAnnot.InvariantAnnotation subAnnotInvariantAnnotation;
056        edu.rice.cs.cunit.threadCheck.subAnnot.Predicates subAnnotPredicates;
057        edu.rice.cs.cunit.threadCheck.subAnnot.SubAnnotThreadCheck subAnnotSubAnnotThreadCheck;
058        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.And subAnnotpredicatesAnd;
059        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.DistinctArguments subAnnotpredicates;
060        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.EventThread subAnnotpredicatesEventThread;
061        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.Implies subAnnotpredicatesImplies;
062        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.Not subAnnotpredicatesNot;
063        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.NullArgument subAnnotpredicatesNullArgument;
064        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.NumberBoundedArgument subAnnotpredicatesNumberBoundedArgument;
065        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.Or subAnnotpredicatesOr;
066        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.SameArguments subAnnotpredicatesSameArguments;
067        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.SynchronizedArgument subAnnotpredicatesSynchronizedArgument;
068        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.SynchronizedField subAnnotpredicatesSynchronizedField;
069        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.SynchronizedThis subAnnotpredicatesSynchronizedThis;
070        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.ThreadInField subAnnotpredicatesThreadInField;
071        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.ThreadWithGroupName subAnnotpredicatesThreadWithGroupName;
072        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.ThreadWithName subAnnotpredicatesThreadWithName;
073        edu.rice.cs.cunit.threadCheck.subAnnot.predicates.Xor subAnnotpredicatesXor;
074    }