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