public void TestDetailsView()
{
List <Context> selected = new List <Context>();
Context result = new Context();
result.Tokens.Add("a");
result.Tokens.Add("b");
result.Tokens.Add("c");
Context branch = result.Branch("b1");
branch.Tokens.Add("d");
selected.Add(result);
Expect.Once.On(m_DetailsTextViewHelper).Method("OnDocumentChanged").With(m_GeneratorController, string.Format("abc{0}\tb1: abcd", Environment.NewLine), Is.Anything);
m_GeneratorController.OnTreeViewSelectionChanged(selected);
m_Mockery.VerifyAllExpectationsHaveBeenMet();
}