public ServletWriter(PrintWriter writer) 
{
       
	this.writer = writer;
}

 public  void close() throws IOException 
{
	writer.close();
}

 public int getJavaLine() 
{
        return javaLine;
}

 public  void popIndent() 
{
	virtual_indent -= TAB_WIDTH;
	if (virtual_indent  >= 0 && virtual_indent < = SPACES.length())
	    indent = virtual_indent;
}

 public  void print(char c) 
{
	writer.print(c);
}

Prints the given char. Use println() to print a '\n'.

 public  void print(int i) 
{
	writer.print(i);
}

Prints the given int.

 public  void print(String s) 
{
	writer.print(s);
}

Prints the given string. The string must not contain any '\n', otherwise the line count will be off.

 public  void printComment(Mark start,
    Mark stop,
    char[] chars) 
{
        if (start != null && stop != null) {
            println("// from="+start);
            println("//   to="+stop);
        }
        if (chars != null)
            for(int i = 0; i <  chars.length;) {
                printin();
                print("// ");
                while (chars[i] != '\n" && i <  chars.length)
                    writer.print(chars[i++]);
            }
}

Print a standard comment for echo outputed chunk.

 public  void printMultiLn(String s) 
{
        int index = 0;
        // look for hidden newlines inside strings
        while ((index=s.indexOf('\n",index))  > -1 ) {
            javaLine++;
            index++;
        }
	writer.print(s);
}

Prints the given string. If the string spans multiple lines, the line count will be adjusted accordingly.

 public  void printil(String s) 
{
        javaLine++;
	writer.print(SPACES.substring(0, indent));
	writer.println(s);
}

Prints the current indention, and then the string, and a '\n'.

 public  void printin() 
{
	writer.print(SPACES.substring(0, indent));
}

Prints the current indention

 public  void printin(String s) 
{
	writer.print(SPACES.substring(0, indent));
	writer.print(s);
}

Prints the current indention, followed by the given string

 public  void println() 
{
        javaLine++;
	writer.println("");
}

Prints a '\n'

 public  void println(String s) 
{
        javaLine++;
	writer.println(s);
}

Prints the given string followed by '\n'

 public  void pushIndent() 
{
	virtual_indent += TAB_WIDTH;
	if (virtual_indent  >= 0 && virtual_indent < = SPACES.length())
	    indent = virtual_indent;
}