2015-07-31 20:48:19 +02:00
|
|
|
package juloo.keyboard2;
|
|
|
|
|
2022-02-07 00:55:32 +01:00
|
|
|
import android.content.res.Resources;
|
2015-07-31 20:48:19 +02:00
|
|
|
import android.content.res.XmlResourceParser;
|
|
|
|
import java.util.ArrayList;
|
2022-05-29 12:27:46 +02:00
|
|
|
import java.util.function.Function;
|
2022-02-07 00:55:32 +01:00
|
|
|
import java.util.HashMap;
|
2022-05-29 12:27:46 +02:00
|
|
|
import java.util.Iterator;
|
2021-04-15 23:23:31 +02:00
|
|
|
import java.util.List;
|
2022-02-07 00:55:32 +01:00
|
|
|
import java.util.Map;
|
2015-07-31 20:48:19 +02:00
|
|
|
|
|
|
|
class KeyboardData
|
|
|
|
{
|
2021-12-19 19:44:27 +01:00
|
|
|
public final List<Row> rows;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Total width of the keyboard. */
|
2021-04-29 00:59:19 +02:00
|
|
|
public final float keysWidth;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Total height of the keyboard. */
|
2021-04-29 00:59:19 +02:00
|
|
|
public final float keysHeight;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Whether to add extra keys. */
|
|
|
|
public final boolean extra_keys;
|
2022-09-25 02:23:33 +02:00
|
|
|
/** Whether to possibly add NumPad. */
|
|
|
|
public final boolean num_pad;
|
2015-07-31 20:48:19 +02:00
|
|
|
|
2022-05-29 12:27:46 +02:00
|
|
|
public KeyboardData mapKeys(MapKey f)
|
2021-04-15 23:23:31 +02:00
|
|
|
{
|
2022-02-07 00:55:32 +01:00
|
|
|
ArrayList<Row> rows_ = new ArrayList<Row>();
|
|
|
|
for (Row r : rows)
|
2022-05-29 12:27:46 +02:00
|
|
|
rows_.add(r.mapKeys(f));
|
2022-09-25 02:23:33 +02:00
|
|
|
return new KeyboardData(rows_, keysWidth, extra_keys, num_pad);
|
2021-04-15 23:23:31 +02:00
|
|
|
}
|
|
|
|
|
2022-05-29 12:27:46 +02:00
|
|
|
/** Add keys from the given iterator into the keyboard. Extra keys are added
|
|
|
|
* on the empty key4 corner of the second row, from right to left. If there's
|
|
|
|
* not enough room, key3 of the second row is tried then key2 and key1 of the
|
|
|
|
* third row. */
|
|
|
|
public KeyboardData addExtraKeys(Iterator<KeyValue> k)
|
|
|
|
{
|
2022-06-06 01:02:30 +02:00
|
|
|
if (!extra_keys)
|
|
|
|
return this;
|
2022-05-29 12:27:46 +02:00
|
|
|
ArrayList<Row> rows = new ArrayList<Row>(this.rows);
|
|
|
|
addExtraKeys_to_row(rows, k, 1, 4);
|
|
|
|
addExtraKeys_to_row(rows, k, 1, 3);
|
|
|
|
addExtraKeys_to_row(rows, k, 2, 2);
|
|
|
|
addExtraKeys_to_row(rows, k, 2, 1);
|
2022-09-24 15:19:45 +02:00
|
|
|
if (k.hasNext())
|
|
|
|
{
|
|
|
|
for (int r = 0; r < rows.size(); r++)
|
|
|
|
for (int c = 1; c <= 4; c++)
|
|
|
|
addExtraKeys_to_row(rows, k, r, c);
|
|
|
|
}
|
2022-09-25 02:23:33 +02:00
|
|
|
return new KeyboardData(rows, keysWidth, extra_keys, num_pad);
|
|
|
|
}
|
|
|
|
|
|
|
|
public KeyboardData addNumPad()
|
|
|
|
{
|
|
|
|
if (!num_pad || _numPadKeyboardData == null)
|
|
|
|
return this;
|
|
|
|
ArrayList<Row> extendedRows = new ArrayList<Row>();
|
|
|
|
Iterator<Row> iterNumPadRows = _numPadKeyboardData.rows.iterator();
|
|
|
|
for (Row row : rows)
|
|
|
|
{
|
|
|
|
ArrayList<KeyboardData.Key> keys = new ArrayList<Key>(row.keys);
|
|
|
|
if (iterNumPadRows.hasNext())
|
|
|
|
{
|
|
|
|
Row numPadRow = iterNumPadRows.next();
|
|
|
|
List<Key> nps = numPadRow.keys;
|
|
|
|
if (nps.size() > 0) {
|
|
|
|
float firstNumPadShift = 0.5f + keysWidth - row.keysWidth;
|
|
|
|
keys.add(nps.get(0).withShift(firstNumPadShift));
|
|
|
|
for (int i = 1; i < nps.size(); i++)
|
|
|
|
keys.add(nps.get(i));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
extendedRows.add(new Row(keys, row.height, row.shift));
|
|
|
|
}
|
|
|
|
return new KeyboardData(extendedRows, compute_max_width(extendedRows), extra_keys, num_pad);
|
2022-05-29 12:27:46 +02:00
|
|
|
}
|
|
|
|
|
2022-07-24 20:02:48 +02:00
|
|
|
public Key findKeyWithValue(KeyValue kv)
|
|
|
|
{
|
|
|
|
for (Row r : rows)
|
|
|
|
{
|
|
|
|
Key k = r.findKeyWithValue(kv);
|
|
|
|
if (k != null)
|
|
|
|
return k;
|
|
|
|
}
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2022-05-29 12:27:46 +02:00
|
|
|
private static void addExtraKeys_to_row(ArrayList<Row> rows, final Iterator<KeyValue> extra_keys, int row_i, final int d)
|
|
|
|
{
|
|
|
|
if (!extra_keys.hasNext())
|
|
|
|
return;
|
|
|
|
rows.set(row_i, rows.get(row_i).mapKeys(new MapKey(){
|
|
|
|
public Key apply(Key k) {
|
|
|
|
if (k.getKeyValue(d) == null && extra_keys.hasNext())
|
|
|
|
return k.withKeyValue(d, extra_keys.next());
|
|
|
|
else
|
|
|
|
return k;
|
|
|
|
}
|
|
|
|
}));
|
|
|
|
}
|
|
|
|
|
2022-02-07 00:55:32 +01:00
|
|
|
private static Row _bottomRow = null;
|
2022-09-25 02:23:33 +02:00
|
|
|
private static KeyboardData _numPadKeyboardData = null;
|
2022-02-07 00:55:32 +01:00
|
|
|
private static Map<Integer, KeyboardData> _layoutCache = new HashMap<Integer, KeyboardData>();
|
2015-07-31 20:48:19 +02:00
|
|
|
|
2022-02-07 00:55:32 +01:00
|
|
|
public static KeyboardData load(Resources res, int id)
|
|
|
|
{
|
|
|
|
KeyboardData l = _layoutCache.get(id);
|
|
|
|
if (l == null)
|
2021-12-19 19:44:27 +01:00
|
|
|
{
|
2022-02-07 00:55:32 +01:00
|
|
|
try
|
2021-12-19 19:44:27 +01:00
|
|
|
{
|
2022-02-07 00:55:32 +01:00
|
|
|
if (_bottomRow == null)
|
|
|
|
_bottomRow = parse_bottom_row(res.getXml(R.xml.bottom_row));
|
2022-09-25 02:23:33 +02:00
|
|
|
if (_numPadKeyboardData == null)
|
|
|
|
{
|
|
|
|
_numPadKeyboardData = parse_keyboard(res.getXml(R.xml.numpad));
|
|
|
|
}
|
2022-02-07 00:55:32 +01:00
|
|
|
l = parse_keyboard(res.getXml(id));
|
|
|
|
_layoutCache.put(id, l);
|
|
|
|
}
|
|
|
|
catch (Exception e)
|
|
|
|
{
|
|
|
|
e.printStackTrace();
|
2021-12-19 19:44:27 +01:00
|
|
|
}
|
|
|
|
}
|
2022-02-07 00:55:32 +01:00
|
|
|
return l;
|
|
|
|
}
|
|
|
|
|
|
|
|
private static KeyboardData parse_keyboard(XmlResourceParser parser) throws Exception
|
|
|
|
{
|
|
|
|
if (!expect_tag(parser, "keyboard"))
|
|
|
|
throw new Exception("Empty layout file");
|
|
|
|
boolean bottom_row = parser.getAttributeBooleanValue(null, "bottom_row", true);
|
2022-06-06 01:02:30 +02:00
|
|
|
boolean extra_keys = parser.getAttributeBooleanValue(null, "extra_keys", true);
|
2022-09-25 02:23:33 +02:00
|
|
|
boolean num_pad = parser.getAttributeBooleanValue(null, "num_pad", true);
|
2022-02-07 00:55:32 +01:00
|
|
|
ArrayList<Row> rows = new ArrayList<Row>();
|
|
|
|
while (expect_tag(parser, "row"))
|
|
|
|
rows.add(Row.parse(parser));
|
2022-02-13 13:20:22 +01:00
|
|
|
float kw = compute_max_width(rows);
|
2022-02-07 00:55:32 +01:00
|
|
|
if (bottom_row)
|
2022-02-13 13:20:22 +01:00
|
|
|
rows.add(_bottomRow.updateWidth(kw));
|
2022-09-25 02:23:33 +02:00
|
|
|
return new KeyboardData(rows, kw, extra_keys, num_pad);
|
2022-02-13 13:20:22 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private static float compute_max_width(List<Row> rows)
|
|
|
|
{
|
|
|
|
float w = 0.f;
|
|
|
|
for (Row r : rows)
|
|
|
|
w = Math.max(w, r.keysWidth);
|
|
|
|
return w;
|
2021-12-19 19:44:27 +01:00
|
|
|
}
|
2015-07-31 20:48:19 +02:00
|
|
|
|
2022-02-07 00:55:32 +01:00
|
|
|
private static Row parse_bottom_row(XmlResourceParser parser) throws Exception
|
2021-04-13 02:00:08 +02:00
|
|
|
{
|
2022-02-07 00:55:32 +01:00
|
|
|
if (!expect_tag(parser, "row"))
|
|
|
|
throw new Exception("Failed to parse bottom row");
|
|
|
|
return Row.parse(parser);
|
|
|
|
}
|
|
|
|
|
2022-09-25 02:23:33 +02:00
|
|
|
protected KeyboardData(List<Row> rows_, float kw, boolean xk, boolean np)
|
2022-02-07 00:55:32 +01:00
|
|
|
{
|
|
|
|
float kh = 0.f;
|
|
|
|
for (Row r : rows_)
|
|
|
|
kh += r.height + r.shift;
|
|
|
|
rows = rows_;
|
|
|
|
keysWidth = kw;
|
|
|
|
keysHeight = kh;
|
2022-06-06 01:02:30 +02:00
|
|
|
extra_keys = xk;
|
2022-09-25 02:23:33 +02:00
|
|
|
num_pad = np;
|
2021-04-13 02:00:08 +02:00
|
|
|
}
|
|
|
|
|
2021-12-19 19:44:27 +01:00
|
|
|
public static class Row
|
|
|
|
{
|
2021-04-29 00:59:19 +02:00
|
|
|
public final List<Key> keys;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Height of the row, without 'shift'. */
|
2021-04-29 00:59:19 +02:00
|
|
|
public final float height;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Extra empty space on the top. */
|
2021-04-29 00:59:19 +02:00
|
|
|
public final float shift;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Total width of the row. */
|
2022-09-25 02:23:33 +02:00
|
|
|
public final float keysWidth;
|
2015-07-31 20:48:19 +02:00
|
|
|
|
2022-02-07 00:55:32 +01:00
|
|
|
protected Row(List<Key> keys_, float h, float s)
|
2021-04-15 23:23:31 +02:00
|
|
|
{
|
|
|
|
float kw = 0.f;
|
2021-04-29 00:59:19 +02:00
|
|
|
for (Key k : keys_) kw += k.width + k.shift;
|
|
|
|
keys = keys_;
|
|
|
|
height = h;
|
|
|
|
shift = s;
|
|
|
|
keysWidth = kw;
|
2021-04-15 23:23:31 +02:00
|
|
|
}
|
2015-07-31 20:48:19 +02:00
|
|
|
|
2021-12-19 19:44:27 +01:00
|
|
|
public static Row parse(XmlResourceParser parser) throws Exception
|
|
|
|
{
|
2021-04-15 23:23:31 +02:00
|
|
|
ArrayList<Key> keys = new ArrayList<Key>();
|
2021-12-19 19:44:27 +01:00
|
|
|
int status;
|
2021-04-29 00:59:19 +02:00
|
|
|
float h = parser.getAttributeFloatValue(null, "height", 1f);
|
|
|
|
float shift = parser.getAttributeFloatValue(null, "shift", 0f);
|
2022-02-07 00:55:32 +01:00
|
|
|
while (expect_tag(parser, "key"))
|
|
|
|
keys.add(Key.parse(parser));
|
2021-04-29 00:59:19 +02:00
|
|
|
return new Row(keys, h, shift);
|
2021-12-19 19:44:27 +01:00
|
|
|
}
|
2015-07-31 20:48:19 +02:00
|
|
|
|
2022-05-29 12:27:46 +02:00
|
|
|
public Row mapKeys(MapKey f)
|
2021-04-15 23:23:31 +02:00
|
|
|
{
|
2021-04-29 00:59:19 +02:00
|
|
|
ArrayList<Key> keys_ = new ArrayList<Key>();
|
|
|
|
for (Key k : keys)
|
2022-05-29 12:27:46 +02:00
|
|
|
keys_.add(f.apply(k));
|
2021-04-29 00:59:19 +02:00
|
|
|
return new Row(keys_, height, shift);
|
2021-04-15 23:23:31 +02:00
|
|
|
}
|
2022-02-13 13:20:22 +01:00
|
|
|
|
|
|
|
/** Change the width of every keys so that the row is 's' units wide. */
|
|
|
|
public Row updateWidth(float newWidth)
|
|
|
|
{
|
2022-05-29 12:27:46 +02:00
|
|
|
final float s = newWidth / keysWidth;
|
|
|
|
return mapKeys(new MapKey(){
|
|
|
|
public Key apply(Key k) { return k.scaleWidth(s); }
|
|
|
|
});
|
2022-02-13 13:20:22 +01:00
|
|
|
}
|
2022-07-24 20:02:48 +02:00
|
|
|
|
|
|
|
public Key findKeyWithValue(KeyValue kv)
|
|
|
|
{
|
|
|
|
for (Key k : keys)
|
|
|
|
if (k.hasValue(kv))
|
|
|
|
return k;
|
|
|
|
return null;
|
|
|
|
}
|
2021-12-19 19:44:27 +01:00
|
|
|
}
|
2021-04-15 23:23:31 +02:00
|
|
|
|
|
|
|
public static class Key
|
|
|
|
{
|
|
|
|
/*
|
|
|
|
** 1 2
|
|
|
|
** 0
|
|
|
|
** 3 4
|
|
|
|
*/
|
2022-06-24 20:26:27 +02:00
|
|
|
public final Corner key0;
|
|
|
|
public final Corner key1;
|
|
|
|
public final Corner key2;
|
|
|
|
public final Corner key3;
|
|
|
|
public final Corner key4;
|
2021-04-15 23:23:31 +02:00
|
|
|
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Key width in relative unit. */
|
2021-04-15 23:23:31 +02:00
|
|
|
public final float width;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Extra empty space on the left of the key. */
|
2021-04-17 23:56:51 +02:00
|
|
|
public final float shift;
|
2022-06-06 01:02:30 +02:00
|
|
|
/** Put keys 1 to 4 on the edges instead of the corners. */
|
2022-02-02 21:46:23 +01:00
|
|
|
public final boolean edgekeys;
|
2021-04-15 23:23:31 +02:00
|
|
|
|
2022-06-24 20:26:27 +02:00
|
|
|
protected Key(Corner k0, Corner k1, Corner k2, Corner k3, Corner k4, float w, float s, boolean e)
|
2021-04-15 23:23:31 +02:00
|
|
|
{
|
|
|
|
key0 = k0;
|
|
|
|
key1 = k1;
|
|
|
|
key2 = k2;
|
|
|
|
key3 = k3;
|
|
|
|
key4 = k4;
|
|
|
|
width = w;
|
2021-04-17 23:56:51 +02:00
|
|
|
shift = s;
|
2022-02-02 21:46:23 +01:00
|
|
|
edgekeys = e;
|
|
|
|
}
|
|
|
|
|
2021-04-15 23:23:31 +02:00
|
|
|
public static Key parse(XmlResourceParser parser) throws Exception
|
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
Corner k0 = Corner.parse_of_attr(parser, "key0");
|
|
|
|
Corner k1 = Corner.parse_of_attr(parser, "key1");
|
|
|
|
Corner k2 = Corner.parse_of_attr(parser, "key2");
|
|
|
|
Corner k3 = Corner.parse_of_attr(parser, "key3");
|
|
|
|
Corner k4 = Corner.parse_of_attr(parser, "key4");
|
2021-04-17 23:56:51 +02:00
|
|
|
float width = parser.getAttributeFloatValue(null, "width", 1f);
|
|
|
|
float shift = parser.getAttributeFloatValue(null, "shift", 0.f);
|
2022-02-02 21:46:23 +01:00
|
|
|
boolean edgekeys = parser.getAttributeBooleanValue(null, "edgekeys", false);
|
2021-04-15 23:23:31 +02:00
|
|
|
while (parser.next() != XmlResourceParser.END_TAG)
|
|
|
|
continue ;
|
2022-02-02 21:46:23 +01:00
|
|
|
return new Key(k0, k1, k2, k3, k4, width, shift, edgekeys);
|
2021-04-15 23:23:31 +02:00
|
|
|
}
|
|
|
|
|
2022-02-13 13:20:22 +01:00
|
|
|
/** New key with the width multiplied by 's'. */
|
|
|
|
public Key scaleWidth(float s)
|
|
|
|
{
|
|
|
|
return new Key(key0, key1, key2, key3, key4, width * s, shift, edgekeys);
|
|
|
|
}
|
2022-03-19 15:39:20 +01:00
|
|
|
|
2022-05-29 12:27:46 +02:00
|
|
|
public KeyValue getKeyValue(int i)
|
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
Corner c;
|
2022-05-29 12:27:46 +02:00
|
|
|
switch (i)
|
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
case 0: c = key0; break;
|
|
|
|
case 1: c = key1; break;
|
|
|
|
case 2: c = key2; break;
|
|
|
|
case 3: c = key3; break;
|
|
|
|
case 4: c = key4; break;
|
|
|
|
default: c = null; break;
|
2022-05-29 12:27:46 +02:00
|
|
|
}
|
2022-06-24 20:26:27 +02:00
|
|
|
return (c == null) ? null : c.kv;
|
2022-05-29 12:27:46 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
public Key withKeyValue(int i, KeyValue kv)
|
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
Corner k0 = key0, k1 = key1, k2 = key2, k3 = key3, k4 = key4;
|
|
|
|
Corner k = Corner.of_kv(kv);
|
2022-05-29 12:27:46 +02:00
|
|
|
switch (i)
|
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
case 0: k0 = k; break;
|
|
|
|
case 1: k1 = k; break;
|
|
|
|
case 2: k2 = k; break;
|
|
|
|
case 3: k3 = k; break;
|
|
|
|
case 4: k4 = k; break;
|
2022-05-29 12:27:46 +02:00
|
|
|
}
|
|
|
|
return new Key(k0, k1, k2, k3, k4, width, shift, edgekeys);
|
|
|
|
}
|
|
|
|
|
2022-09-25 02:23:33 +02:00
|
|
|
public Key withShift(float s)
|
|
|
|
{
|
|
|
|
return new Key(key0, key1, key2, key3, key4, width, s, edgekeys);
|
|
|
|
}
|
|
|
|
|
2022-06-06 01:02:30 +02:00
|
|
|
/**
|
2022-05-08 16:38:44 +02:00
|
|
|
* See Pointers.onTouchMove() for the represented direction.
|
|
|
|
*/
|
|
|
|
public KeyValue getAtDirection(int direction)
|
2022-03-19 15:39:20 +01:00
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
Corner c = null;
|
2022-05-08 01:18:53 +02:00
|
|
|
if (edgekeys)
|
|
|
|
{
|
2022-05-06 18:38:43 +02:00
|
|
|
// \ 1 /
|
|
|
|
// \ /
|
|
|
|
// 3 0 2
|
|
|
|
// / \
|
|
|
|
// / 4 \
|
2022-05-07 00:08:20 +02:00
|
|
|
switch (direction)
|
2022-05-06 18:38:43 +02:00
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
case 2: case 3: c = key1; break;
|
|
|
|
case 4: case 5: c = key2; break;
|
|
|
|
case 6: case 7: c = key4; break;
|
|
|
|
case 8: case 1: c = key3; break;
|
2022-05-06 18:38:43 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
2022-03-19 15:39:20 +01:00
|
|
|
{
|
2022-05-06 18:38:43 +02:00
|
|
|
// 1 | 2
|
|
|
|
// |
|
|
|
|
// --0--
|
2022-05-08 01:18:53 +02:00
|
|
|
// |
|
2022-05-06 18:38:43 +02:00
|
|
|
// 3 | 4
|
2022-05-07 00:08:20 +02:00
|
|
|
switch (direction)
|
2022-05-06 18:38:43 +02:00
|
|
|
{
|
2022-06-24 20:26:27 +02:00
|
|
|
case 1: case 2: c = key1; break;
|
|
|
|
case 3: case 4: c = key2; break;
|
|
|
|
case 5: case 6: c = key4; break;
|
|
|
|
case 7: case 8: c = key3; break;
|
2022-05-06 18:38:43 +02:00
|
|
|
}
|
2022-03-19 15:39:20 +01:00
|
|
|
}
|
2022-06-24 20:26:27 +02:00
|
|
|
return (c == null) ? null : c.kv;
|
|
|
|
}
|
2022-07-24 20:02:48 +02:00
|
|
|
|
|
|
|
public boolean hasValue(KeyValue kv)
|
|
|
|
{
|
|
|
|
return (hasValue(key0, kv) || hasValue(key1, kv) || hasValue(key2, kv) ||
|
|
|
|
hasValue(key3, kv) || hasValue(key4, kv));
|
|
|
|
}
|
|
|
|
|
|
|
|
private static boolean hasValue(Corner c, KeyValue kv)
|
|
|
|
{
|
|
|
|
return (c != null && c.kv.equals(kv));
|
|
|
|
}
|
2022-06-24 20:26:27 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
public static final class Corner
|
|
|
|
{
|
|
|
|
public final KeyValue kv;
|
|
|
|
/** Whether the kv is marked with the "loc " prefix. To be removed if not
|
|
|
|
specified in the [extra_keys]. */
|
|
|
|
public final boolean localized;
|
|
|
|
|
|
|
|
protected Corner(KeyValue k, boolean l)
|
|
|
|
{
|
|
|
|
kv = k;
|
|
|
|
localized = l;
|
|
|
|
}
|
|
|
|
|
|
|
|
public static Corner parse_of_attr(XmlResourceParser parser, String attr) throws Exception
|
|
|
|
{
|
|
|
|
String name = parser.getAttributeValue(null, attr);
|
|
|
|
boolean localized = false;
|
|
|
|
|
|
|
|
if (name == null)
|
|
|
|
return null;
|
|
|
|
String name_loc = stripPrefix(name, "loc ");
|
|
|
|
if (name_loc != null)
|
|
|
|
{
|
|
|
|
localized = true;
|
|
|
|
name = name_loc;
|
|
|
|
}
|
|
|
|
return new Corner(KeyValue.getKeyByName(name), localized);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static Corner of_kv(KeyValue kv)
|
|
|
|
{
|
|
|
|
return new Corner(kv, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
private static String stripPrefix(String s, String prefix)
|
|
|
|
{
|
|
|
|
if (s.startsWith(prefix))
|
|
|
|
return s.substring(prefix.length());
|
|
|
|
else
|
|
|
|
return null;
|
2022-05-08 01:18:53 +02:00
|
|
|
}
|
2021-04-15 23:23:31 +02:00
|
|
|
}
|
|
|
|
|
2022-04-16 23:36:54 +02:00
|
|
|
// Not using Function<KeyValue, KeyValue> to keep compatibility with Android 6.
|
2022-05-29 12:27:46 +02:00
|
|
|
public static abstract interface MapKey {
|
|
|
|
public Key apply(Key k);
|
|
|
|
}
|
|
|
|
|
|
|
|
public static abstract class MapKeyValues implements MapKey {
|
2022-06-24 20:26:27 +02:00
|
|
|
abstract public KeyValue apply(KeyValue c, boolean localized);
|
2022-05-29 12:27:46 +02:00
|
|
|
|
|
|
|
public Key apply(Key k)
|
|
|
|
{
|
|
|
|
return new Key(apply(k.key0), apply(k.key1), apply(k.key2),
|
|
|
|
apply(k.key3), apply(k.key4), k.width, k.shift, k.edgekeys);
|
|
|
|
}
|
2022-06-24 20:26:27 +02:00
|
|
|
|
|
|
|
private Corner apply(Corner c)
|
|
|
|
{
|
|
|
|
if (c == null)
|
|
|
|
return null;
|
|
|
|
KeyValue kv = apply(c.kv, c.localized);
|
|
|
|
if (kv == null)
|
|
|
|
return null;
|
|
|
|
return Corner.of_kv(kv);
|
|
|
|
}
|
2022-04-16 23:36:54 +02:00
|
|
|
}
|
2022-02-07 00:55:32 +01:00
|
|
|
|
|
|
|
/** Parsing utils */
|
|
|
|
|
|
|
|
/** Returns [false] on [END_DOCUMENT] or [END_TAG], [true] otherwise. */
|
|
|
|
private static boolean expect_tag(XmlResourceParser parser, String name) throws Exception
|
|
|
|
{
|
|
|
|
int status;
|
|
|
|
do
|
|
|
|
{
|
|
|
|
status = parser.next();
|
|
|
|
if (status == XmlResourceParser.END_DOCUMENT || status == XmlResourceParser.END_TAG)
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
while (status != XmlResourceParser.START_TAG);
|
|
|
|
if (!parser.getName().equals(name))
|
|
|
|
throw new Exception("Unknow tag: " + parser.getName());
|
|
|
|
return true;
|
|
|
|
}
|
2015-07-31 20:48:19 +02:00
|
|
|
}
|