method

net.sourceforge.pebble.util.HttpsURLRewriter__ static_init

method	void net.sourceforge.pebble.util.HttpsURLRewriter( String)
post	this.currentScheme == currentScheme
post	init'ed(this.currentScheme)

method	String rewrite(String)
pre	(soft) url != null
post	return_value != null
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
pre	(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null
unanalyzed	call on net.sourceforge.pebble.Configuration:getSec ureUrl
unanalyzed	call on net.sourceforge.pebble.Configuration:getUrl
unanalyzed	call on java.lang.String:replace