8 lines
173 B
Text
8 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);
|
|
};
|
|
}
|