(ts, cm, pos)
| 314 | } |
| 315 | |
| 316 | function showArgHints(ts, cm, pos) { |
| 317 | closeArgHints(ts); |
| 318 | |
| 319 | var cache = ts.cachedArgHints, tp = cache.type; |
| 320 | var tip = elt("span", cache.guess ? cls + "fhint-guess" : null, |
| 321 | elt("span", cls + "fname", cache.name), "("); |
| 322 | for (var i = 0; i < tp.args.length; ++i) { |
| 323 | if (i) tip.appendChild(document.createTextNode(", ")); |
| 324 | var arg = tp.args[i]; |
| 325 | tip.appendChild(elt("span", cls + "farg" + (i == pos ? " " + cls + "farg-current" : ""), arg.name || "?")); |
| 326 | if (arg.type != "?") { |
| 327 | tip.appendChild(document.createTextNode(":\u00a0")); |
| 328 | tip.appendChild(elt("span", cls + "type", arg.type)); |
| 329 | } |
| 330 | } |
| 331 | tip.appendChild(document.createTextNode(tp.rettype ? ") ->\u00a0" : ")")); |
| 332 | if (tp.rettype) tip.appendChild(elt("span", cls + "type", tp.rettype)); |
| 333 | var place = cm.cursorCoords(null, "page"); |
| 334 | ts.activeArgHints = makeTooltip(place.right + 1, place.bottom, tip); |
| 335 | } |
| 336 | |
| 337 | function parseFnType(text) { |
| 338 | var args = [], pos = 3; |
no test coverage detected