blob: 8f31ad9a0e397b32b1b3a6acec1b1b86a6324d1c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
object testElem {
import scala.xml.* ; // does not work
//import scala.xml.Element ; //works
def main( args:Array[String] ) = {
val foo = new Element { def getName = "hallo"; def getChildren = Nil; def getAttribs = new HashMap[String,String] };
()
}
}
|
