9 lines
173 B
Text
9 lines
173 B
Text
|
import lang::xml::DOM;
|
||
|
|
|
||
|
|
public void getNames(loc a){
|
||
|
|
D = parseXMLDOM(readFile(a));
|
||
|
|
visit(D){
|
||
|
|
case element(_,"Student",[_*,attribute(_,"Name", x),_*]): println(x);
|
||
|
|
};
|
||
|
|
}
|