Package org.h2.server.web
Class PageParser
- java.lang.Object
-
- org.h2.server.web.PageParser
-
public class PageParser extends java.lang.Object
A page parser can parse an HTML page and replace the tags there. This class is used by the H2 Console.
-
-
Constructor Summary
Constructors Modifier Constructor Description private
PageParser(java.lang.String page, java.util.Map<java.lang.String,java.lang.Object> settings, int pos)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static java.lang.String
escapeHtml(java.lang.String s)
Convert data to HTML, including newlines and multiple spaces.private static java.lang.String
escapeHtml(java.lang.String s, boolean convertBreakAndSpace)
(package private) static java.lang.String
escapeHtmlData(java.lang.String s)
Convert data to HTML, but don't convert newlines and multiple spaces.(package private) static java.lang.String
escapeJavaScript(java.lang.String s)
Escape text as a the javascript string.private java.lang.Object
get(java.lang.String item)
static java.lang.String
parse(java.lang.String page, java.util.Map<java.lang.String,java.lang.Object> settings)
Replace the tags in the HTML page with the given settings.private void
parseAll()
private java.lang.String
parseBlockUntil(java.lang.String end)
private void
read(java.lang.String s)
private boolean
readIf(java.lang.String s)
private java.lang.String
readParam(java.lang.String name)
private java.lang.String
replaceTags()
private void
replaceTags(java.lang.String s)
private void
setError(int i)
private void
skipSpaces()
-
-
-
Field Detail
-
TAB_WIDTH
private static final int TAB_WIDTH
- See Also:
- Constant Field Values
-
page
private final java.lang.String page
-
pos
private int pos
-
settings
private final java.util.Map<java.lang.String,java.lang.Object> settings
-
len
private final int len
-
result
private java.lang.StringBuilder result
-
-
Method Detail
-
parse
public static java.lang.String parse(java.lang.String page, java.util.Map<java.lang.String,java.lang.Object> settings)
Replace the tags in the HTML page with the given settings.- Parameters:
page
- the HTML pagesettings
- the settings- Returns:
- the converted page
-
setError
private void setError(int i)
-
parseBlockUntil
private java.lang.String parseBlockUntil(java.lang.String end) throws java.text.ParseException
- Throws:
java.text.ParseException
-
replaceTags
private java.lang.String replaceTags()
-
parseAll
private void parseAll() throws java.text.ParseException
- Throws:
java.text.ParseException
-
get
private java.lang.Object get(java.lang.String item)
-
replaceTags
private void replaceTags(java.lang.String s)
-
readParam
private java.lang.String readParam(java.lang.String name) throws java.text.ParseException
- Throws:
java.text.ParseException
-
skipSpaces
private void skipSpaces()
-
read
private void read(java.lang.String s) throws java.text.ParseException
- Throws:
java.text.ParseException
-
readIf
private boolean readIf(java.lang.String s)
-
escapeHtmlData
static java.lang.String escapeHtmlData(java.lang.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 java.lang.String escapeHtml(java.lang.String s)
Convert data to HTML, including newlines and multiple spaces.- Parameters:
s
- the data- Returns:
- the escaped html text
-
escapeHtml
private static java.lang.String escapeHtml(java.lang.String s, boolean convertBreakAndSpace)
-
escapeJavaScript
static java.lang.String escapeJavaScript(java.lang.String s)
Escape text as a the javascript string.- Parameters:
s
- the text- Returns:
- the javascript string
-
-