|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ThreadCheckDefinitionRecord | |
|---|---|
| edu.rice.cs.cunit.instrumentors.threadCheck | |
| Uses of ThreadCheckDefinitionRecord in edu.rice.cs.cunit.instrumentors.threadCheck |
|---|
| Methods in edu.rice.cs.cunit.instrumentors.threadCheck that return ThreadCheckDefinitionRecord | |
|---|---|
ThreadCheckDefinitionRecord |
AAddThreadCheckStrategy.extractXMLConcDef(XMLConfig xc,
org.w3c.dom.Node def)
Extracts the concurrency definition from an XML concurrency definitions configuration at the given node. |
| Methods in edu.rice.cs.cunit.instrumentors.threadCheck that return types with arguments of type ThreadCheckDefinitionRecord | |
|---|---|
java.util.List<ThreadCheckDefinitionRecord> |
AAddThreadCheckStrategy.extractXMLConcDef(XMLConfig xc)
Extract the concurrency definitions from the XML file. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||