Source
@Deprecated("Internal Use Only")
DomException.jsInterop(String m) {
var name_index = m.indexOf(': ');
if (name_index < 0) {
_name = "";
_message = m;
} else {
_name = m.substring(0, name_index);
_message = m.substring(name_index + 1).trim();
}
}