public void testPredicate()
{
lexer.setInput(" HasColor(r)");
Assert.AreEqual(new Token((int)LogicTokenTypes.PREDICATE, "HasColor"),
lexer.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.VARIABLE, "r"), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.RPAREN, ")"), lexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.EOI, "EOI"), lexer
.nextToken());
}