|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XMLNode | |
---|---|
edu.mit.csail.sdg.alloy4 | This package contains general data structures and helper classes. |
edu.mit.csail.sdg.alloy4compiler.translator | This package contains the translator from Alloy4 to CNF (using kodkod). |
Uses of XMLNode in edu.mit.csail.sdg.alloy4 |
---|
Methods in edu.mit.csail.sdg.alloy4 that return types with arguments of type XMLNode | |
---|---|
java.lang.Iterable<XMLNode> |
XMLNode.getChildren(java.lang.String type)
Returns a read-only iteration of the immediate subelements whose type is equal to the given type. |
java.util.Iterator<XMLNode> |
XMLNode.iterator()
Returns a read-only iterator over the immediate subelements. |
Uses of XMLNode in edu.mit.csail.sdg.alloy4compiler.translator |
---|
Methods in edu.mit.csail.sdg.alloy4compiler.translator with parameters of type XMLNode | |
---|---|
static A4Solution |
A4SolutionReader.read(java.lang.Iterable<Sig> sigs,
XMLNode xml)
Parse the XML element into an AlloyInstance. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |