public void testLexImpliesExpression()
{
PELexer pelexer = new PELexer();
pelexer.setInput("(P => Q)");
Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), pelexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.SYMBOL, "P"), pelexer
.nextToken());
Assert.AreEqual(new Token((int)LogicTokenTypes.CONNECTOR, "=>"), pelexer
.nextToken());
}