Package org.h2.server.web

Class PageParser

java.lang.Object

org.h2.server.web.PageParser

public class PageParser
extends Object

A page parser can parse an HTML page and replace the tags there. This class is used by the H2 Console.

Field Summary

Fields

Modifier and Type	Field	Description
private final int	len
private final String	page
private int	pos
private StringBuilder	result
private final Map<String,Object>	settings
private static final int	TAB_WIDTH

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PageParser(String page, Map<String,Object> settings, int pos)

Method Summary

Modifier and Type	Method	Description
static String	escapeHtml(String s)	Convert data to HTML, including newlines and multiple spaces.
private static String	escapeHtml(String s, boolean convertBreakAndSpace)
(package private) static String	escapeHtmlData(String s)	Convert data to HTML, but don't convert newlines and multiple spaces.
(package private) static String	escapeJavaScript(String s)	Escape text as a the javascript string.
private Object	get(String item)
static String	parse(String page, Map<String,Object> settings)	Replace the tags in the HTML page with the given settings.
private void	parseAll()
private String	parseBlockUntil(String end)
private void	read(String s)
private boolean	readIf(String s)
private String	readParam(String name)
private String	replaceTags()
private void	replaceTags(String s)
private void	setError(int i)
private void	skipSpaces()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

TAB_WIDTH

private static final int TAB_WIDTH

See Also:

• Constant Field Values

page

private final String page

pos

private int pos

settings

private final Map<String,Object> settings

len

private final int len

result

private StringBuilder result

Constructor Details

PageParser

private PageParser(String page,
 Map<String,Object> settings,
 int pos)

Method Details

parse

public static String parse(String page,
 Map<String,Object> settings)

Replace the tags in the HTML page with the given settings.

Parameters:

page - the HTML page

settings - the settings

Returns:

the converted page

setError

private void setError(int i)

parseBlockUntil

private String parseBlockUntil(String end)
                        throws ParseException

Throws:

ParseException

replaceTags

private String replaceTags()

parseAll

private void parseAll()
               throws ParseException

Throws:

ParseException

get

private Object get(String item)

replaceTags

private void replaceTags(String s)

readParam

private String readParam(String name)
                  throws ParseException

Throws:

ParseException

skipSpaces

private void skipSpaces()

read

private void read(String s)
           throws ParseException

Throws:

ParseException

readIf

private boolean readIf(String s)

escapeHtmlData

static String escapeHtmlData(String s)

Convert data to HTML, but don't convert newlines and multiple spaces.

Parameters:

s - the data

Returns:

the escaped html text

escapeHtml

public static String escapeHtml(String s)

Convert data to HTML, including newlines and multiple spaces.

Parameters:

s - the data

Returns:

the escaped html text

escapeHtml

private static String escapeHtml(String s,
 boolean convertBreakAndSpace)

escapeJavaScript

static String escapeJavaScript(String s)

Escape text as a the javascript string.

Parameters:

s - the text

Returns:

the javascript string