httpsurlrewriter.java

### File Source: httpsurlrewriter.java

             /*
        P/P   *  Method: net.sourceforge.pebble.util.HttpsURLRewriter__static_init
              */
         1  package net.sourceforge.pebble.util;
         2
         3  /**
         4   * Rewrite Urls to use the given scheme, typically https.
         5   * @author Olaf Kock
         6   */
         7
         8  public class HttpsURLRewriter extends UrlRewriter {
         9
        10  	private final String currentScheme;
        11
            	 /*
        P/P 	  *  Method: void net.sourceforge.pebble.util.HttpsURLRewriter(String)
            	  *
            	  *  Postconditions:
            	  *    this.currentScheme == currentScheme
            	  *    init'ed(this.currentScheme)
            	  */
        12  	public HttpsURLRewriter(String currentScheme) {
        13  		this.currentScheme = currentScheme;
        14  	}
        15
        16  	public String rewrite(String url) {
            		 /*
        P/P 		  *  Method: String rewrite(String)
            		  *
            		  *  Preconditions:
            		  *    (soft) url != null
            		  *
            		  *  Postconditions:
            		  *    return_value != null
            		  *
            		  *  Preconditions:
            		  *    (soft) net.sourceforge.pebble.PebbleContext__static_init.new PebbleContext(PebbleContext__static_init#1).configuration != null
            		  */
        17  		return Utilities.calcBaseUrl(currentScheme, url);
        18  	}
        19
        20  }

SofCheck Inspector Build Version : 2.22510

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