public void DotTest() { Write("dot.txt", " . "); StreamReader stream = new StreamReader("C:\\dot.txt"); scanner = new PrologScanner(stream); scanner.Next(); Assert.AreEqual(PrologToken.DOT, scanner.Current.Kind); stream.Close(); }