AIMA.Test.Core.Unit.Logic.FOL.Parsing.FOLLexerTest.testQuantifier C# (CSharp) Method

        public void testQuantifier()
        {
            lexer.setInput("FORALL x,y");
            Assert.AreEqual(new Token((int)LogicTokenTypes.QUANTIFIER, "FORALL"),
                    lexer.nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.VARIABLE, "x"), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.COMMA, ","), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.VARIABLE, "y"), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.EOI, "EOI"), lexer
                    .nextToken());
        }