// line 1 "XmlReader.rl"
// Do not edit this file! Generated by Ragel.
// Ragel.exe -G2 -J -o XmlReader.java XmlReader.rl
/*******************************************************************************
* Copyright 2011 See AUTHORS file.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
******************************************************************************/
package com.badlogic.gdx.utils;
import java.io.IOException;
import java.io.InputStream;
import java.io.InputStreamReader;
import java.io.Reader;
import com.badlogic.gdx.files.FileHandle;
import com.badlogic.gdx.utils.ObjectMap.Entry;
/** Lightweight XML parser. Supports a subset of XML features: elements, attributes, text, predefined entities, CDATA, mixed
* content. Namespaces are parsed as part of the element or attribute name. Prologs and doctypes are ignored. Only 8-bit character
* encodings are supported. Input is assumed to be well formed.<br>
* <br>
* The default behavior is to parse the XML into a DOM. Extends this class and override methods to perform event driven parsing.
* When this is done, the parse methods will return null.
* @author Nathan Sweet */
public class XmlReader {
private final Array<Element> elements = new Array(8);
private Element root, current;
private final StringBuilder textBuffer = new StringBuilder(64);
public Element parse (String xml) {
char[] data = xml.toCharArray();
return parse(data, 0, data.length);
}
public Element parse (Reader reader) throws IOException {
try {
char[] data = new char[1024];
int offset = 0;
while (true) {
int length = reader.read(data, offset, data.length - offset);
if (length == -1) break;
if (length == 0) {
char[] newData = new char[data.length * 2];
System.arraycopy(data, 0, newData, 0, data.length);
data = newData;
} else
offset += length;
}
return parse(data, 0, offset);
} catch (IOException ex) {
throw new SerializationException(ex);
} finally {
StreamUtils.closeQuietly(reader);
}
}
public Element parse (InputStream input) throws IOException {
try {
return parse(new InputStreamReader(input, "UTF-8"));
} catch (IOException ex) {
throw new SerializationException(ex);
} finally {
StreamUtils.closeQuietly(input);
}
}
public Element parse (FileHandle file) throws IOException {
try {
return parse(file.reader("UTF-8"));
} catch (Exception ex) {
throw new SerializationException("Error parsing file: " + file, ex);
}
}
public Element parse (char[] data, int offset, int length) {
int cs, p = offset, pe = length;
int s = 0;
String attributeName = null;
boolean hasBody = false;
// line 93 "XmlReader.java"
{
cs = xml_start;
}
// line 97 "XmlReader.java"
{
int _klen;
int _trans = 0;
int _acts;
int _nacts;
int _keys;
int _goto_targ = 0;
_goto:
while (true) {
switch (_goto_targ) {
case 0:
if (p == pe) {
_goto_targ = 4;
continue _goto;
}
if (cs == 0) {
_goto_targ = 5;
continue _goto;
}
case 1:
_match:
do {
_keys = _xml_key_offsets[cs];
_trans = _xml_index_offsets[cs];
_klen = _xml_single_lengths[cs];
if (_klen > 0) {
int _lower = _keys;
int _mid;
int _upper = _keys + _klen - 1;
while (true) {
if (_upper < _lower) break;
_mid = _lower + ((_upper - _lower) >> 1);
if (data[p] < _xml_trans_keys[_mid])
_upper = _mid - 1;
else if (data[p] > _xml_trans_keys[_mid])
_lower = _mid + 1;
else {
_trans += (_mid - _keys);
break _match;
}
}
_keys += _klen;
_trans += _klen;
}
_klen = _xml_range_lengths[cs];
if (_klen > 0) {
int _lower = _keys;
int _mid;
int _upper = _keys + (_klen << 1) - 2;
while (true) {
if (_upper < _lower) break;
_mid = _lower + (((_upper - _lower) >> 1) & ~1);
if (data[p] < _xml_trans_keys[_mid])
_upper = _mid - 2;
else if (data[p] > _xml_trans_keys[_mid + 1])
_lower = _mid + 2;
else {
_trans += ((_mid - _keys) >> 1);
break _match;
}
}
_trans += _klen;
}
} while (false);
_trans = _xml_indicies[_trans];
cs = _xml_trans_targs[_trans];
if (_xml_trans_actions[_trans] != 0) {
_acts = _xml_trans_actions[_trans];
_nacts = (int)_xml_actions[_acts++];
while (_nacts-- > 0) {
switch (_xml_actions[_acts++]) {
case 0:
// line 94 "XmlReader.rl"
{
s = p;
}
break;
case 1:
// line 95 "XmlReader.rl"
{
char c = data[s];
if (c == '?' || c == '!') {
if (data[s + 1] == '[' && //
data[s + 2] == 'C' && //
data[s + 3] == 'D' && //
data[s + 4] == 'A' && //
data[s + 5] == 'T' && //
data[s + 6] == 'A' && //
data[s + 7] == '[') {
s += 8;
p = s + 2;
while (data[p - 2] != ']' || data[p - 1] != ']' || data[p] != '>')
p++;
text(new String(data, s, p - s - 2));
} else if (c == '!' && data[s + 1] == '-' && data[s + 2] == '-') {
p = s + 3;
while (data[p] != '-' || data[p + 1] != '-' || data[p + 2] != '>')
p++;
p += 2;
} else
while (data[p] != '>')
p++;
{
cs = 15;
_goto_targ = 2;
if (true) continue _goto;
}
}
hasBody = true;
open(new String(data, s, p - s));
}
break;
case 2:
// line 125 "XmlReader.rl"
{
hasBody = false;
close();
{
cs = 15;
_goto_targ = 2;
if (true) continue _goto;
}
}
break;
case 3:
// line 130 "XmlReader.rl"
{
close();
{
cs = 15;
_goto_targ = 2;
if (true) continue _goto;
}
}
break;
case 4:
// line 134 "XmlReader.rl"
{
if (hasBody) {
cs = 15;
_goto_targ = 2;
if (true) continue _goto;
}
}
break;
case 5:
// line 137 "XmlReader.rl"
{
attributeName = new String(data, s, p - s);
}
break;
case 6:
// line 140 "XmlReader.rl"
{
attribute(attributeName, new String(data, s, p - s));
}
break;
case 7:
// line 143 "XmlReader.rl"
{
int end = p;
while (end != s) {
switch (data[end - 1]) {
case ' ':
case '\t':
case '\n':
case '\r':
end--;
continue;
}
break;
}
int current = s;
boolean entityFound = false;
while (current != end) {
if (data[current++] != '&') continue;
int entityStart = current;
while (current != end) {
if (data[current++] != ';') continue;
textBuffer.append(data, s, entityStart - s - 1);
String name = new String(data, entityStart, current - entityStart - 1);
String value = entity(name);
textBuffer.append(value != null ? value : name);
s = current;
entityFound = true;
break;
}
}
if (entityFound) {
if (s < end) textBuffer.append(data, s, end - s);
text(textBuffer.toString());
textBuffer.setLength(0);
} else
text(new String(data, s, end - s));
}
break;
// line 286 "XmlReader.java"
}
}
}
case 2:
if (cs == 0) {
_goto_targ = 5;
continue _goto;
}
if (++p != pe) {
_goto_targ = 1;
continue _goto;
}
case 4:
case 5:
}
break;
}
}
// line 190 "XmlReader.rl"
if (p < pe) {
int lineNumber = 1;
for (int i = 0; i < p; i++)
if (data[i] == '\n') lineNumber++;
throw new SerializationException(
"Error parsing XML on line " + lineNumber + " near: " + new String(data, p, Math.min(32, pe - p)));
} else if (elements.size != 0) {
Element element = elements.peek();
elements.clear();
throw new SerializationException("Error parsing XML, unclosed element: " + element.getName());
}
Element root = this.root;
this.root = null;
return root;
}
// line 324 "XmlReader.java"
private static byte[] init__xml_actions_0 () {
return new byte[] {0, 1, 0, 1, 1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 6, 1, 7, 2, 0, 6, 2, 1, 4, 2, 2, 4};
}
private static final byte _xml_actions[] = init__xml_actions_0();
private static byte[] init__xml_key_offsets_0 () {
return new byte[] {0, 0, 4, 9, 14, 20, 26, 30, 35, 36, 37, 42, 46, 50, 51, 52, 56, 57, 62, 67, 73, 79, 83, 88, 89, 90, 95,
99, 103, 104, 108, 109, 110, 111, 112, 115};
}
private static final byte _xml_key_offsets[] = init__xml_key_offsets_0();
private static char[] init__xml_trans_keys_0 () {
return new char[] {32, 60, 9, 13, 32, 47, 62, 9, 13, 32, 47, 62, 9, 13, 32, 47, 61, 62, 9, 13, 32, 47, 61, 62, 9, 13, 32,
61, 9, 13, 32, 34, 39, 9, 13, 34, 34, 32, 47, 62, 9, 13, 32, 62, 9, 13, 32, 62, 9, 13, 39, 39, 32, 60, 9, 13, 60, 32, 47,
62, 9, 13, 32, 47, 62, 9, 13, 32, 47, 61, 62, 9, 13, 32, 47, 61, 62, 9, 13, 32, 61, 9, 13, 32, 34, 39, 9, 13, 34, 34, 32,
47, 62, 9, 13, 32, 62, 9, 13, 32, 62, 9, 13, 60, 32, 47, 9, 13, 62, 62, 39, 39, 32, 9, 13, 0};
}
private static final char _xml_trans_keys[] = init__xml_trans_keys_0();
private static byte[] init__xml_single_lengths_0 () {
return new byte[] {0, 2, 3, 3, 4, 4, 2, 3, 1, 1, 3, 2, 2, 1, 1, 2, 1, 3, 3, 4, 4, 2, 3, 1, 1, 3, 2, 2, 1, 2, 1, 1, 1, 1, 1,
0};
}
private static final byte _xml_single_lengths[] = init__xml_single_lengths_0();
private static byte[] init__xml_range_lengths_0 () {
return new byte[] {0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1,
0};
}
private static final byte _xml_range_lengths[] = init__xml_range_lengths_0();
private static short[] init__xml_index_offsets_0 () {
return new short[] {0, 0, 4, 9, 14, 20, 26, 30, 35, 37, 39, 44, 48, 52, 54, 56, 60, 62, 67, 72, 78, 84, 88, 93, 95, 97, 102,
106, 110, 112, 116, 118, 120, 122, 124, 127};
}
private static final short _xml_index_offsets[] = init__xml_index_offsets_0();
private static byte[] init__xml_indicies_0 () {
return new byte[] {0, 2, 0, 1, 2, 1, 1, 2, 3, 5, 6, 7, 5, 4, 9, 10, 1, 11, 9, 8, 13, 1, 14, 1, 13, 12, 15, 16, 15, 1, 16,
17, 18, 16, 1, 20, 19, 22, 21, 9, 10, 11, 9, 1, 23, 24, 23, 1, 25, 11, 25, 1, 20, 26, 22, 27, 29, 30, 29, 28, 32, 31, 30,
34, 1, 30, 33, 36, 37, 38, 36, 35, 40, 41, 1, 42, 40, 39, 44, 1, 45, 1, 44, 43, 46, 47, 46, 1, 47, 48, 49, 47, 1, 51, 50,
53, 52, 40, 41, 42, 40, 1, 54, 55, 54, 1, 56, 42, 56, 1, 57, 1, 57, 34, 57, 1, 1, 58, 59, 58, 51, 60, 53, 61, 62, 62, 1,
1, 0};
}
private static final byte _xml_indicies[] = init__xml_indicies_0();
private static byte[] init__xml_trans_targs_0 () {
return new byte[] {1, 0, 2, 3, 3, 4, 11, 34, 5, 4, 11, 34, 5, 6, 7, 6, 7, 8, 13, 9, 10, 9, 10, 12, 34, 12, 14, 14, 16, 15,
17, 16, 17, 18, 30, 18, 19, 26, 28, 20, 19, 26, 28, 20, 21, 22, 21, 22, 23, 32, 24, 25, 24, 25, 27, 28, 27, 29, 31, 35,
33, 33, 34};
}
private static final byte _xml_trans_targs[] = init__xml_trans_targs_0();
private static byte[] init__xml_trans_actions_0 () {
return new byte[] {0, 0, 0, 1, 0, 3, 3, 20, 1, 0, 0, 9, 0, 11, 11, 0, 0, 0, 0, 1, 17, 0, 13, 5, 23, 0, 1, 0, 1, 0, 0, 0, 15,
1, 0, 0, 3, 3, 20, 1, 0, 0, 9, 0, 11, 11, 0, 0, 0, 0, 1, 17, 0, 13, 5, 23, 0, 0, 0, 7, 1, 0, 0};
}
private static final byte _xml_trans_actions[] = init__xml_trans_actions_0();
static final int xml_start = 1;
static final int xml_first_final = 34;
static final int xml_error = 0;
static final int xml_en_elementBody = 15;
static final int xml_en_main = 1;
// line 209 "XmlReader.rl"
protected void open (String name) {
Element child = new Element(name, current);
Element parent = current;
if (parent != null) parent.addChild(child);
elements.add(child);
current = child;
}
protected void attribute (String name, String value) {
current.setAttribute(name, value);
}
protected String entity (String name) {
if (name.equals("lt")) return "<";
if (name.equals("gt")) return ">";
if (name.equals("amp")) return "&";
if (name.equals("apos")) return "'";
if (name.equals("quot")) return "\"";
if (name.startsWith("#x")) return Character.toString((char)Integer.parseInt(name.substring(2), 16));
return null;
}
protected void text (String text) {
String existing = current.getText();
current.setText(existing != null ? existing + text : text);
}
protected void close () {
root = elements.pop();
current = elements.size > 0 ? elements.peek() : null;
}
static public class Element {
private final String name;
private ObjectMap<String, String> attributes;
private Array<Element> children;
private String text;
private Element parent;
public Element (String name, Element parent) {
this.name = name;
this.parent = parent;
}
public String getName () {
return name;
}
public ObjectMap<String, String> getAttributes () {
return attributes;
}
/** @throws GdxRuntimeException if the attribute was not found. */
public String getAttribute (String name) {
if (attributes == null) throw new GdxRuntimeException("Element " + this.name + " doesn't have attribute: " + name);
String value = attributes.get(name);
if (value == null) throw new GdxRuntimeException("Element " + this.name + " doesn't have attribute: " + name);
return value;
}
public String getAttribute (String name, String defaultValue) {
if (attributes == null) return defaultValue;
String value = attributes.get(name);
if (value == null) return defaultValue;
return value;
}
public boolean hasAttribute (String name) {
if (attributes == null) return false;
return attributes.containsKey(name);
}
public void setAttribute (String name, String value) {
if (attributes == null) attributes = new ObjectMap(8);
attributes.put(name, value);
}
public int getChildCount () {
if (children == null) return 0;
return children.size;
}
/** @throws GdxRuntimeException if the element has no children. */
public Element getChild (int index) {
if (children == null) throw new GdxRuntimeException("Element has no children: " + name);
return children.get(index);
}
public void addChild (Element element) {
if (children == null) children = new Array(8);
children.add(element);
}
public String getText () {
return text;
}
public void setText (String text) {
this.text = text;
}
public void removeChild (int index) {
if (children != null) children.removeIndex(index);
}
public void removeChild (Element child) {
if (children != null) children.removeValue(child, true);
}
public void remove () {
parent.removeChild(this);
}
public Element getParent () {
return parent;
}
public String toString () {
return toString("");
}
public String toString (String indent) {
StringBuilder buffer = new StringBuilder(128);
buffer.append(indent);
buffer.append('<');
buffer.append(name);
if (attributes != null) {
for (Entry<String, String> entry : attributes.entries()) {
buffer.append(' ');
buffer.append(entry.key);
buffer.append("=\"");
buffer.append(entry.value);
buffer.append('\"');
}
}
if (children == null && (text == null || text.length() == 0))
buffer.append("/>");
else {
buffer.append(">\n");
String childIndent = indent + '\t';
if (text != null && text.length() > 0) {
buffer.append(childIndent);
buffer.append(text);
buffer.append('\n');
}
if (children != null) {
for (Element child : children) {
buffer.append(child.toString(childIndent));
buffer.append('\n');
}
}
buffer.append(indent);
buffer.append("</");
buffer.append(name);
buffer.append('>');
}
return buffer.toString();
}
/** @param name the name of the child {@link Element}
* @return the first child having the given name or null, does not recurse */
public Element getChildByName (String name) {
if (children == null) return null;
for (int i = 0; i < children.size; i++) {
Element element = children.get(i);
if (element.name.equals(name)) return element;
}
return null;
}
public boolean hasChild (String name) {
if (children == null) return false;
return getChildByName(name) != null;
}
/** @param name the name of the child {@link Element}
* @return the first child having the given name or null, recurses */
public Element getChildByNameRecursive (String name) {
if (children == null) return null;
for (int i = 0; i < children.size; i++) {
Element element = children.get(i);
if (element.name.equals(name)) return element;
Element found = element.getChildByNameRecursive(name);
if (found != null) return found;
}
return null;
}
public boolean hasChildRecursive (String name) {
if (children == null) return false;
return getChildByNameRecursive(name) != null;
}
/** @param name the name of the children
* @return the children with the given name or an empty {@link Array} */
public Array<Element> getChildrenByName (String name) {
Array<Element> result = new Array<Element>();
if (children == null) return result;
for (int i = 0; i < children.size; i++) {
Element child = children.get(i);
if (child.name.equals(name)) result.add(child);
}
return result;
}
/** @param name the name of the children
* @return the children with the given name or an empty {@link Array} */
public Array<Element> getChildrenByNameRecursively (String name) {
Array<Element> result = new Array<Element>();
getChildrenByNameRecursively(name, result);
return result;
}
private void getChildrenByNameRecursively (String name, Array<Element> result) {
if (children == null) return;
for (int i = 0; i < children.size; i++) {
Element child = children.get(i);
if (child.name.equals(name)) result.add(child);
child.getChildrenByNameRecursively(name, result);
}
}
/** @throws GdxRuntimeException if the attribute was not found. */
public float getFloatAttribute (String name) {
return Float.parseFloat(getAttribute(name));
}
public float getFloatAttribute (String name, float defaultValue) {
String value = getAttribute(name, null);
if (value == null) return defaultValue;
return Float.parseFloat(value);
}
/** @throws GdxRuntimeException if the attribute was not found. */
public int getIntAttribute (String name) {
return Integer.parseInt(getAttribute(name));
}
public int getIntAttribute (String name, int defaultValue) {
String value = getAttribute(name, null);
if (value == null) return defaultValue;
return Integer.parseInt(value);
}
/** @throws GdxRuntimeException if the attribute was not found. */
public boolean getBooleanAttribute (String name) {
return Boolean.parseBoolean(getAttribute(name));
}
public boolean getBooleanAttribute (String name, boolean defaultValue) {
String value = getAttribute(name, null);
if (value == null) return defaultValue;
return Boolean.parseBoolean(value);
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public String get (String name) {
String value = get(name, null);
if (value == null) throw new GdxRuntimeException("Element " + this.name + " doesn't have attribute or child: " + name);
return value;
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public String get (String name, String defaultValue) {
if (attributes != null) {
String value = attributes.get(name);
if (value != null) return value;
}
Element child = getChildByName(name);
if (child == null) return defaultValue;
String value = child.getText();
if (value == null) return defaultValue;
return value;
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public int getInt (String name) {
String value = get(name, null);
if (value == null) throw new GdxRuntimeException("Element " + this.name + " doesn't have attribute or child: " + name);
return Integer.parseInt(value);
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public int getInt (String name, int defaultValue) {
String value = get(name, null);
if (value == null) return defaultValue;
return Integer.parseInt(value);
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public float getFloat (String name) {
String value = get(name, null);
if (value == null) throw new GdxRuntimeException("Element " + this.name + " doesn't have attribute or child: " + name);
return Float.parseFloat(value);
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public float getFloat (String name, float defaultValue) {
String value = get(name, null);
if (value == null) return defaultValue;
return Float.parseFloat(value);
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public boolean getBoolean (String name) {
String value = get(name, null);
if (value == null) throw new GdxRuntimeException("Element " + this.name + " doesn't have attribute or child: " + name);
return Boolean.parseBoolean(value);
}
/** Returns the attribute value with the specified name, or if no attribute is found, the text of a child with the name.
* @throws GdxRuntimeException if no attribute or child was not found. */
public boolean getBoolean (String name, boolean defaultValue) {
String value = get(name, null);
if (value == null) return defaultValue;
return Boolean.parseBoolean(value);
}
}
}