edu.rice.cs.cunit.threadCheck
Class XMLAnnotUtils.ClassBased

java.lang.Object
  edu.rice.cs.cunit.threadCheck.XMLAnnotUtils.ClassBased

Enclosing class:

XMLAnnotUtils

public static class XMLAnnotUtils.ClassBased
extends java.lang.Object

Utilities for working with class-based thread checker definitions ().

Field Summary

private static java.lang.String

PATH_PREFIX Definition of DEFALT_XML_PATH_PREFIX without the trailing '/'

Constructor Summary

XMLAnnotUtils.ClassBased()

Method Summary

private static void	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	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	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.

Methods inherited from class java.lang.Object

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

Field Detail

PATH_PREFIX

private static final java.lang.String PATH_PREFIX

Definition of DEFALT_XML_PATH_PREFIX without the trailing '/'

Constructor Detail

XMLAnnotUtils.ClassBased

public XMLAnnotUtils.ClassBased()

Method Detail

processNode

public static void 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.

Parameters:

xc - the XML configuration

classLambda - the lambda to be executed when a class has been processed completely

processClassPred - a predicate that determines whether a class should be processed, based on the class name

exList - a list of exceptions generated while processing the node

processNode

private static void 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.

Parameters:

xc - the XML configuration

classLambda - the lambda to be executed when a class has been processed completely

n - the node

path - the path, not including the node itself

processClassPred - a predicate that determines whether a class should be processed, based on the class name

exList - a list of exceptions generated while processing the node

processClassNode

private static void 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

Parameters:

xc - the XML configuration

classLambda - the lambda to be executed when a class has been processed completely

n - the class node

path - the path, not including the class node itself

className - name of the class

processClassPred - a predicate that determines whether a class should be processed, based on the class name

exList - a list of exceptions generated while processing the node

dummy - dummy AAddThreadCheckStrategy