1  package net.sourceforge.pebble.util;
     2  
     3  /**
     4   * Don't rewrite URLs
     5   * @author Olaf Kock
     6   */
         /* 
    P/P   *  Method: void net.sourceforge.pebble.util.NullUrlRewriter()
          */
     7  public class NullUrlRewriter extends UrlRewriter {
        	 /* 
    P/P 	  *  Method: net.sourceforge.pebble.util.NullUrlRewriter__static_init
        	  * 
        	  *  Postconditions:
        	  *    instance == &new NullUrlRewriter(NullUrlRewriter__static_init#1)
        	  *    new NullUrlRewriter(NullUrlRewriter__static_init#1) num objects == 1
        	  */
     8  	public static final NullUrlRewriter instance = new NullUrlRewriter();
     9  	
    10  	public String rewrite(String url) {
        		 /* 
    P/P 		  *  Method: String rewrite(String)
        		  * 
        		  *  Postconditions:
        		  *    return_value == url
        		  *    init'ed(return_value)
        		  */
    11  		return url;
    12  	}
    13  }