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