void RefreshResult() { // if (result_web == null) if (result == null) { return; } form = formula.Text; StringBuilder html = new StringBuilder(); using (StreamReader sr = new StreamReader("result.html")) { html.Append(sr.ReadToEnd()); } try { Analyzer.Analyzer anal = new Analyzer.Analyzer(form); Runtime.RuntimeData d = new Runtime.RuntimeData(anal.Setting); var f = anal.GetResult(); var res = f.Eval(d).Optimise(d); if (res == null) { result.Text = "NULL"; } // result_web.NavigateToString(html.Replace("{0}", "NULL").ToString()); else { result.Text = res.ToString(); //StringBuilder res_mathjax = new StringBuilder(res.Output(Runtime.OutputType.Mathjax)); //res_mathjax.Insert(0, "$ "); //res_mathjax.Append(" $"); //result_web.NavigateToString(html.Replace("{0}", // res_mathjax.ToString()).ToString()); } } catch (Exception ex) { result.Text = ex.Message; //result_web.NavigateToString(html.Replace("{0}", ex.Message).ToString()); } }
public AllDocSearch() { _indexingOperations = new IndexingOperations(); _analyzer = new Analyzer.Analyzer(new Tokenizer(), new Normalizer()); }