Uses of Class
edu.rice.cs.cunit.threadCheck.XMLAnnotUtils.ConcurrentyDefinitions

Packages that use XMLAnnotUtils.ConcurrentyDefinitions

edu.rice.cs.cunit.threadCheck

Uses of XMLAnnotUtils.ConcurrentyDefinitions in edu.rice.cs.cunit.threadCheck

Methods in edu.rice.cs.cunit.threadCheck that return XMLAnnotUtils.ConcurrentyDefinitions

static XMLAnnotUtils.ConcurrentyDefinitions	XMLAnnotUtils.convertXMLToConcDefs(XMLConfig xc) Convert XML concurrency definitions into a map between invariants and definitions.
static XMLAnnotUtils.ConcurrentyDefinitions	XMLAnnotUtils.joinXMLConcDefs(XMLConfig xc, XMLAnnotUtils.ConcurrentyDefinitions defsAccum) Add the XML concurrency definitions in xc to the ones already in the accumulator.

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

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 XMLAnnotUtils.ConcurrentyDefinitions	XMLAnnotUtils.joinXMLConcDefs(XMLConfig xc, XMLAnnotUtils.ConcurrentyDefinitions defsAccum) Add the XML concurrency definitions in xc to the ones already in the accumulator.