目次:
function SkipName
名前の終わりを探す。
function SkipName(str, start) { var pos; for (pos = start; pos < str.length && " =;\n({".indexOf(str[pos]) == -1; pos++); return [ pos, str.substring(start, pos) ]; }