for demo in meeting, parsing again after def

This commit is contained in:
Sida Wang 2017-01-11 16:59:14 -08:00
parent db5703e703
commit e2a725daca
2 changed files with 9 additions and 5 deletions

View File

@ -133,7 +133,7 @@ public final class InteractiveUtils {
exHead.preprocess();
exHead.predDerivations = Lists.newArrayList(bodyDeriv);
if (refEx != null) refEx.value = exHead;
refEx.value = exHead;
LogInfo.begin_track("Definition");
LogInfo.logs("mode: %s", blockmode);

View File

@ -504,14 +504,18 @@ public class Master {
InteractiveUtils.logRawDef(head, jsonDef, session.id);
Ref<Example> refExHead = new Ref<>();
List<Rule> inducedRules = InteractiveUtils.induceRulesHelper(command, head, jsonDef, builder.parser, builder.params, session.id, refExHead);
response.ex = refExHead.value;
response.candidateIndex = response.ex.predDerivations.size() > 0 ? 0 : -1;
List<Rule> inducedRules = InteractiveUtils.induceRulesHelper(command, head, jsonDef,
builder.parser, builder.params, session.id, refExHead);
if (inducedRules.size() > 0) {
for (Rule rule : inducedRules) {
InteractiveUtils.addRuleInteractive(rule, builder.parser);
}
builder.parser.parse(builder.params, refExHead.value, false);
response.ex = refExHead.value;
response.candidateIndex = response.ex.predDerivations.size() > 0 ? 0 : -1;
// write out the grammar
PrintWriter out = IOUtils.openOutAppendHard(Paths.get(Master.opts.newGrammarPath, session.id + ".grammar").toString());
for (Rule rule : inducedRules) {