C# (CSharp) AIMA.Core.Logic.Propositional.Parsing PELexer.nextToken Examples

nextToken() public method

public nextToken ( ) : Token
return	AIMA.Core.Logic.Common.Token

Example #1

File: PELexerTest.cs Project: PaulMineau/AIMA.Net

 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());
 }

Example #2

File: PELexerTest.cs Project: PaulMineau/AIMA.Net

 public void testLexBiCOnditionalExpression()
 {
     PELexer pelexer = new PELexer();
     pelexer.setInput("(B11 <=> (P12 OR P21))");
     Assert.AreEqual(new Token((int)LogicTokenTypes.LPAREN, "("), pelexer
             .nextToken());
     Assert.AreEqual(new Token((int)LogicTokenTypes.SYMBOL, "B11"), pelexer
             .nextToken());
     Assert.AreEqual(new Token((int)LogicTokenTypes.CONNECTOR, "<=>"),
             pelexer.nextToken());
 }

Example #3

File: PELexerTest.cs Project: PaulMineau/AIMA.Net

        public void testLexBasicExpression()
        {
            PELexer pelexer = new PELexer();
            pelexer.setInput("(P)");
            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.RPAREN, ")"), pelexer
                    .nextToken());

            Assert.AreEqual(new Token((int)LogicTokenTypes.EOI, "EOI"), pelexer
                    .nextToken());
        }