Uses of Class
edu.rice.cs.cunit.threadCheck.ThreadCheckException

Packages that use ThreadCheckException

edu.rice.cs.cunit.instrumentors.threadCheck
edu.rice.cs.cunit.threadCheck

Uses of ThreadCheckException in edu.rice.cs.cunit.instrumentors.threadCheck

Methods in edu.rice.cs.cunit.instrumentors.threadCheck that return types with arguments of type ThreadCheckException

static java.util.Set<ThreadCheckException>

AAddThreadCheckStrategy.checkXMLConcDef(XMLConfig xc) Checks if an XML concurrency definition is well-formed.

Uses of ThreadCheckException in edu.rice.cs.cunit.threadCheck

Method parameters in edu.rice.cs.cunit.threadCheck with type arguments of type ThreadCheckException

private static void	XMLAnnotUtils.ClassBased.processClassNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, org.w3c.dom.Node n, java.lang.String path, java.lang.String className, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList, AAddThreadCheckStrategy dummy) Process a <class> node
static void	XMLAnnotUtils.ClassBased.processNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList) Process a node.
private static void	XMLAnnotUtils.ClassBased.processNode(XMLConfig xc, ILambda.Ternary<java.lang.Object,java.lang.String,ThreadCheckAnnotationRecord,java.util.HashMap<java.lang.String,ThreadCheckAnnotationRecord>> classLambda, org.w3c.dom.Node n, java.lang.String path, IPredicate<java.lang.String> processClassPred, java.util.List<ThreadCheckException> exList) Process a node.