/* 
    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  }