equal
deleted
inserted
replaced
48 private def err(msg: String) = error("Malformed YXML: " + msg) |
48 private def err(msg: String) = error("Malformed YXML: " + msg) |
49 private def err_attribute() = err("bad attribute") |
49 private def err_attribute() = err("bad attribute") |
50 private def err_element() = err("bad element") |
50 private def err_element() = err("bad element") |
51 private def err_unbalanced(name: String) = |
51 private def err_unbalanced(name: String) = |
52 if (name == "") err("unbalanced element") |
52 if (name == "") err("unbalanced element") |
53 else err("unbalanced element \"" + name + "\"") |
53 else err("unbalanced element " + quote(name)) |
54 |
54 |
55 private def parse_attrib(source: CharSequence) = { |
55 private def parse_attrib(source: CharSequence) = { |
56 val s = source.toString |
56 val s = source.toString |
57 val i = s.indexOf('=') |
57 val i = s.indexOf('=') |
58 if (i <= 0) err_attribute() |
58 if (i <= 0) err_attribute() |