nullurlrewriter.java

### File Source: nullurlrewriter.java

         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  }

SofCheck Inspector Build Version : 2.22510

nullurlrewriter.java | 2010-Jun-25 19:40:32
nullurlrewriter.class | 2010-Jul-19 20:23:38