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

        public void testTermEquality()
        {
            lexer.setInput("BrotherOf(John) = EnemyOf(Saladin)");
            Assert.AreEqual(new Token((int)LogicTokenTypes.FUNCTION, "BrotherOf"),
                    lexer.nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.CONSTANT, "John"), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.RPAREN, ")"), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.EQUALS, "="), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.FUNCTION, "EnemyOf"),
                    lexer.nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), lexer
                    .nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.CONSTANT, "Saladin"),
                    lexer.nextToken());
            Assert.AreEqual(new Token((int)LogicTokenTypes.RPAREN, ")"), lexer
                    .nextToken());
        }
    }