var lineNo = this.findFirstExecutableLine(script); var url = this.getSourceURL(script); 
    isMonitored: function(script)    {        var lineNo = this.findFirstExecutableLine(script);        var url = this.getSourceURL(script);        var bp = lineNo != -1 ? this.findBreakpoint(url, lineNo) : null;        return bp && bp.type & BP_MONITOR;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/76449ef4d8385610e64112c53410246cfda12c62/firebug-service.js/buggy/extension/components/firebug-service.js