Uses of Class
edu.rice.cs.cunit.util.XMLConfig

Packages that use XMLConfig

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

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

Fields in edu.rice.cs.cunit.instrumentors.threadCheck declared as XMLConfig

protected XMLConfig

AAddThreadCheckStrategy.SharedAddData.xmlAnnot XML configurations used for additional annotations not based in the code.

Methods in edu.rice.cs.cunit.instrumentors.threadCheck that return XMLConfig

XMLConfig

AAddThreadCheckStrategy.SharedAddData.getXmlAnnot()

Methods in edu.rice.cs.cunit.instrumentors.threadCheck with parameters of type XMLConfig

static java.util.Set<ThreadCheckException>	AAddThreadCheckStrategy.checkXMLConcDef(XMLConfig xc) Checks if an XML concurrency definition is well-formed.
java.util.List<ThreadCheckDefinitionRecord>	AAddThreadCheckStrategy.extractXMLConcDef(XMLConfig xc) Extract the concurrency definitions from the XML file.
ThreadCheckDefinitionRecord	AAddThreadCheckStrategy.extractXMLConcDef(XMLConfig xc, org.w3c.dom.Node def) Extracts the concurrency definition from an XML concurrency definitions configuration at the given node.

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

Methods in edu.rice.cs.cunit.threadCheck that return XMLConfig

static XMLConfig	XMLAnnotUtils.convertConcDefsToClassBasedXML(XMLAnnotUtils.ConcurrentyDefinitions defsAccum) Convert the map between invariants and definitions back to a class-based XML configuration ().
static XMLConfig	XMLAnnotUtils.convertConcDefsToConcDefBasedXML(XMLAnnotUtils.ConcurrentyDefinitions defsAccum) Convert the map between invariants and definitions back to XML concurrency definitions ().
static XMLConfig	XMLAnnotUtils.convertXMLToClassBasedXML(XMLConfig xc) Convert an XML thread checker configuration to a class-based representation ().
static XMLConfig	XMLAnnotUtils.convertXMLToConcDefXML(XMLConfig xc) Convert an XML thread checker configuration to an XML concurrency definition configuration ().
static XMLConfig	XMLAnnotUtils.createEmptyXMLAnnotaations() Create an empty set of XML annotations.
static XMLConfig	XMLAnnotUtils.createEmptyXMLConcDefs() Create an empty set of XML concurrency definitions.
static XMLConfig	XMLAnnotUtils.joinXMLConcDefs(XMLConfig concDef1, XMLConfig concDef2) Join the two XML concurrency definitions This works for both and .

Methods in edu.rice.cs.cunit.threadCheck with parameters of type XMLConfig

static XMLConfig	XMLAnnotUtils.convertXMLToClassBasedXML(XMLConfig xc) Convert an XML thread checker configuration to a class-based representation ().
static XMLAnnotUtils.ConcurrentyDefinitions	XMLAnnotUtils.convertXMLToConcDefs(XMLConfig xc) Convert XML concurrency definitions into a map between invariants and definitions.
static XMLConfig	XMLAnnotUtils.convertXMLToConcDefXML(XMLConfig xc) Convert an XML thread checker configuration to an XML concurrency definition configuration ().
static XMLAnnotUtils.ConcurrentyDefinitions	XMLAnnotUtils.joinXMLConcDefs(XMLConfig xc, XMLAnnotUtils.ConcurrentyDefinitions defsAccum) Add the XML concurrency definitions in xc to the ones already in the accumulator.
static XMLConfig	XMLAnnotUtils.joinXMLConcDefs(XMLConfig concDef1, XMLConfig concDef2) Join the two XML concurrency definitions This works for both and .
private static void	XMLAnnotUtils.AnnotationToXML.processAnnotation(XMLConfig xc, org.w3c.dom.Node node, java.util.List<AAnnotationsAttributeInfo.Annotation.NameValuePair> nvpList, java.util.HashMap<java.lang.String,java.lang.String> paramTypes) Process an annotation and add the <arg> tags underneath the specified node.
static void	XMLAnnotUtils.AnnotationToXML.processAnnotations(XMLConfig xc, org.w3c.dom.Node root, ThreadCheckAnnotationRecord tcAR) Put the annotations from the lists into the XML document.
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.
private static void	XMLAnnotUtils.AnnotationToXML.processPredicateAnnotations(XMLConfig xc, org.w3c.dom.Node node, java.util.HashMap<java.lang.String,java.util.ArrayList<PredicateAnnotationRecord>> pars) Process a list of predicate annotations and add <predicate> or <combine> tags underneath the specified node.
private static void	XMLAnnotUtils.AnnotationToXML.processPredicateMembers(XMLConfig xc, org.w3c.dom.Node node, java.util.List<java.lang.String> paramNames, java.util.HashMap<java.lang.String,java.lang.String> paramTypes, java.util.List<AAnnotationsAttributeInfo.Annotation.AMemberValue> valueList) Process a list of members and add the <arg> tags underneath the specified node.