Google Groups Home
Help | Sign in
Message from discussion r574 - trunk/library/js
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
codesite-nore...@google.com  
View profile
 More options Apr 29, 8:54 am
From: codesite-nore...@google.com
Date: Tue, 29 Apr 2008 05:54:56 -0700
Local: Tues, Apr 29 2008 8:54 am
Subject: [tarski commit] r574 - trunk/library/js
Author: ionfish
Date: Tue Apr 29 05:54:20 2008
New Revision: 574

Modified:
   trunk/library/js/tarski.js

Log:
Remove JS debugging code

Modified: trunk/library/js/tarski.js
=========================================================================== ===
--- trunk/library/js/tarski.js  (original)
+++ trunk/library/js/tarski.js  Tue Apr 29 05:54:20 2008
@@ -5,28 +5,6 @@
        };
 };

-/**
- * <p>Returns a function that returns the result of applying the
function to its arguments,
- * but that logs its input and output to the Firebug console. Derived
from a similar function
- * in Oliver Steele's Functional library.</p>
- *
- * Copyright: Copyright 2007 by Oliver Steele.  All rights reserved.
- * http://osteele.com/sources/javascript/functional/
- *
- * @param {String} name The function name used when messages are
logged to the console
- * @param {String} func The console function to use. Defaults to 'info'
- * @returns {Function}
- */
-Function.prototype.traced = function(name, func) {
-       var method = this, name = name || this, func = func || 'info';
-       return function() {
-               window.console && console[func](name, ' called on ', this, ' with ', arguments);
-               var result = method.apply(this, arguments);
-               window.console && console[func](name, ' -> ', result);
-               return result;
-       };
-};
-
 function addEvent( obj, type, fn ) {
        if (obj.addEventListener) {
                obj.addEventListener( type, fn, false );


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google