GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

filter out the leading +/* from the parser tree

Browse Source
This commit is contained in:
kr.angelov
2014-07-03 18:27:39 +00:00
parent dde3e1ee73
commit 40bfaff8ce
1 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/ui/android/src/org/grammaticalframework/ui/android/AlternativesActivity.java
View File

@@ -147,7 +147,18 @@ public class AlternativesActivity extends ListActivity {
} }
Object[] brackets = mTranslator.bracketedLinearize(ep.getExpr()); Object[] brackets = mTranslator.bracketedLinearize(ep.getExpr());
parseView.setBrackets(brackets); if (brackets[0] instanceof Bracket) {
Bracket b = (Bracket) brackets[0];
if (b.children[0].equals("*") ||
b.children[0].equals("+")) {
Object[] children = new Object[b.children.length-1];
for (int i = 1; i < b.children.length; i++)
children[i-1] = b.children[i];
b = new Bracket(b.cat, b.fun, b.fid, b.lindex, children);
brackets[0] = b;
}
}
parseView.setBrackets(brackets);
expandedView = view; expandedView = view;
} }