Værktøj til at logge JavaScript

maaske firefox med firebug extension: https://addons.mozilla.org/extensions/moreinfo.php?id=1843&application=firefox

<ole>

Hvad skal du mere specifikt bruge det til?

/mvh
</bole>

->olebole: Jeg har en Java-applikation, hvor jeg "parser" noget HTML-kode (vha. af bla. HttpClient), som indeholder en del JavaScript. Jeg er derfor interesseret i at logge diverse kald af javaScript i den forbindelse.

- og du har ikke selv styr over filerne, der parses?

->olebole: Delvist, men JavaScript kan jo forgrene sig en del, når der klikkes på et eller andet.

hmmm - det skal man vist være mere inde i projektet for at forstå ... men jeg tror dig  =)

->bjornicle: Firefox med Firebug-extension giver langt hed ad vejen, hvad jeg har brug for og alligevel ikke helt. Jeg er dybest set interesseret i at logge ethvert JavaScript-kald undervejs, og det kan jeg ikke helt få frem med Firebug ved første øjekast.

mulgivis er Venkman noget du kan bruge saa, det findes til firefox (ikke sikker paa om det er kommet til seneste version) og til mozilla

Er det ikke lettere at læse koderne - så er der vel ikke tvivl om, hvad der sker, hvornår?  :)

->bjornicle: Venkman ser umiddelbart fint ud. Der er her tale om en JavaScript-debugger, men jeg ved ikke umiddelbart, om den er i stand til at logge hele sekvenser af JavaScript-kald, som der jo kan være tale om, når man loader et website og klikker rundt på det.

->bjornicle: Smid gerne et svar.

Jeg har selv tidligere brugt moz/ff's dump() function saaledes:

Jeg lagde foelgende linie som det foerste i hver funktion:
if (typeof debug!="undefined"&&debug){PDI(arguments.callee, arguments);}

Og saa har jeg foelgende funktioner:

dumpvar = '';
function PDI(funcSrc, args){
    dumping("Calling ["+increaseDebugID()+"] "+funcSrc.toString().split('(')[0].split(' ')[1]+"(");
    if (args.length){
        for(var I=0,len=args.length;I<len;I++){
            if (I>0){
                dumping(",");
            }
            dumping("'"+args[I].toString().replace(/'/g, "\'")+"'");
        }
    }
    dumping(")\n")
}
function increaseDebugID(){return debugID++;}
function dumping(string){
    if (string.indexOf("\n")){
        var d = new Date();
        var mydate = d.getDate()+"/"+d.getMonth()+"/"+d.getFullYear()+" "+d.getHours()+":"+d.getMinutes()+":"+d.getSeconds()+":"+d.getMilliseconds();
       
        string = string.replace("\n", "~"+mydate+"\n");
    }
   
    dump(string);
}

Det er noget mere manuelt, men det virker meget godt for mig.