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());
}
