var n = getAttribute(element, 'name') ;
//console.log("WALK" + n);
+ if (element.name == 'signal') {
+ path += '.signal';
+ }
+
if (n) {
path += path.length ? '.' : '';
path += n;
if (element.name == 'return-value') {
path += '.return-value';
}
- if (element.name == 'signal') {
- path += '.signal';
- }
var d = getAttribute(element,'doc');
if (d) {