//# 0 errors, 27 messages
//#
package net.sourceforge.pebble.util;
    //#nullurlrewriter.java:1:1: class: net.sourceforge.pebble.util.NullUrlRewriter

/**
 * Don't rewrite URLs
 * @author Olaf Kock
 */
public class NullUrlRewriter extends UrlRewriter {
    //#nullurlrewriter.java:7: method: void net.sourceforge.pebble.util.NullUrlRewriter.net.sourceforge.pebble.util.NullUrlRewriter()
    //#input(void net.sourceforge.pebble.util.NullUrlRewriter()): this
    //#nullurlrewriter.java:7: end of method: void net.sourceforge.pebble.util.NullUrlRewriter.net.sourceforge.pebble.util.NullUrlRewriter()
	public static final NullUrlRewriter instance = new NullUrlRewriter();
    //#nullurlrewriter.java:8: method: net.sourceforge.pebble.util.NullUrlRewriter.net.sourceforge.pebble.util.NullUrlRewriter__static_init
    //#output(net.sourceforge.pebble.util.NullUrlRewriter__static_init): __Descendant_Table[net/sourceforge/pebble/util/NullUrlRewriter]
    //#output(net.sourceforge.pebble.util.NullUrlRewriter__static_init): __Dispatch_Table.rewrite(Ljava/lang/String;)Ljava/lang/String;
    //#output(net.sourceforge.pebble.util.NullUrlRewriter__static_init): instance
    //#output(net.sourceforge.pebble.util.NullUrlRewriter__static_init): net/sourceforge/pebble/util/UrlRewriter.__Descendant_Table[net/sourceforge/pebble/util/NullUrlRewriter]
    //#output(net.sourceforge.pebble.util.NullUrlRewriter__static_init): new NullUrlRewriter(NullUrlRewriter__static_init#1) num objects
    //#output(net.sourceforge.pebble.util.NullUrlRewriter__static_init): instance.__Tag
    //#new obj(net.sourceforge.pebble.util.NullUrlRewriter__static_init): new NullUrlRewriter(NullUrlRewriter__static_init#1)
    //#post(net.sourceforge.pebble.util.NullUrlRewriter__static_init): __Descendant_Table[net/sourceforge/pebble/util/NullUrlRewriter] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.util.NullUrlRewriter__static_init): net/sourceforge/pebble/util/UrlRewriter.__Descendant_Table[net/sourceforge/pebble/util/NullUrlRewriter] == &__Dispatch_Table
    //#post(net.sourceforge.pebble.util.NullUrlRewriter__static_init): __Dispatch_Table.rewrite(Ljava/lang/String;)Ljava/lang/String; == &rewrite
    //#post(net.sourceforge.pebble.util.NullUrlRewriter__static_init): instance == &new NullUrlRewriter(NullUrlRewriter__static_init#1)
    //#post(net.sourceforge.pebble.util.NullUrlRewriter__static_init): new NullUrlRewriter(NullUrlRewriter__static_init#1) num objects == 1
    //#post(net.sourceforge.pebble.util.NullUrlRewriter__static_init): instance.__Tag == net/sourceforge/pebble/util/NullUrlRewriter
    //#unanalyzed(net.sourceforge.pebble.util.NullUrlRewriter__static_init): Effects-of-calling:net.sourceforge.pebble.util.UrlRewriter
    //#nullurlrewriter.java:8: end of method: net.sourceforge.pebble.util.NullUrlRewriter.net.sourceforge.pebble.util.NullUrlRewriter__static_init
	
	public String rewrite(String url) {
		return url;
    //#nullurlrewriter.java:11: method: String net.sourceforge.pebble.util.NullUrlRewriter.rewrite(String)
    //#input(String rewrite(String)): url
    //#output(String rewrite(String)): return_value
    //#post(String rewrite(String)): return_value == url
    //#post(String rewrite(String)): init'ed(return_value)
    //#nullurlrewriter.java:11: end of method: String net.sourceforge.pebble.util.NullUrlRewriter.rewrite(String)
	}
}
    //#nullurlrewriter.java:: end of class: net.sourceforge.pebble.util.NullUrlRewriter
